جست‌وجوی استاد و پژوهشگر

Michael Carbinمشاهده پروفایل

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

• Natural Language Processing
• Machine Learning
• Multimodal Learning
• +۵ مورد دیگر

Ekaterina Shutova is an Associate Professor at the Institute for Logic, Language and Computation (ILLC) within the Faculty of Science at the University of Amsterdam. She concurrently holds a Visiting Associate Professor position in the Computer Science Department at Stanford University. She leads the Amsterdam Natural Language Understanding Lab and heads the NLP & Digital Humanities research unit at ILLC. An ELLIS Scholar, she earned her PhD from the University of Cambridge Computer Laboratory and Pembroke College. Her research has been funded by ERC, Innovate UK, British Academy, Leverhulme Trust, Google, Meta, and Deloitte. Her research spans natural language processing and machine learning, with core interests in: Few-shot learning for NLP Multilingual and cross-lingual systems Joint modeling of language and vision Cognitive processing and semantic representation Figurative language interpretation Computational social science applications Her recent publications (2024-2025) predominantly focus on multimodal learning, cultural alignment in AI, metaphor processing, and evaluation methodologies for language models. These works reflect a trend toward integrating cognitive science with multilingual systems and ethical considerations. Awards & Fellowships: ERC Consolidator Grant (2025) ELLIS Scholar Outstanding Paper Award at ACL 2023 Finalist for Outstanding Certification by TMLR Runner-up Best Paper Award at NAACL-HLT 2016 Research Leadership: She directs the Amsterdam Natural Language Understanding Lab, supervising 8 PhD students, 1 MSc student, and 34 alumni. Her projects include an ERC-funded initiative on globally accessible language technology and an AI Democratization grant for hate speech detection.

Sebastian Kubeمشاهده پروفایل

استاد

• Behavioral Economics
• Experimental Economics
• Social Preferences
• +۵ مورد دیگر

Sebastian Kube is a Professor of Behavioral and Experimental Economics at the University of Bonn, Germany. He holds concurrent positions as Senior Researcher at the Max Planck Institute for the Study of Public Goods, Research Fellow at the Institute for the Future of Labor (IZA), and Vice Director of the BonnEconLab. He also coordinates the European Doctoral Program in Quantitative Economics and serves on multiple editorial/research boards. University of Bonn Max Planck Institute for Research on Collective Goods Institute for the Study of Labor (IZA) BonnEconLab European Doctoral Program in Quantitative Economics His experimental research examines social preferences , cooperation mechanisms , incentive design , and norm enforcement . Key areas include: how remuneration schemes affect workplace cooperation, the effectiveness of social sanctions in social dilemmas, and the psychological foundations of environmental behavior. Recent work explores trust communication strategies for maintaining cooperation, information asymmetry effects in group dynamics, and incentive reversal phenomena where higher rewards paradoxically reduce effort. His 2025 publications particularly focus on sanction removal strategies and environmental behavior. Scientific Awards: Excellence in Teaching Award (2017, 2016, 2015, 2012) IZA Young Labor Economist Award (2011) Etienne-Laspeyres Prize (2011) Heinz Sauermann Prize (2004) As Vice Director of BonnEconLab, he oversees experimental infrastructure for economic research. His methodological approach combines field experiments with laboratory studies , often using behavioral game theory frameworks. He has published extensively in top journals including American Economic Review , Journal of Public Economics , and Management Science .

• Network Security
• Android Security
• Malware Analysis
• +۶ مورد دیگر

Vijay Laxmi is a Professor in the Department of Computer Science and Engineering at Malaviya National Institute of Technology (MNIT) Jaipur, India. With over a decade of active research publication from 2014-2024, Dr. Laxmi has established themselves as a prominent researcher in network security, Android security systems, and Network-on-Chip architectures. Their work demonstrates consistent collaboration with Manoj Singh Gaur and numerous doctoral students at MNIT Jaipur. Dr. Laxmi's research interests span Network Security, Android Security, Malware Analysis, Network-on-Chip Architectures, Routing Protocols, Side-Channel Attacks, Wireless Networks, and Mobile Security. Their work bridges theoretical security frameworks with practical implementations, particularly in mobile and embedded systems. Recent publications indicate a growing focus on AI-based security approaches including GAN applications for fuzzing and deep learning for image dehazing. The research trajectory shows increasing sophistication in security analysis techniques, evolving from basic malware detection to advanced side-channel attack analysis and sophisticated network security protocols. Recent publications demonstrate expertise in both theoretical frameworks and practical implementations with applications in real-world security challenges. Dr. Laxmi has mentored numerous graduate students including Vineeta Jain, Anugrah Jain, Sonal Yadav, Mohit Singh, and Gaurav Singal, who appear as co-authors across multiple publications. Their collaborative network extends to researchers at international institutions, indicating strong academic connections beyond their home institution.

Björn Brandenburgمشاهده پروفایل

پژوهشگر

• Real-Time Systems
• Scheduling Algorithms
• Real-Time Operating Systems
• +۵ مورد دیگر

Björn Brandenburg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on real-time systems, scheduling algorithms, and operating system design, with a particular emphasis on predictable resource allocation and performance guarantees in multiprocessor and cyber-physical environments. His research interests include real-time response-time analysis (e.g., PROSA ), locking protocols for multiprocessor systems, side-channel mitigation in cloud environments, and the verification of real-time scheduling policies. He has contributed to foundational studies on deadline failure probabilities, self-suspending tasks, and predictable real-time Linux implementations. Scientific awards include recognition for outstanding papers on TimerShield (2017) Offline Equivalence (2017) . His work intersects with practical systems like LITMUSRT and ROS 2, aiming to bridge theoretical guarantees with real-world applications in safety-critical and distributed real-time systems.

Todd Millsteinمشاهده پروفایل

استاد

• Software Reliability
• Network Verification
• Programming Languages
• +۵ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .

Jürgen Bergesمشاهده پروفایل

استاد

• Quantum Field Theory
• Non-equilibrium Dynamics
• Heavy-Ion Collisions
• +۲ مورد دیگر

Jürgen Berges is a full Professor of Theoretical Physics at Heidelberg University's Faculty of Physics and Astronomy, holding the Chair of Theoretical Physics since 2011. He concurrently serves as an ExtreMe Matter Institute (EMMI) Professor at GSI Helmholtzzentrum for Heavy Ion Research in Darmstadt and acts as Spokesperson for the Steering Board and Principal Investigator in multiple projects within the STRUCTURES Cluster of Excellence. Education includes Habilitation (2003), Doctorate (1997), and Diploma (1994) from Heidelberg University, plus Intermediate Diploma (1990) from Osnabrück University. Research Interests focus on quantum field theory applications in non-equilibrium dynamics , particularly thermalisation phenomena in heavy-ion collisions , nonthermal fixed points , and quantum field simulators . His work integrates topological data analysis for quantum systems within the STRUCTURES Cluster of Excellence (Quantum Structure and Dynamics). Scientific Awards : Karl-Freudenberg Prize (2004) Landesgraduiertenförderung Fellowship (1995-1997) Leadership & Grants : Served as Department Chair (2021-2023), Deputy Chair (2019-2021), and Spokesperson for CRC 1225 (ISOQUANT). Currently Principal Investigator in STRUCTURES Cluster projects A01 (Thermalisation dynamics), B03 (Nonthermal fixed points), and B04 (Quantum field simulators), with prior DOE review panel membership (2018). Labs & Teams : Leads theoretical research groups within Heidelberg's Institute for Theoretical Physics, focusing on infrared phenomena in quantum fields and quantum simulator development through ISOQUANT and STRUCTURES collaborations.

• Microbiome
• Host-Microbe Interactions
• Environmental Microbiology
• +۵ مورد دیگر

Prof. Dr. Michael Schloter serves as Director of the Research Unit for Comparative Microbiome Analysis at Helmholtz Munich since 2011 and holds a Professorship in Microbiology at the Technical University of Munich since 2010. He concurrently acts as Principal Investigator at both the German Center for Lung Diseases (DZL) and the Central for Food and Nutrition (ZIEL) at TU Munich, driving interdisciplinary research at the intersection of environmental and human health through the "Planetary Health" framework. His educational foundation was built through diploma studies at Ludwig Maximilian University Munich and doctoral research at the University of Bayreuth, followed by formative work in Brazil and the United States where he pioneered bioinocula development for stress-resilient agriculture. At Helmholtz Munich (formerly GSF), he evolved from group leader in soil microbial ecology (2001) to Research Unit Director, expanding his focus from agricultural systems to human microbiome-health connections. Dr. Schloter's research program centers on microbiome-host crosstalk across ecological scales, investigating how environmental microbiota interact with human and plant microbiomes to influence health outcomes. His work integrates ecological theory with microbiome analysis to decode host-microbe co-evolution patterns, with applications spanning sustainable agriculture, allergy prevention, and infection control. Key thematic pillars include holobiont theory, probiotic development, and microbiome-mediated disease prevention through environmental quality improvement. Analysis of his 2025 publications reveals a strategic research portfolio bridging fundamental and applied microbiome science. Agricultural studies dominate (maize, potato, apple systems), examining microbial inoculants and soil management, while human health investigations explore preterm birth complications and Antarctic mammal microbiomes. Computational approaches for antimicrobial resistance assessment and ecosystem-scale projects like JenaTron demonstrate methodological breadth, all converging on translating microbiome functionality into real-world sustainability solutions. Major recognitions include: Election to the Bavarian Academy of Science (2021) Consistent placement among the top 1% of highly cited global researchers (2019-2021) Heinrich Baur Research Award (2011) for agricultural microbiology contributions As Research Unit Director, Schloter leads large-scale collaborative initiatives including the DZL and ZIEL consortia, securing major funding for microbiome standardization projects and international research networks. His leadership extends to developing analytical frameworks for cross-ecosystem microbiome comparisons and establishing protocols for translating microbial ecology principles into clinical and agricultural applications. The Comparative Microbiome Analysis unit operates as a nexus for multi-host microbiome research, employing comparative genomics, field-scale agricultural trials, and clinical cohort studies to investigate microbiome dynamics across environmental, plant, and human systems. Current infrastructure includes advanced sequencing facilities and experimental platforms for plant-microbe and host-microbe interaction studies under controlled and natural conditions.

Manfred Drosteمشاهده پروفایل

استاد

• Theoretical Computer Science
• Automata Theory
• Logic
• +۶ مورد دیگر

Manfred Droste is a Professor at the Institute of Computer Science of the University of Leipzig, where he leads the Research Group on Automata and Formal Languages. He serves as Director of the Graduate Centre Mathematics, Computer Science and Natural Sciences and is Vice-speaker of the DFG-Research Training Group Quantitative Logics and Automata. His academic career spans decades of research and leadership in theoretical computer science and algebra. Prof. Droste's research focuses on theoretical computer science, particularly automata theory, logic, algebraic models for concurrent systems, and domain theory. In algebra, his interests include model theory, automorphism groups, and ordered algebraic structures. His work bridges theoretical foundations with practical applications in formal language theory and quantitative systems. His extensive publication record demonstrates a consistent focus on weighted automata, formal languages, and their logical characterizations. Over the years, his research has evolved to address increasingly complex quantitative models, with recent work focusing on weighted complexity classes, weighted linear dynamic logic, and decidability boundaries for weighted automata. Prof. Droste has received significant recognition including election to Academia Europaea, an honorary doctorate from Immanuel Kant Baltic Federal University, and fellowship in the Asia-Pacific Artificial Intelligence Association. These honors reflect his substantial contributions to theoretical computer science. He has supervised numerous PhD students including Dietrich Kuske, Paolo Boldi, and Karin Quaas, many of whom have become prominent researchers. His extensive grant portfolio includes multiple DFG projects on weighted automata and international collaborations through DAAD funding. Prof. Droste leads a vibrant research team including Andrea Hesse, Karin Quaas, Erik Paul, and others. He has organized the international workshop series "Weighted Automata: Theory and Applications" since 2002, fostering global collaboration in this specialized field.

• Database Systems
• Graph Databases
• Data Management
• +۷ مورد دیگر

Amol Deshpande is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, College of Engineering. With over 160 publications spanning from 2000 to 2025, his research has significantly impacted the database systems community. His work bridges theoretical foundations with practical systems, evidenced by numerous publications in top-tier venues including SIGMOD, VLDB, and ICDE. Professor Deshpande's research focuses on database systems, with particular expertise in graph databases, data management, probabilistic databases, query optimization, and data provenance. His work addresses fundamental challenges in managing complex data, including efficient graph analytics, dataset versioning, streaming data processing, and privacy-preserving data management. Recent research directions include entity-relationship abstractions beyond traditional relations, standalone catalog engines for large data systems, and graph theoretical approaches to dataset versioning. His publication trends show a consistent focus on evolving database technologies, with early work on probabilistic databases and query optimization, transitioning to graph analytics and data provenance, and more recently addressing modern challenges in data cataloging, privacy-first data management, and serverless stream processing. His research spans both theoretical contributions (e.g., approximation algorithms for stochastic optimization) and practical systems building (e.g., RStore, TreeCat). Professor Deshpande has mentored numerous PhD students who have become active researchers in the database community, including Hui Miao, Souvik Bhattacherjee, and Konstantinos Xirogiannopoulos. His collaborative work spans across institutions, with frequent collaborations with researchers from MIT, University of Maryland, and other leading institutions. His research has been supported by major funding agencies and has influenced both academic research and industry practices in data management. The evolution of his work reflects the changing landscape of data management, from traditional relational systems to modern graph and streaming data challenges.

Farzan Banihashemiمشاهده پروفایل

پژوهشگر ارشد

• Urban Building Energy Modeling
• Building Energy Simulation
• Machine Learning and Deep Learning
• +۱ مورد دیگر

Farzan Banihashemi serves as a Research Fellow at the Chair of Energy Efficient and Sustainable Design and Building at the Technical University of Munich (TUM), maintaining this affiliation since 2019 while concurrently working as a Data Scientist at Climateflux GmbH since 2023. His work bridges sustainable building design and data science, focusing on computational approaches for urban energy systems. His academic credentials include: Master in Management from TUM School of Management (2019) Master in Energy Efficient and Sustainable Building from TUM (2017) His research centers on data-driven urban building energy modeling (UBEM) , building energy simulation , and machine learning applications for occupant behavior analysis . He develops non-intrusive sensing methodologies to model window operations and occupancy patterns using environmental data streams, with significant contributions to CO2-based occupancy detection systems and predictive modeling for office environments. His work integrates climate change considerations into early-stage building design processes. Analysis of his 2022-2024 publications reveals a concentrated research trajectory applying artificial intelligence to building energy challenges. Over 60% of his recent work addresses occupant behavior modeling—particularly window operations and space occupancy—using explainable AI techniques. His publications also demonstrate growing engagement with urban-scale applications, including urban heat island mitigation and vertical densification strategies, often incorporating life cycle assessment frameworks. No scientific awards were documented in the source materials. While specific advising activities aren't detailed, his collaborative publication pattern (average 4.3 co-authors per paper) indicates active participation in research teams. Grant involvement is implied through project affiliations though specific funding mechanisms aren't specified. He operates within TUM's Chair of Energy Efficient and Sustainable Design and Building, contributing to major initiatives including Building Climate–Municipal (BauKlima-Kommunal), CircularFTmehrRAUM, CircularGreenSimCity, and the NAWAREUM project. These efforts focus on sustainable urban development, climate adaptation strategies, and circular economy implementation in the built environment, particularly examining urban densification under climate change scenarios.

Slava Jankinمشاهده پروفایل

استاد

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +۳ مورد دیگر

Slava Jankin is a Professor of Data Science and Government at the University of Birmingham’s School of Government, where he also serves as Deputy Director of the Institute for Data and AI and Founding Director of the Centre for Artificial Intelligence in Government. He is concurrently a Fellow and Founding Director of the Data Science Lab at the Hertie School in Berlin. Previously, he held a Professorship at the University of Essex and has worked at University College London (UCL) and the London School of Economics (LSE). His research bridges computational methods, governance, and climate policy, with a focus on AI applications in public institutions, climate-health surveillance, and misinformation resilience. Jankin earned a PhD in Political Science from Trinity College Dublin (2009), a Postgraduate Diploma in Statistics (2006), and a BSc from Belarus State Economic University (2002). **Education**: • PhD in Political Science, Trinity College Dublin (2009) • Postgraduate Diploma in Statistics, Trinity College Dublin (2006) • BSc Econ with Distinction, Belarus State Economic University (2002) **Research Interests**: Jankin’s work integrates AI and computational methods with governance challenges, including climate policy, health surveillance, and institutional effectiveness. He leads initiatives like the Lancet Countdown’s climate-health monitoring and the CATALYSE project on climate impacts. His research also explores digital twins for governance systems and the role of cultural diversity in societal resilience against misinformation. **Grants & Collaborations**: He advises the UN and EU on AI and data science, co-leads the Lancet Countdown, and collaborates with institutions like the Alan Turing Institute. His applied work includes developing AI tools for public service optimization and policy simulations. **Labs & Teams**: Directs the Centre for AI in Government (University of Birmingham) and the Hertie School’s Data Science Lab, fostering interdisciplinary teams to advance computational methods in public policy.

Zachary Kincaidمشاهده پروفایل

دانشیار

• Program Analysis
• Formal Methods
• Programming Languages
• +۴ مورد دیگر

Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)

• Last-mile Supply Chain Analytics
• Urban Logistics
• Shared Mobility
• +۴ مورد دیگر

Niels Agatz is a Full Professor of Last-mile Supply Chain Analytics at the Rotterdam School of Management (RSM), Erasmus University, and Scientific Director of TKI Dinalog, a national research funding institute. His work bridges academia and industry, focusing on sustainable urban logistics, shared mobility, and online retailing analytics. He holds a PhD in Logistics from RSM and an MSc in Industrial Engineering from Eindhoven University of Technology. Research interests include optimizing last-mile supply chains through technology-driven solutions, with emphasis on sustainability and operational efficiency. Notable contributions include frameworks for demand management and transportation-enabled services. His work aligns with UN Sustainable Development Goals related to responsible consumption and climate action. Editorial roles include Area Editor for Transportation Science . Awards include the INFORMS TSL Stella Dafermos Achievement Award (2022) and NWO Rubicon Grant. Collaborations span institutions like Georgia Tech and the Pontifical Catholic University of Chile. Recent publications address home delivery systems, sustainable supply chains, and pickup/delivery optimization. Labs/Teams: Directs TKI Dinalog, collaborates with industry partners to translate research into practical logistics solutions.

• Database Management Systems
• Transaction Processing
• In-Memory Databases
• +۶ مورد دیگر

Andrew Pavlo is a Professor in the Computer Science Department at Carnegie Mellon University's School of Computer Science. His research focuses on database management systems, particularly in the areas of transaction processing, in-memory databases, and self-driving database systems. He leads a productive research group that has published extensively in top database venues including VLDB, SIGMOD, and CIDR. Pavlo's research interests span database management systems, transaction processing, in-memory databases, non-volatile memory databases, and self-driving database systems. His work often bridges theoretical database concepts with practical system implementation, focusing on performance optimization, query processing, and system architecture. Recent work has explored machine learning applications for database tuning, novel storage techniques, and innovative approaches to transaction processing. An analysis of his recent publications reveals a strong focus on self-driving database systems, with significant work on the Database Gym framework for training machine learning models to optimize database performance. His research also examines columnar storage formats, transaction scheduling, and novel approaches to user-defined function optimization. The work demonstrates a consistent trajectory toward making database systems more autonomous and efficient through a combination of systems techniques and machine learning. Pavlo has been instrumental in mentoring numerous PhD students who have become active contributors to the database research community. His research has been supported by significant grants that have enabled the development of innovative database technologies and frameworks. His research group operates within CMU's vibrant database ecosystem, collaborating with other researchers on projects related to database systems, storage engines, and query processing frameworks. The group maintains close connections with industry partners to ensure practical relevance of their research contributions.