جستجوی استاد راهنمای دانشگاهی

Esther Dufloمشاهده پروفایل

استاد

• Development Economics
• Poverty Alleviation
• Health
• +۷ مورد دیگر

Esther Duflo is the Abdul Latif Jameel Professor of Poverty Alleviation and Development Economics in the Department of Economics at the Massachusetts Institute of Technology (MIT). She is also co-founder and co-director of the Abdul Latif Jameel Poverty Action Lab (J-PAL), holds the Chaire, Pauvreté et politiques publiques at the Collège de France, and serves as President of the Paris School of Economics. Her research focuses on understanding the economic lives of people living in poverty to help design and evaluate social policies. Her work spans multiple domains including: Development Economics Poverty Alleviation strategies Health interventions Educational programs Financial inclusion initiatives Environmental policy Governance improvements Duflo revolutionized developmental economics by pioneering the use of randomized controlled trials to test poverty reduction measures. Her empirical approach has challenged conventional opinions about development and has helped improve the efficient use of resources in poverty alleviation programs worldwide. She co-authored the influential books "Poor Economics" and "Good Economics for Hard Times" with Abhijit Banerjee, demonstrating through field experiments how specific interventions (like providing lentils to mothers for child immunization) can dramatically improve social outcomes. Her notable scientific achievements include: Sveriges Riksbank Prize in Economic Sciences in Memory of Alfred Nobel (2019) Princess of Asturias Award for Social Sciences (2015) Infosys Prize (2014) John Bates Clark Medal (2010) MacArthur "Genius Grant" Fellowship (2009) A.SK Social Science Award (2015) Duflo has established J-PAL as a global network of over a hundred affiliated professors who use scientific evidence to inform policy decisions in the fight against poverty. J-PAL has offices across Africa, Europe, Latin America and the Caribbean, North America, and South and Southeast Asia. Her work has demonstrated the crucial importance of information in policymaking, with numerous field experiments showing how carefully designed interventions can have significant impacts on social outcomes across multiple domains including health, education, and economic opportunity.

• Ottoman History
• Premodern Historiography
• Legitimacy of Rule
• +۱۲ مورد دیگر

Gül Şen is a Senior Lecturer and Privatdozentin at the Institute of Oriental and Asian Studies, University of Bonn, and also serves as a Lecturer at the University of Heidelberg. Her academic work focuses on premodern Ottoman history, historiography, and the dynamics of dependency, particularly in maritime contexts such as galley slavery and war captivity. She is actively involved in major research programs including the DFG-Priority Program 'Transottomanica' and the Bonn Center for Dependency and Slavery Studies. Her research areas include: Premodern Ottoman historiography and narrative strategies Legitimacy of rule and political transitions Maritime unfree labor and galley slavery War captivity and captivity narratives in the 18th century Dependency and asymmetrical power relations in the early modern Mediterranean Her recent publications reveal a strong thematic trend centered on the interplay between narrative construction and social power, particularly in contexts of slavery and captivity. She investigates how historical actors used storytelling to assert legitimacy, cope with crises, and negotiate identity. Her work bridges literary analysis with social history, offering nuanced understandings of agency within systems of dependency. She frequently collaborates with leading scholars like Stephan Conermann and contributes to major edited volumes and series in Ottoman studies. Her scientific awards include: DAAD Award for outstanding academic achievements (2012) Postdoctoral Scholarship from the Fritz Thyssen Foundation (2012–2013) Postdoctoral Fellowships at the Annemarie Schimmel Kolleg (2015–2016, 2018–2019) Postdoctoral Scholarship from the University of Bonn (2019–2020) She has supervised numerous B.A. and M.A. theses at the University of Bonn and Heidelberg and has secured third-party funding, including a DFG project (€192,000) from 2016–2018 and Fritz Thyssen Foundation grants. She is co-editor of the 'Ottoman Studies' and 'Otto Spies Memorial Series' book series, and holds leadership roles in the Society for Turkic, Ottoman and Turkish Studies (GTOT) and the International Association for Ottoman Social and Economic History (IAOSEH). Her academic activities are deeply embedded in collaborative and interdisciplinary research environments. She is affiliated with the Bonn Center for Dependency and Slavery Studies and contributes to the DFG-Priority Program 'Transottomanica,' where she examines mobility dynamics and captivity narratives. Her work is supported by a strong network of international collaborations and editorial engagements.

Shweta Shindeمشاهده پروفایل

استادیار

• Trusted Computing
• System Security
• Hardware Security
• +۴ مورد دیگر

Shweta Shinde is an Assistant Professor in the Department of Computer Science at ETH Zurich where she leads the Secure & Trustworthy Systems (SECTRS) research group. She is also a member of the Institute of Information Security and the ZISC Center at ETH Zurich. Her work bridges theoretical foundations with practical implementations in hardware and system security. Dr. Shinde's research focuses on the intersection of trusted computing, system security, and program analysis. Her group investigates both foundational aspects of security to protect phones, servers, and accelerators, as well as practical aspects of realizing these solutions through large-scale system building. Her work spans hardware security primitives, trusted execution environments, confidential computing, and secure system design across multiple platforms including mobile devices, cloud infrastructure, and blockchain systems. Her publication record demonstrates significant impact in the field, with numerous papers in top security venues including IEEE S&P, USENIX Security, CCS, and NDSS. Her research has uncovered critical vulnerabilities in major hardware security technologies like Intel SGX and AMD SEV-SNP while also proposing novel frameworks for building more secure systems. The work spans multiple domains including hardware security, cloud security, mobile security, and blockchain security, with a consistent thread of identifying and addressing fundamental security challenges in trusted computing. Among her notable achievements are multiple best paper awards including at SysTEX 2025 and nominations at DATE 2025, a Distinguished Paper Award at IEEE S&P 2024, and recognition as a Most Innovative Research Pwnie Award Nominee in 2024. Her work on WeSee received particular attention for breaking AMD SEV-SNP through novel interrupt-based attacks. Dr. Shinde actively mentors PhD students including Mark Kuhne, Supraja Sridhara, Mélisande Zonta-Roudes, Benedict Schlüter, Andrin Bertschi, and others. She teaches courses on Systems Security, Information Security Lab, Seminar on Systems Security, and Current Topics in Information Security at ETH Zurich. Her service to the community includes extensive program committee work for major security conferences including Oakland (S&P), NDSS, USENIX Security, and CCS, where she has served as track co-chair and program co-chair for several workshops.

Celestine Mendler-Dünnerمشاهده پروفایل

استاد

• Machine Learning in Social Context
• Algorithmic Collective Action
• Performative Prediction
• +۶ مورد دیگر

Celestine Mendler-Dünner is a Principal Investigator at the ELLIS Institute in Tübingen, co-affiliated with the Max Planck Institute for Intelligent Systems and the Tübingen AI Center. She leads the Algorithms and Society research group, focusing on machine learning in social contexts and the role of prediction in digital economies. Her work bridges theoretical machine learning with practical societal impact, developing tools for safe, reliable, and equitable AI ecosystems. Her educational background includes a PhD from ETH Zurich in collaboration with IBM Research, followed by an SNSF postdoctoral fellowship at UC Berkeley hosted by Moritz Hardt. She was previously a group leader at the Max Planck Institute for Intelligent Systems before joining the ELLIS Institute. Mendler-Dünner's research spans several interconnected themes including performative prediction (where predictions change the behavior they aim to predict), algorithmic collective action (how participants can steer AI systems toward common goals), and the role of LLMs in social science research. Her work combines theoretical foundations with practical implementations, addressing challenges in interactive machine learning, optimization in dynamic environments, and context-specific evaluation of AI systems. She particularly examines how algorithmic predictions mediate services and platforms at societal scale, exploring concepts of economic power in digital markets. Her publication record shows a clear evolution from system-aware machine learning algorithms (including foundational work on IBM Snap ML) toward increasingly sociotechnical questions at the intersection of machine learning, economics, and policy. Recent work focuses on measuring performative power in digital economies, evaluating LLMs as risk scores, and developing frameworks for algorithmic collective action in recommender systems and labor markets. Among her notable recognitions are the ETH Medal for her dissertation, the IBM Research Division Award, the Fritz Kutter Award, and the IBM Eminence and Excellence Award. She is an ELLIS Scholar, a fellow of the Elisabeth-Schiemann-Kolleg, and affiliated with several prestigious research programs including the International Max Planck Research School for Intelligent Systems and the Max Planck ETH Center for Learning Systems. ETH Medal (dissertation award) IBM Research Division Award Fritz Kutter Award IBM Eminence and Excellence Award SNSF Early Postdoc Mobility Fellowship Mendler-Dünner actively mentors the next generation of researchers, advising PhD student Patrik Wolf and supervising research interns including Joachim Baumann, Haiqing Zhu, and Anna Badalyan, as well as Master's student Dorothee Sigg. She serves as core faculty for the International Max Planck Research School and associated faculty for the Max Planck ETH Center for Learning Systems. Her group has secured significant research funding through fellowships and institutional support, enabling work on projects like Powermeter (measuring search engine influence) and Snap ML (resource-efficient machine learning library with over 1 million PyPI downloads). She leads the Algorithms and Society research group, which examines machine learning as part of broader sociotechnical ecosystems. The group explores human-population interactions with algorithmic systems and incorporates these insights into learning system fundamentals. Current projects include investigating economic incentives in digital platforms, developing tools for systematic LLM evaluation in social science contexts, and creating frameworks for collective action in algorithmic systems. Mendler-Dünner also co-organizes the Algorithmic Collective Action workshop at NeurIPS 2025, demonstrating her leadership in emerging research directions at the AI-society interface.

• Advanced water treatment processes
• Membrane processes
• Ozonation
• +۱۳ مورد دیگر

Prof. Dr. Jörg E. Drewes is a Full Professor and Chair at the Research Institute for Urban Water Management, Technical University of Munich (TUM), Germany. He also serves as Academic Program Director for Environmental Engineering at TUM and is a co-founder of Waterloop Solutions GmbH. His work spans advanced water treatment technologies, wastewater reuse, and environmental health surveillance. Affiliations : TUM, Colorado School of Mines, King Abdullah University of Science and Technology, UNSW Water Research Centre Research focuses on advanced oxidation processes , membrane fouling mitigation , micropollutant removal , and wastewater epidemiology for public health. His team develops integrated systems for water-energy-food nexus applications and graphene oxide-based treatment solutions. Recent publications address PFAS remediation , UVC-LED pre-treatment for biofouling control, and GIS-based wastewater surveillance models . Awards include the Bayerische Staatsmedaille (2023) and William Dunbar Medal (2022). 2023 : Bayerische Staatsmedaille 2022 : William Dunbar Medal 2018 : IWA Fellow He leads the Nexus@TUM initiative and contributes to EU water resilience strategies. Collaborations include projects in Germany, China, India, and Spain, focusing on climate-resilient water systems and resource recovery .

• Biomechanics
• Biomimetics
• Bio-inspired Structures
• +۱۴ مورد دیگر

Renate Sachse is a Researcher at the Chair of Structural Analysis, Technical University of Munich (TUM), where she has worked since May 2024. Previously, she held postdoctoral positions at Harvard University's Bertoldi Lab (2024) and TUM's Chair of Computational Mechanics (2021-2024), following academic staff roles at the University of Stuttgart (2015-2020). Her interdisciplinary work bridges civil engineering, biomechanics, and computational modeling. Her educational foundation includes a Master's in Civil Engineering from the University of Stuttgart (2014; thesis: 'Isogeometric contact analysis of thin-walled structures') and a Bachelor's from the same institution (2011; thesis: 'A Primary School Pavilion for Magagula in South Africa - Structural Analysis'). She also completed ERASMUS studies at ESTP Paris and internships at Foster + Partners and Werner Sobek AG. Dr. Sachse's research centers on biomechanics and biomimetics, with pioneering work on plant-inspired structures. She investigates snapping mechanisms in carnivorous plants (Venus flytrap, waterwheel plant) to develop bio-inspired adaptive systems, soft robotics, and metamaterials. Her expertise spans motion design for large-deformation structures, isogeometric analysis, and hygroscopic actuation in 4D-printed materials, emphasizing computational modeling of contact mechanics and structural stability. Analysis of her 15 most recent publications reveals a dominant focus on biomechanics (60% of articles), particularly plant movement mechanics translated into engineering solutions. Her work consistently integrates computational structural analysis with biological principles, showing increasing emphasis on motion design (25% of recent output) and additive manufacturing applications (15%). Key trends include translating snap-buckling phenomena into robotics and developing material design spaces for responsive structures. Her distinguished awards include the Bertha Benz Prize (2022), Klaus Tschira Boost Fund Fellowship (2022-2024), and University of Stuttgart Publication Award (2022). Additional recognition comprises GAMM Juniors Fellowship (2020-2022), AVK Innovation Award (2017), and Emil Mörsch Study Prize (2014). She has secured independent funding through the Klaus Tschira Boost Fund for high-risk interdisciplinary projects and participates in collaborative initiatives including CoDA, MistralWind, WINSENT, and FlexWing. While teaching advanced courses at TUM (Advanced Finite Element Methods, Theory of Plates), her mentorship focuses on computational mechanics and biomimetic design principles. Currently based at TUM's Chair of Structural Analysis under Prof. Bletzinger, she maintains active collaboration with Harvard University's Bertoldi Lab in developing next-generation adaptive structures.

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Databases
• +۵ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Ashley Montanaroمشاهده پروفایل

استاد

• Quantum Computation
• Quantum Algorithms
• Quantum Information Theory
• +۳ مورد دیگر

Ashley Montanaro is Professor of Quantum Computation in the School of Mathematics at the University of Bristol, and co-founder of the quantum software startup Phasecraft. He is a member of the Quantum Information Theory research group at Bristol. His research focuses on the theory of quantum computing, with particular interest in quantum algorithms, computational complexity, quantum query and communication complexity, and classical algorithms. His work spans both theoretical foundations and practical applications of quantum computing. Montanaro's research output shows significant trends toward quantum algorithms for optimization problems, quantum computational supremacy, and bridging theoretical advances with practical implementation challenges. His publications span foundational quantum information theory to applied quantum algorithms, demonstrating a versatile research program that connects computer science with quantum physics. Among his professional activities, Montanaro served on the QIP steering committee (2016-2018) and was an editor for the Quantum journal until 2019. He has been active in conference organization, serving on program committees for ITCS 2018, AQIS 2017 and 2015, QIP 2015, and TQC 2014 and 2013, reflecting his standing in the quantum computing research community. He has supervised numerous PhD students including Josh Blake, Jorja Kirk, Sheila Perez Garcia, Sami Boulebnane, Jan Lukas Bosse, Lana Mineh, Joao F. Doriguello, Chris Cade, Sam Pallister, and Stephen Piddock. His teaching includes Quantum Computation (MATHM0023) which he has taught since 2014 and Advanced Quantum Information Theory which he taught in 2015 and 2016. As co-founder of Phasecraft, Montanaro is actively translating theoretical quantum computing advances into practical software solutions, positioning him at the intersection of academic research and quantum technology commercialization.

Bernhard J. Bergerمشاهده پروفایل

مدرس

• Software Security
• Static Code Analysis
• Machine Learning
• +۴ مورد دیگر

Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.

Nicole Koschate-Fischerمشاهده پروفایل

استاد

• customer insights
• digital marketing
• pricing and product management
• +۳ مورد دیگر

Nicole Koschate-Fischer is Professor and holds the GfK Chair for Marketing Intelligence at Friedrich-Alexander University Erlangen-Nuremberg (FAU), where she currently serves as Dean of Research at the Faculty of Business, Economics and Social Sciences. She is spokesperson for the interdisciplinary research focus "Customer Insights" and founding director of the Experimental Lab for Business Insights Nuremberg (ELAN). Previously, until September 30, 2024, she served as spokesperson for the Institute of Marketing and head of the Master's in Marketing program. Professor Koschate-Fischer earned her doctorate and habilitation from the University of Mannheim after completing a degree in business administration and psychology. Her academic journey includes membership in the interdisciplinary Collaborative Research Center "Concepts of Rationality, Decision Behavior, and Economic Modeling" at Mannheim, along with research stays as visiting scholar at University of Florida and University of Texas at Austin. She has held professorships at Technical University of Kaiserslautern and HEC Paris, and served as visiting professor at University of Vienna and Central University of Finance and Economics in Beijing. Research Interests Professor Koschate-Fischer's research spans customer insights , digital marketing , pricing and product management , and marketing analytics . Her work investigates consumer behavior in digital contexts, brand partnerships, life event impacts on purchasing decisions, and the psychological aspects of pricing. She employs experimental research methods and mediation analysis to understand causal relationships in consumer decision-making processes. Her publication record demonstrates consistent high-impact research in leading journals including Journal of Marketing, Journal of Marketing Research, and Journal of the Academy of Marketing Science. Recent work focuses on digital communication phenomena like emoji usage in electronic word-of-mouth, conversational agent interactions, and the application of behavioral pricing principles in charitable contexts. Professional Recognition Full member of the Bavarian Academy of Sciences and Humanities Member of the Board of Academic Trustees of the Center for Advanced International Marketing Knowledge (AiMark) Editorial board member of Journal of International Marketing Professor Koschate-Fischer regularly serves as reviewer for leading international academic journals and presents her research at both academic and practitioner-oriented conferences. Her work receives funding from organizations including the German Research Foundation (DFG), and she maintains active collaborations with renowned companies across various industries. She has directed the Experimental Lab for Business Insights Nuremberg (ELAN) since its founding, creating a hub for interdisciplinary customer insights research that bridges academic rigor with practical business applications.

Christoph Keplingerمشاهده پروفایل

استاد

• Soft Robotics
• Functional Polymers
• Energy Capture
• +۴ مورد دیگر

Christoph Keplinger serves as Managing Director of the Max Planck Institute for Intelligent Systems (MPI-IS) in Stuttgart, Germany, leading the Robotic Materials Department since 2020 and assuming overall institute leadership in 2023. He holds dual academic appointments as Honorary Professor at the University of Stuttgart and Eminent Visiting Professor of Soft Robotics at the University of Colorado Boulder, establishing him as a pivotal figure in bridging fundamental materials science with advanced robotics. His interdisciplinary approach integrates physics, chemistry, and engineering to pioneer breakthroughs in soft robotic systems. Keplinger's academic foundation includes a PhD in Soft Matter Physics from Johannes Kepler University Linz, Austria, followed by postdoctoral research at Harvard University focusing on mechanics and chemistry of soft materials. This unique background enabled his transition into robotics innovation, particularly in electrohydraulic actuation systems. His research program centers on three synergistic pillars: (I) soft robotics development through novel actuator technologies like HASEL artificial muscles; (II) energy capture mechanisms using soft materials; and (III) functional polymers engineered for robotic applications. This work produces transformative hardware that mimics biological functionality, with significant implications for human-robot interaction, medical devices, and sustainable robotics systems. His group employs cutting-edge materials synthesis and characterization techniques to create lifelike robotic components. Analysis of recent publications reveals dominant trends in wearable haptic interfaces, electrohydraulic actuation systems, and tremor-suppression technologies. The research consistently leverages HASEL (Hydraulically Amplified Self-healing Electrostatic) technology to achieve muscle-like performance in soft actuators, with applications spanning from fingertip haptic feedback to underwater manipulation systems. This trajectory demonstrates a clear progression from fundamental material properties toward practical implementations in medical rehabilitation and human augmentation. His exceptional contributions have earned prestigious recognition: 2017 Packard Fellowship for Science and Engineering, awarded for high-impact interdisciplinary research 2021 Alexander von Humboldt Professorship (declined to remain at MPI-IS), Germany's most valuable international research award 2013 EAPromising European Researcher Award from the European Scientific Network for Artificial Muscles As principal investigator, Keplinger leads a dynamic interdisciplinary research group while securing competitive funding for frontier projects. His entrepreneurial vision materialized in 2018 through co-founding Artimus Robotics, where he serves as Chief Science Officer to commercialize HASEL technology. This dual commitment to academic research and industry translation exemplifies his dedication to real-world impact, particularly in creating biodegradable and sustainable soft robotic solutions. The Robotic Materials Department operates state-of-the-art facilities for materials fabrication, robotic integration, and haptic interface development. The team maintains strong collaborations across MPI-IS departments and external institutions including the University of Colorado Boulder, fostering innovation in sustainable robotics through initiatives like biodegradable electrohydraulic actuators. Current projects focus on wearable tremor suppression systems, electrohydraulic locomotion platforms, and energy-autonomous soft robots that address critical challenges in medical rehabilitation and human augmentation.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Veronika Eyringمشاهده پروفایل

استاد

• Climate science
• Climate modelling
• Machine learning for climate models
• +۷ مورد دیگر

Veronika Eyring serves as Head of the Earth System Model Evaluation and Analysis Department at the German Aerospace Center (DLR) Institute of Atmospheric Physics and Professor of Climate Modelling at the University of Bremen. She holds dual appointments at these leading institutions, directing cutting-edge research at the intersection of climate science and artificial intelligence. Education: 2008: Habilitation in Environmental Physics at the University of Bremen 1999: PhD in Physics from the University of Bremen 1994: Diploma in Physics from the University of Erlangen Professor Eyring's research program focuses on improving climate models and projections through innovative integration of machine learning techniques and spaceborne Earth observations. Her work spans process-oriented modeling, development of observationally-based performance metrics, and understanding systematic biases in climate models. She has pioneered approaches to weighting model projections based on their performance using machine learning, significantly advancing the field of climate model evaluation. Her research has critical applications across multiple sectors including aeronautics, space research, transportation, and energy systems. Analysis of her recent publications reveals a clear trajectory toward deeper integration of machine learning with traditional climate modeling approaches. Her work has increasingly focused on developing community tools like the Earth System Model Evaluation Tool (ESMValTool) and leading major international initiatives such as the USMILE project (Understanding and Modelling the Earth System with Machine Learning). The publications span climate science, machine learning, Earth system modeling, and remote sensing, with specific emphasis on climate model evaluation, parameterization techniques, and improved climate projections. Scientific Awards: AGU Ambassador Award (2024) TUM Distinguished Affiliated Professor (2024) Gottfried Wilhelm Leibniz Prize (2021) ERC Synergy Grant (2019) Thomson Reuters Highly Cited Researcher (2016-2021) Top female researchers award, Helmholtz-Society (2015) Professor Eyring actively supervises a large research group comprising PhD students working on ML-based sea ice parameterizations, causal model evaluation for air-sea interactions, and machine learning-based detection of droughts in climate projections. She leads the prestigious ERC Synergy Grant USMILE and secured significant funding through the DFG Gottfried Wilhelm Leibniz Prize. Her research group at DLR includes multiple postdocs, research scientists, and software engineers working collaboratively on climate informatics projects. Professor Eyring leads the Earth System Model Evaluation and Analysis Department at DLR, which encompasses research groups focused on CMIP model evaluation, ESMValTool development, and machine learning applications in climate science. She founded and supervises the 'Climate Informatics' Group at the DLR Institute for Data Science in Jena. Her department maintains strong international collaborations, particularly with the National Center for Atmospheric Research (NCAR) in Boulder, Colorado, where she serves as an Affiliate Scientist.

Rainer Böhmeمشاهده پروفایل

استاد

• Steganography and steganalysis
• Digital forensics
• Privacy-enhancing technologies
• +۴ مورد دیگر

Professor Rainer Böhme is a prominent academic in the field of IT security and privacy at the University of Münster's School of Business and Economics, Department of Information Systems. He also holds a professorship for Security and Privacy at the University of Innsbruck's Institute of Computer Science. His research spans multiple dimensions of digital security, with particular expertise in steganography, digital forensics, privacy-enhancing technologies, and the economic aspects of cybersecurity. Dr. Böhme earned his Doctoral Degree from TU Dresden's Faculty of Computer Science in 2008, following studies in Communications, Economics and Computer Science at Technische Universität Dresden and Université Paris XII. His academic journey includes positions as Assistant Professor at the University of Münster (2010-2015), Postdoctoral Fellow at the International Computer Science Institute in Berkeley (2009-2010), and Scientific Staff at TU Dresden's Chair of Privacy and Data Security. His research interests focus on steganography and steganalysis, digital forensics, privacy-enhancing technologies, security and usability, economic and behavioral aspects of information privacy, virtual currencies, and the economics of information security. His work bridges technical security mechanisms with economic and behavioral considerations, creating a unique interdisciplinary approach to cybersecurity challenges. Analysis of his recent publications reveals a strong trend toward the economics of security, particularly regarding blockchain technologies, cryptocurrency, and privacy valuation. His work increasingly examines the intersection of technical security mechanisms with market dynamics, regulatory frameworks, and user behavior. The research spans theoretical game-theoretic models, empirical studies of user behavior, and practical applications in digital forensics and privacy protection. Program Co-Chair, Financial Cryptography and Data Security (2015) Program Co-Chair, New Security Paradigms Workshop (NSPW) (2015) General Chair, 8th International Conference on IT Security Incident Management & IT Forensics (2014) Organizer and Program Co-Chair, 1st Workshop on Bitcoin Research (2014) Associate Editor, Electronic Commerce Research (since 2013) Associate Editor, EURASIP Journal on Information Security (since 2013) Professor Böhme has supervised multiple Master's theses in Information Systems, including work on static code analysis for smart contracts, remote maintenance protocol security, and application protection requirements in retail banking. His research is supported by significant grants from the German Federal Ministry of Research, Technology and Space, the DFG, and the EU FP7 program, with projects focusing on digital forensics, privacy-enhancing technologies, and cryptocurrency crime prevention. He leads the IT Security Research Group at the University of Münster, which investigates theoretical and applied aspects of information security with particular emphasis on the economic dimensions of security decisions.

Marco Platznerمشاهده پروفایل

استاد

• Reconfigurable Computing
• Approximate Computing
• Self-Aware Computing
• +۷ مورد دیگر

Marco Platzner is a Professor for Computer Engineering at Paderborn University , Germany. He serves as the Dean of Research for the Faculty of Computer Science, Electrical Engineering and Mathematics and heads the Department of Computer Science. Previously, he held research positions at ETH Zurich, Stanford University, GMD (now Fraunhofer IAIS), and Graz University of Technology. Education: Diploma and PhD in Telematics (Graz University of Technology, 1991 and 1996), Habilitation in Hardware-Software Co-Design (ETH Zurich, 2002) Research Interests focus on reconfigurable computing, approximate computing, self-* computing, and embedded systems. His work addresses hardware security, FPGA design, and sustainable AI in data centers. Current projects include energy-efficient AI through deep neural network approximation for FPGAs (EKI-App) and lifecycle sustainability of socio-technical systems (SAIL). Publication Trends show expertise in FPGA security, approximate circuit synthesis, robotics, and hardware acceleration. Collaborations span robotics (ROS 2 integration), AI (transformer optimization), and cybersecurity (Trojan detection). Scientific Awards: ACM SIGDA Hall of Fame (2020) Significant Paper Award (FPL 2015) Best Paper Awards at IEEE ISVLSI (2024), ARC (2018), IEEE ReConFig (2015), and others Weierstraß Prize for Teaching (2008) Leadership Roles include membership in the board of Paderborn Center for Parallel Computing (PC2) and the Jenny Aloni Centre for Early Career Researchers. He has contributed to EU FP7 FET project EPiCS and German priority programs on embedded systems and organic computing.