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

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 .

Simon Birrerمشاهده پروفایل

استادیار

• Cosmology
• Gravitational Lensing
• Dark Matter
• +۲ مورد دیگر

Simon Birrer is an Assistant Professor in Physics and Astronomy at Stony Brook University, specializing in cosmology and gravitational lensing. He holds a PhD from ETH Zurich (2016) and previously served as Kavli Fellow at Stanford University. Birrer leads research probing dark matter and dark energy using gravitational lensing phenomena. His group develops computational tools for analyzing strong gravitational lensing data to study cosmic expansion and dark matter distribution. Research areas include time-delay cosmography, Hubble constant measurements, and machine learning applications in astrophysics. Recent publications focus on multi-messenger gravitational lensing (2025), LSST survey applications (2025), and AI-powered lens modeling pipelines (2025). His work consistently addresses fundamental cosmological tensions like the Hubble constant discrepancy. Awards: Kavli Postdoctoral Fellowship (2019-2022) Kugelpyramide Lifetime Achievement Award Experimental Innovation Award (ETH Zurich) Research Group: Leads the SBU Strong Lensing group with 9+ graduate students and postdocs. The group participates in major collaborations including LSST Strong Lensing Science Collaboration (co-chair), LSST Dark Energy Science Collaboration, and TDCOSMO.

• Software Verification
• Formal Methods
• Programming Languages
• +۵ مورد دیگر

Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.

Alexis Battleمشاهده پروفایل

دانشیار

• Genomics
• Machine Learning
• Computational Biology
• +۳ مورد دیگر

Alexis Battle is an Associate Professor at Johns Hopkins University with appointments in Biomedical Engineering , Computer Science , and Genetic Medicine (secondary). She directs the Malone Center for Engineering in Healthcare and serves as Deputy Director of the Data Science and AI Institute . Educated at Stanford University (PhD in Computer Science, 2013), Battle transitioned to academia after leadership roles at Google. Research Focus: Battle’s work bridges genomics and machine learning , emphasizing the impact of genetic variation on human health. Her lab develops tools like Watershed to predict functional effects of rare variants, aiming to enhance rare disease diagnosis. Key themes include non-coding DNA analysis , personalized genomics , and systems biology , with applications in cardiovascular disease and neurodegenerative disorders . Publications & Awards: Over 60 peer-reviewed articles in journals like Nature , Science , and Genome Biology , with recent emphasis on single-cell transcriptomics , multiomics integration , and telomere biology . Recipient of the President’s Frontier Award (2022), Microsoft Investigator Fellowship (2019), and Searle Scholar (2016). Scientific Awards: 2022 President’s Frontier Award 2019 Microsoft Investigator Fellowship 2019 Johns Hopkins Discovery Award 2017 Johns Hopkins Catalyst Award 2016 Searle Scholar Advising & Funding: Mentors 11 PhD students, 3 undergraduates, and postdoctoral fellows. Her research is funded by NIH, Searle Scholars, and institutional grants. The Battle Lab collaborates on projects like the GTEx Consortium , focusing on gene regulation and clinical genomics .

Martin T. Wellsمشاهده پروفایل

استاد

• Applied Statistics
• Theoretical Statistics
• Bayesian Statistics
• +۷ مورد دیگر

Martin T. Wells is the Charles A. Alexander Professor of Statistical Sciences at Cornell University, with joint appointments in the Department of Statistical Science, Department of Biological Statistics and Computational Biology, Department of Social Statistics, and as Professor of Clinical Epidemiology and Health Services Research at Weill Medical School. He serves as Editor-in-Chief of the ASA-SIAM Book Series and Co-Editor of the Journal of Empirical Legal Studies. Cornell University, Ithaca, NY Weill Cornell Medical College Research Interests span applied and theoretical statistics, Bayesian methods, biostatistics, clinical epidemiology, and computational biology. His work bridges disciplines like finance, legal studies, and health services research. Article Trends highlight advancements in Bayesian modeling, quantum cognition machine learning, tensor analysis, and misclassification correction, with applications in genomics, finance, and public health. Fellow of the American Statistical Association Fellow of the Royal Statistical Society Contributions include developing statistical software (e.g., rTensor), methodological innovations in clinical trials, and empirical legal studies on civil rights and the death penalty.

• Behavioral Economics
• Decision Theory
• Game Theory
• +۸ مورد دیگر

Jose Apesteguia is an ICREA Research Professor at the Department of Economics and Business, Universitat Pompeu Fabra, Barcelona, Spain. His research focuses on behavioral economics, decision theory, experimental economics, and game theory, with particular emphasis on topics such as behavioral heterogeneity, rationality measures, stochastic choice models, and social preferences. Apesteguia has collaborated extensively with scholars like Miguel A. Ballester and Jörg Oechssler, producing influential work on topics ranging from imitation dynamics to the impact of language on moral decisions. His research integrates theoretical frameworks with experimental methods, exploring how individuals make decisions under uncertainty, time preferences, and social contexts. Key contributions include the development of measures of rationality and welfare, as well as analyses of behavioral adaptation and the role of information in competitive environments. His work frequently bridges economic theory with empirical validation, addressing real-world issues such as rule compliance in public institutions and team performance in organizations. Apesteguia’s publications span top journals including the American Economic Journal: Microeconomics , Journal of Economic Theory , and Econometrica . He teaches advanced courses on bounded rationality and behavioral decision theory at the undergraduate and graduate levels. His research has been applied to fields like finance (e.g., copy trading behavior) and public policy (e.g., promoting compliance in libraries).

David Duvenaudمشاهده پروفایل

دانشیار

• Machine Learning
• Generative Models
• Bayesian Inference
• +۵ مورد دیگر

David Duvenaud is an Associate Professor at the University of Toronto , holding a Canada Research Chair in Generative Models and a Schwartz Reisman Chair in Technology and Society . He is cross-appointed to the Department of Computer Science and Department of Statistical Sciences . A Sloan Research Fellow and founding member of the Vector Institute , his work bridges deep probabilistic models , AI safety , and scientific computing . PhD in Machine Learning (University of Cambridge, 2014) Postdoc in Hyperparameter Optimization (Harvard University, 2016) Co-founded Invenia (energy forecasting company) His research spans foundational Neural Ordinary Differential Equations (NeurIPS 2018 Best Paper) and Automatic Chemical Design (ACS Central Science 2018) to recent work on AGI governance (2025) and AI safety (2024). Key contributions include stochastic variational inference , implicit differentiation frameworks , and antisymmetrization layers for quantum Monte Carlo. Recent publications (2024-2025) focus on systemic existential risks from AI , many-shot jailbreaking attacks , and epistemic uncertainty quantification . His group trains energy-based models with scalable MCMC samplers and develops invertible neural architectures (e.g., Residual Flows NeurIPS 2019). He also explores human-AI alignment through LLM Processes (NeurIPS 2024) and Sycophancy in Language Models (ICLR 2024). Canada Research Chair (2025) NSERC Grant (2025) Sloan Research Fellow (2021) Schwartz Reisman Chair (2021) Best Paper Award (NeurIPS 2018) Distinguished Paper Award (ICFP 2021) His students include James Requeima , Jesse Bettencourt , and Raymond Douglas . He teaches courses on Statistical Methods for Machine Learning and Differentiable Inference . Current work (2025) investigates systemic human disempowerment through incremental AI capabilities and sabotage risk mitigation via hyperparameter-aware evaluations.

• Computational Physics
• Machine Learning
• Applied Mathematics
• +۷ مورد دیگر

Andrew M. Stuart is a Professor at the California Institute of Technology's Division of Engineering and Applied Science. His research bridges computational mathematics, machine learning, and physical modeling, focusing on inverse problems, partial differential equations, and multiscale systems. He has pioneered methodologies integrating Gaussian processes, Kalman inversion, and neural operators for scientific computing. His recent publications highlight innovations in competitive protein dimerization networks, nonlinear Bayesian inference, and operator learning. Articles span applications in materials science, geophysics, and biochemical signal processing, emphasizing data-driven discovery of differential equations and scalable algorithms for high-dimensional problems. Stuart's work addresses challenges in structural error modeling, uncertainty quantification, and graph-based learning, with implications for climate modeling and dynamical systems. Despite extensive contributions, the scraped data does not specify students, awards, or contact details.

Benjamin Brooksمشاهده پروفایل

استاد

• Microeconomic Theory
• Mechanism Design
• Auction Theory
• +۳ مورد دیگر

Benjamin Brooks is a Professor in the Department of Economics and the College at the University of Chicago, serving as Director of Graduate Studies. He holds a Ph.D. from Princeton University (2014), an M.A. from Princeton (2010), and a B.A. in Mathematics and Quantitative Economics from Tufts University (2008). His research focuses on microeconomic theory, mechanism design, auction theory, repeated games, and computational game theory. Brooks has published extensively in top journals such as the American Economic Review, Econometrica, and the Journal of Political Economy. His work often explores informationally robust mechanisms and strategic behavior in auctions and stochastic games. Brooks has received grants from the National Science Foundation for projects on mechanism design and stochastic game algorithms. He is an Associate Editor of the American Economic Review: Insights, Theoretical Economics, and Economic Theory. His teaching spans game theory, price theory, and advanced topics in economic theory at both undergraduate and graduate levels. Brooks has also contributed to software tools like BCESolve and SGSolve for analyzing Bayesian correlated equilibria and stochastic games. Research Highlights: Contributions to auction design under incomplete information, robust mechanism design, and algorithmic solutions for stochastic games. Awards: Excellence in Refereeing Award (2017), NSF grants (2015-2025), and Fellow of the Society for the Advancement of Economic Theory (2024).

Suchi Sariaمشاهده پروفایل

دانشیار

• Machine Learning
• Computational Health Informatics
• Probabilistic Methods
• +۶ مورد دیگر

Suchi Saria is the John C. Malone Associate Professor at Johns Hopkins University , with appointments in the Whiting School of Engineering (Computer Science), the Bloomberg School of Public Health (Health Policy & Management), and the Whiting School (Applied Math & Statistics). She directs the Machine Learning and Healthcare Lab and co-founded the Bayesian Health startup. Education: PhD in Computer Science from Stanford University (advisor: Daphne Koller), NSF Computing Innovation Fellowship at Harvard (2011), prior research at UMass (Barto, Madhavan), and industry experience at Aster Data Systems (acquired by Teradata). Research Focus: Saria develops statistical machine learning tools to extract insights from heterogeneous clinical data (structured/unstructured EHRs, sensor streams). Her work enables counterfactual reasoning for personalized treatment plans, dataset shift mitigation in healthcare AI, and weak supervision frameworks for mobile health apps. Key applications include sepsis prediction , Parkinson’s symptom tracking , and critical care optimization . Article Trends: Recent publications emphasize AI safety (2024-2025), addressing racial bias , transparency frameworks , and dynamic monitoring for clinical deployments. Her work spans conformal prediction , causal modeling , and policy guidelines for health AI. Scientific Awards: Sloan Research Fellowship (2018) DARPA Young Faculty Award (2016) MIT Technology Review TR35 Innovator (2017) Popular Science Brilliant 10 (2016) IEEE Intelligent Systems AI’s 10 to Watch (2015) NSF Computing Innovation Fellowship (2011) Rambus Fellowship (2004-2010) Best Paper Awards in ML, Informatics, and Medicine venues Advising & Grants: Saria mentors PhD students/postdocs in machine learning and health informatics , including funded projects like the NSF Smart and Connected Health Grant (2014) and Google Research Award (2014). Her lab’s TREWScore system (Science Translational Medicine 2015) is deployed in hospitals, while her Bayesian Health startup commercializes AI solutions for provider experience.

• Machine Learning
• Genomics
• Gene Regulatory Networks
• +۳ مورد دیگر

Sushmita Roy is a Professor at the University of Wisconsin–Madison, affiliated with the Department of Computer Sciences and the College of Letters and Science. Her research focuses on developing computational methods in statistical machine learning to understand gene regulatory networks in living cells, particularly under environmental, developmental, disease, and evolutionary contexts. She explores bulk and single-cell genomic data integration to study processes like cell fate specification, host-microbe interactions, and diseases such as cancer and neurodevelopmental disorders. Her work emphasizes three key areas: inference of genome-scale transcriptional networks, evolutionary analysis of regulatory networks, and 3D genome organization dynamics. Roy’s lab collaborates across disciplines, leveraging genomic data from plant and mammalian systems. She has contributed to methodologies for analyzing chromatin accessibility, single-cell profiling, and network-based models of pathogen systems. Her affiliations include Wisconsin Institutes for Discovery, and she is a leader in computational biology and systems genomics research.

Joseph Eremondiمشاهده پروفایل

استادیار

• Programming Languages
• Type Theory
• Dependent Types
• +۱۲ مورد دیگر

Joseph Eremondi is an Assistant Professor in the Department of Computer Science at the University of Regina, Faculty of Science, Canada. He began his tenure in 2024 after serving as a Royal Society Newton International Fellow at the University of Edinburgh, where he conducted postdoctoral research with Ohad Kammar in the Laboratory for Foundations of Computer Science. He earned his PhD from the University of British Columbia (UBC) under the supervision of Ron Garcia at the UBC Software Practices Laboratory. His research is centered on programming languages theory, with a strong focus on type systems that enhance software reliability and usability. He is particularly known for his work in dependent types, gradual typing, and the integration of both paradigms. His research interests include: Dependent pattern matching and its semantic foundations Gradual dependent types and approximate normalization Error message generation and usability in dependently typed languages Static analysis using set constraints and SMT solvers Theoretical properties of reversal-bounded counter automata and shuffle operations His recent publications, appearing in premier venues like POPL, ICFP, and CPP, reflect a consistent trajectory toward making advanced type systems more accessible and practical. Key themes include coverage semantics for dependent pattern matching, formal models of gradual dependent typing, and improving the developer experience through better tooling and error diagnostics. Notable scientific recognitions include the NSERC Discovery Grant (awarded in 2025) and the prestigious Royal Society Newton International Fellowship. These awards underscore the impact and promise of his research program on the usability of dependently typed programming languages. Joseph is actively mentoring and recruiting graduate students, particularly in areas such as dependently typed programming (Lean, Agda, Idris, Coq), gradual typing, live programming environments, and static analysis. He emphasizes close collaboration within a small, focused research group. He has also served on program committees, including for TyDe and POPL Artifact Evaluation, demonstrating active engagement in the programming languages community. His work bridges theoretical rigor with practical implementation, evident in his artifact releases on GitHub and integration with tools like Ott and DrRacket. He maintains a personal website and open-source repositories that support reproducibility and community involvement.

• Psycholinguistics
• Discourse Pragmatics
• Perspective-Taking
• +۷ مورد دیگر

William S. Horton (Sid) is an Associate Professor in the Department of Psychology at Northwestern University , where he has taught since 2005 and directed the Cognition and Communication Lab (Cresap 108). Starting in September 2025, he will serve as Chair of the Department of Linguistics . His research focuses on socio-cognitive mechanisms in language use, particularly discourse pragmatics , perspective-taking , and non-literal language processing . Education: B.S. in Psychology/German from Duke University (1991), M.A. and Ph.D. in Cognitive Psychology from University of Chicago (1994/1999) Previous roles: Postdoctoral research at SUNY-Stony Brook, Cognitive Aging at Georgia Tech Research trends from his 20+ years of publications include common ground , memory processes , figurative language , and age-related communication changes . His work increasingly incorporates computational text analysis and real-time digital communication studies. Awards : Fellow, Society for Text and Discourse Students : Supervised Ph.D. theses on conversational alignment, common ground activation, and digital communication. Undergraduate honors projects explore inhibitory deficits, speech internalization, and perspective-taking in bilingualism. Cognition and Communication Lab investigates language processing in spoken/written contexts using experimental methods and computational models.

• Machine Learning
• Artificial Intelligence
• Data Science
• +۶ مورد دیگر

Chris J. Maddison is an Assistant Professor at the University of Toronto, holding joint appointments in the Department of Computer Science and the Department of Statistical Sciences. He is also a CIFAR AI Chair at the Vector Institute and a member of the ELLIS Society. Maddison earned his DPhil from the University of Oxford and previously worked as a Senior Research Scientist at Google DeepMind and a member at the Institute for Advanced Study. His research focuses on advancing machine learning methodologies, particularly in leveraging data’s natural structure for efficient learning, with applications in drug discovery, causal inference, and AI safety. Education: DPhil in Computer Science, University of Oxford His research interests span machine learning, AI safety, reinforcement learning, and the integration of logical reasoning into large language models. Maddison has contributed to foundational work on gradient estimation techniques and was a key member of the AlphaGo project. He actively explores how statistical structures in real-world data influence AI capabilities. Recent publications emphasize evaluating conversational agents, mitigating AI safety risks, and enhancing logical reasoning in LLMs. His work bridges theoretical advancements with practical applications, such as code generation and multi-agent systems. Awards: NeurIPS Best Paper Award (2014), Open Philanthropy AI Fellowship Maddison advises multiple PhD students and postdoctoral researchers, fostering collaborations across academia and industry. His former advisees now hold roles at institutions like OpenAI, Stanford, and Magic AI. He teaches advanced courses in machine learning and statistical methods, including CSC 2541 (Large Models) and STA 314 (Machine Learning). Maddison is affiliated with the Schwartz Reisman Institute for Technology and Society, extending his impact to societal implications of AI. His lab’s interdisciplinary approach combines algorithmic innovation with real-world problem-solving.

Harri Lähdesmäkiمشاهده پروفایل

دانشیار

• Probabilistic Machine Learning
• Deep Generative Models
• Artificial Intelligence
• +۴ مورد دیگر

Harri Lähdesmäki is an Associate Professor (tenured) at the Department of Computer Science, Aalto University, where he leads the Computational Systems Biology research group. His work focuses on probabilistic machine learning and deep generative models with applications in biomedicine and molecular biology. Key Research Interests: Probabilistic machine learning, deep generative models, computational biology, bioinformatics, longitudinal data modeling Contact: harri.lahdesmaki@aalto.fi | Konemiehentie 2, 02150 Espoo, Finland His recent publications highlight advancements in: Gaussian process priors for scalable deep generative models Single-cell analysis of immune repertoires in leukemia and diabetes Probabilistic deconvolution methods for RNA-seq data Epigenetic analysis using hidden Markov and mixed models Transformer-based survival prediction and missing data handling Harri’s work integrates mechanistic modeling with Bayesian inference, particularly applied to immunology, cancer biology, and early disease prediction.