Find Academic Supervisors

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 .

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +4 more

Prof. Dr. Cemal Ulutaş is a faculty member at Hakkari University , affiliated with the Faculty of Education in the Department of Mathematics and Science Education . He also holds administrative and advisory roles across multiple institutions: Dean of the Faculty of Education Board Member at Faculty of Engineering and Faculty of Fine Arts Coordinator at Education and Training Coordination Office Chairman of the Academic Evaluation and Quality Improvement Board Advisory Board Member at Career Development Application and Research Center His research focuses on materials science with an emphasis on thin film technology , particularly metal sulfides and oxides . He investigates structural, electrical, optical, and physical properties of films like γ-MnS, CuS, SnS, and Mn 3 O 4 , using methods such as chemical bath deposition and post-deposition annealing . Current projects examine the impact of variables like molar concentration, bath temperature, and substrate choice on thin film behavior. Recent publications (2010–2023) highlight systematic studies on metal chalcogenide thin films , including concentration gradients, substrate interactions, and thermal stability. Experimental techniques span X-ray diffraction , UV-Vis spectroscopy , and electrical resistivity measurements . Notably, his work bridges fundamental material science with applied engineering challenges, such as optimizing evaporative cooling systems in a 2010 study. As a thesis advisor, he has guided 2 graduate students . His academic contributions are documented in Google Scholar (10 citations, H-Index 620), Scopus (24 publications, H-Index 480), and Web of Science (15 citations, H-Index 9).

• Materials Science
• Thin Film Technology
• Optical Properties of Materials
• +3 more

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.

• Programming Languages
• Networking
• Databases
• +5 more

Peter Selinger is a Professor in the Department of Mathematics and Statistics at Dalhousie University , with a cross-appointment in Computer Science. He specializes in mathematical methods in computer science, particularly quantum computing and combinatorial game theory . His work on quantum programming languages like Quipper and foundational research in category theory has garnered international recognition. Education : Ph.D. in Mathematics (University of Pennsylvania, 1997), undergraduate studies in Mathematics (Technische Universität Darmstadt). Research Interests span quantum computing, category theory, and combinatorial game theory. He has pioneered formalisms for quantum programming languages, developed categorical models for quantum mechanics, and analyzed game-theoretic structures in games like Hex. His recent work includes linear dependent type theory , quantum circuit synthesis , and combinatorial game classification . Publications demonstrate expertise in quantum programming languages, categorical semantics, and game theory. Key trends include Hamiltonian simulation , Clifford+T circuits , and monotone game realization . Scientific Honors include the Killam Professorship (2017–2022), Faculty of Science Award for Excellence in Teaching (2023), and fellowships from the Alfred P. Sloan Foundation and German National Scholarship Foundation . Students he has supervised include PhD graduates Xiaoning Bian , Francisco Rios , and Neil J. Ross , along with MSc students like Fahimeh Bayeh and Seth Greylyn . He has advised 16 postdoctoral researchers.

• Quantum Computing
• Category Theory
• Mathematical Logic
• +4 more

Dr. Steven G. Clarke is a Distinguished Professor at UCLA Department of Chemistry & Biochemistry and director of research at the Molecular Biology Institute . His work bridges protein chemistry , methylation biology , and aging research through studies of spontaneous protein damage and its repair mechanisms. Education: BA in Chemistry and Zoology, Pomona College (magna cum laude, Phi Beta Kappa) PhD in Biochemistry and Molecular Biology, Harvard University (NSF Fellow) Postdoctoral Fellowship at UC Berkeley (Miller Fellow) Dr. Clarke's research focuses on protein isoaspartyl repair via PCMT1/PIMT enzymes , ribosomal protein methylation in Saccharomyces cerevisiae , and PRMT family characterization including PRMT7 and PRMT9. His lab combines biochemical assays , genetic models , and structural analysis to investigate aging mechanisms and disease implications. Recent publications highlight: COQ5 structure-function analysis in coenzyme Q biosynthesis PCMTD1 ubiquitin ligase interactions PRMT7 substrate specificity in histone H2B Protein isoaspartyl impacts on T cell function in lupus Novel PRMT inhibitors for cancer therapy Methionine addiction in osteosarcoma malignancy Major scientific awards: American Chemical Society Ralph F. Hirschmann Award in Peptide Chemistry NIH MERIT Award Ellison Medical Foundation Senior Scholar Award William C. Rose Award, ASBMB UCLA Distinguished Teaching Award (Eby Award winner) Current lab members include PhD candidates Eric Pang (UCSB) and Sining "Cindy" Wang (UCLA), while undergraduates Celeste Medina-Seymoure , Elizabeth Oroudjeva , Olivia Pacheco , and Jasmine Winter contribute to ongoing proteostasis studies. Collaborations with Profs. Jose Rodriguez and Catherine Clarke demonstrate interdisciplinary research approaches.

• Biochemistry
• Systems Biology
• Biological Regulation
• +8 more

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.

• Programming Languages
• Type Theory
• Dependent Types
• +12 more

Björn Pasternak is a Research Professor leading the Pharmacoepidemiology group at the Department of Medicine, Solna, Karolinska Institutet. His team specializes in large-scale registry studies focused on adverse drug effects, with research programs in pediatric pharmacoepidemiology, safety of diabetes medications, and rapid assessment of drug safety concerns. The group leverages high-quality epidemiological methods to inform evidence-based clinical decisions. Pasternak's research interests span pharmacoepidemiology, drug safety, diabetes outcomes, cardiovascular risk, and perinatal health. His work utilizes nationwide registries to evaluate real-world drug effects, socioeconomic disparities in treatment, and long-term outcomes of chronic therapies. Key focuses include GLP-1 receptor agonists, SGLT2 inhibitors, antibiotic use in pregnancy, and opioid safety. Recent publications demonstrate strong emphasis on Scandinavian cohort studies of diabetes medications (GLP-1 agonists, SGLT2 inhibitors) and their associations with thyroid cancer, liver events, intestinal obstruction, and cardiovascular/renal outcomes. Other trends include perinatal pharmacovigilance (antibiotics, acid-suppressive drugs) and neurodegenerative risks in athletes.

• Pharmacoepidemiology
• Drug Safety
• Diabetes Mellitus
• +3 more

Manuel R. Amieva is a Professor at Stanford University School of Medicine , holding joint appointments in Pediatrics - Infectious Diseases and Microbiology & Immunology . He is also a member of the Maternal & Child Health Research Institute (MCHRI) . His clinical practice at Stanford Medicine Children's Health focuses on pediatric infectious diseases. Education: Medical Education: Stanford University School of Medicine (1997) Fellowship: Stanford University Pediatric Infectious Disease Fellowship (2004) Internship & Residency: Stanford Health Care at Lucile Packard Children's Hospital (1998-1999) Dr. Amieva's research investigates host-pathogen interactions at epithelial barriers, with specific expertise in Helicobacter pylori , Listeria monocytogenes , Salmonella enterica , and Staphylococcus aureus . His lab develops innovative organoid culture systems with controlled polarity to study microbial colonization and oncogenic mechanisms. Key discoveries include: H. pylori's manipulation of epithelial junctions via the CagA protein Listeria's exploitation of cell extrusion sites for invasion Staphylococcus toxin interactions with adherens junctions Gastric stem cell activation by pathogens Recent publication trends show continued leadership in infectious disease mechanisms (2020-2025), with a focus on: Pathogen-specific epithelial breach strategies Organoid modeling of viral/bacterial interactions Redox-dependent host factor regulation Single-cell spatial transcriptomic analyses Multi-institutional educational frameworks His scientific collaborations span disciplines including: Gastric cancer genomics initiatives COVID-19 lung infection models Stem cell-microbe interactions Medical education reform projects Dr. Amieva maintains active clinical research while mentoring students in both the Microbiology & Immunology and Pediatrics programs. His lab at Stanford employs advanced 3D confocal microscopy and organ-on-a-chip technologies to visualize epithelial colonization dynamics.

• Microbiology
• Infectious Diseases
• Cell Biology
• +7 more

Assia Mahboubi is a tenured researcher ( directrice de recherche ) at INRIA in the Gallinette team, Nantes, France, and an endowed professor in the Algebra and Number Theory section of the Vrije Universiteit Amsterdam, Netherlands. Her work bridges theoretical computer science and formal mathematics, with significant contributions to proof assistants and formal verification. Her research focuses on the foundations and formalization of mathematics in type theory, particularly on the automated verification of mathematical proofs. She explores the interplay between computer algebra and formal proofs, and is a key contributor to the Rocq prover (formerly Coq) and the Mathematical Components libraries. Her work often examines how familiar mathematical objects can be optimally represented for computer-aided proof checking. Recent publications show a strong trend toward categorical reasoning, diagram chasing, and continuity properties in constructive type theory, with increasing focus on practical applications of formal methods in computational mathematics. Her work demonstrates the maturation of formal verification techniques from theoretical foundations to practical tools for mathematical research. ERC Consolidator grant for the FRESCO (Fast and Reliable Symbolic Computation) project Mahboubi actively supervises doctoral students including Vojtěch Štěpančík, Tomás Vallejos Parada, and Alain Chavarri Villarello. She has received significant research funding through her ERC Consolidator grant for the FRESCO project, which aims to develop fast and reliable symbolic computation techniques. She is deeply involved in the international research community, serving on program committees for major conferences including POPL, CPP, and ICFP. She leads research in the Gallinette team at INRIA, which focuses on the intersection of proof assistants, programming languages, and formal mathematics. Her work has helped establish formal verification as a practical tool for mathematical research, moving beyond theoretical foundations to real applications in computational mathematics.

• Type Theory
• Formal Verification
• Computer-Aided Mathematics
• +3 more

Prof. Waldemar Kolanus leads the Molecular Immunology and Cell Biology department at the University of Bonn's Life & Medical Sciences Institute (LIMES) . His research bridges immunoregulation , stem cell dynamics , and metabolic stress responses in immune cells. Unit 2 member at LIMES Principal investigator in SFB 704 and ImmunoSensation Cluster Leads a multidisciplinary lab with postdocs, PhD students, and technical staff His work focuses on intracellular signaling pathways connecting immune activation to tissue homeostasis, particularly through: Cytohesin proteins in integrin-mediated adhesion and migration TRIM71 in stem cell regulation and congenital hydrocephalus High-salt environments affecting macrophage function Publication trends show expertise in immune cell migration , genetic models , and chemical inhibition , with frequent use of mice and zebrafish for in vivo studies. Key articles explore: TRIM71's dual role in auditory development and germ cell maintenance Cytohesin family's Golgi regulation and insulin signaling Ruxolitinib's off-target migration inhibition of dendritic cells Contact details: Address: LIMES Institute, Carl-Troll-Straße 31, Bonn Email: kolanus.sekretariat@uni-bonn.de Phone: +49 228 73-62788

• Molecular Immunology
• Cell Signaling
• Signal Transduction Pathways
• +4 more

Gordon Plotkin is a Professor at the School of Informatics, University of Edinburgh, where he is affiliated with the Laboratory for Foundations of Computer Science (LFCS). His research lies at the intersection of theoretical computer science and programming language semantics, with a profound influence on the formal understanding of computation. His research interests include Programming Language Theory, Semantics of Programming Languages, Domain Theory, Operational Semantics, Lambda Calculus, Type Theory, Concurrency Theory, and Algebraic Effects. His seminal work on structural operational semantics and domain theory has laid the foundation for modern semantics of programming languages. His publications span over five decades, showing a sustained and evolving research trajectory from foundational work in lambda calculus and domain theory to recent contributions in algebraic effects, probabilistic computation, and biochemical systems modeling. The articles demonstrate a consistent focus on formal methods, mathematical rigor, and the algebraic structure of computational effects. He has collaborated with leading researchers including Martín Abadi, John Power, Glynn Winskel, and John Reynolds. His work continues to influence both theoretical and practical developments in programming languages and systems. Gordon Plotkin has made foundational contributions to computer science, particularly through his development of structural operational semantics and domain-theoretic models of computation. He has advised numerous researchers and supervised many influential PhD theses, though specific student names are not listed in the provided text. His work has been supported by long-standing affiliations with the Laboratory for Foundations of Computer Science and the University of Edinburgh, and he has contributed to major collaborative projects in programming language design and verification. He is associated with several research groups and labs, most notably the Laboratory for Foundations of Computer Science (LFCS), which serves as a hub for theoretical research in programming languages, semantics, and logic at the University of Edinburgh.

• Programming Language Theory
• Semantics of Programming Languages
• Domain Theory
• +7 more

Ethan Poole is an Assistant Professor in the Department of Linguistics at the University of California, Los Angeles (UCLA). His research focuses on syntax, the syntax-semantics interface, and morphological case, particularly in Finnish. Key areas include reconstruction effects, quirky subjects, and cross-clausal dependencies, with recent work on the Williams Cycle and Hindi-Urdu binding. His research interests span syntactic movement interpretation, morphological case (especially Finnish), and quirky subjects. He explores topics like embedding, intervention effects in tough-constructions, and NPI grammaticality illusions. Collaborative work includes studies on Hindi-Urdu scrambling and tough-constructions. His articles analyze reconstruction effects, trace semantics, and syntactic phases, reflecting a focus on formal syntax and interface constraints. Notable themes include case assignment mechanisms and the theoretical implications of syntactic movement for semantic interpretation. No specific scientific awards or grants are listed in the provided information. He advises no students in the given data. His work contributes to foundational questions in syntactic theory and cross-linguistic variation.

• Syntax
• Semantics
• Syntax-Semantics Interface
• +3 more

Jianqi Liu is a Hans Rademacher Research Fellow in the Department of Mathematics at the University of Pennsylvania, affiliated with the School of Arts and Sciences. His research focuses on vertex operator algebras (VOAs) and 2D conformal field theory (CFT), with an emphasis on algebraic structures such as fusion rules, Zhu’s algebras, Borel-type subalgebras, and connections to the classical Yang-Baxter equation. He also explores geometric aspects of VOAs and their physical interpretations. He earned his Ph.D. in Mathematics from the University of California, Santa Cruz (2018–2023), under the supervision of Chongying Dong. Prior to his current role, he held teaching roles at both UPenn and UCSC, instructing courses ranging from advanced linear algebra to complex analysis and number theory. His research publications address topics such as twisted conformal blocks, Rota-Baxter operators, and the interplay between algebraic structures and integrable systems. Liu collaborates with researchers like Angela Gibney and Daniel Krashen, focusing on advancing theoretical frameworks in mathematical physics and algebraic geometry.

• Vertex Operator Algebras
• Conformal Field Theory
• Mathematical Physics
• +3 more

Joel Weadge is an Associate Professor in the Biology Department at Wilfrid Laurier University , Waterloo, Ontario. His research focuses on bacterial biofilms, glycobiology, and protein structure-function relationships. Contact: jweadge@wlu.ca , Office: BA425 (Bricker Academic). Education: PhD in Microbiology (University of Guelph, 2006) BSc (Hons) in Microbiology (University of Guelph, 2000) Research Interests center on bacterial biofilms as virulence factors in pathogens like E. coli and Salmonella . Key areas include: Structural and functional characterization of biofilm proteins (cellulose, curli fimbriae) Enzymology of carbohydrate modifications (acetylation, phosphoethanolamine transfer) Developing therapeutics targeting biofilm synthesis Biopolymer applications for medical/industrial use Publications highlight studies on Pseudomonas and Salmonella biofilm mechanisms, glycosyltransferases, and carbohydrate-active enzymes, with methodologies spanning X-ray crystallography to high-throughput biofilm profiling. Labs and Teams: The Weadge Lab investigates biofilm roles in food/water security and oral health, utilizing enzymology, mass spectrometry, and structural biology. Current members include graduate students, technicians, and research assistants.

• Bacterial Biofilms
• Bacterial Carbohydrates
• Protein Structure and Function
• +7 more

Colin J Akerman is Professor of Neuroscience and Group Leader in the Department of Pharmacology at the University of Oxford, concurrently serving as Corange Fellow and Medical Tutor at Corpus Christi College. His research investigates fundamental mechanisms of synaptic circuit formation and plasticity, with direct implications for epilepsy, dementia, and schizophrenia through multidisciplinary approaches integrating electrophysiology, optical imaging, and computational modeling. His primary research interests encompass Synaptic Plasticity, Neural Circuit Formation, and Excitatory-Inhibitory Balance, with specific focus on neuronal progenitor influences on connectivity, chloride dynamics in inhibitory transmission, and learning mechanisms in disease contexts. The lab employs custom-built equipment and molecular tools to probe synaptic function across in vivo , in vitro , and in silico platforms, emphasizing how activity-dependent processes shape neural networks during development and disease. Recent publications (2023-2025) reveal strong thematic convergence on intracellular chloride regulation in sleep-wake cycles, cortical circuit assembly from embryonic progenitors, and innovative optical tools for neural monitoring. This work bridges molecular neuroscience with systems-level understanding of synaptic plasticity, particularly regarding ionic mechanisms in epilepsy and sleep homeostasis. No scientific awards or fellowships are explicitly documented in the source materials. Professor Akerman currently mentors four PhD students (Vourvoukelis, Selfe, Wang, Gemayel) and multiple postdoctoral researchers, having previously trained scientists now leading independent groups in Toronto, Edinburgh, Cape Town, Oxford, and London. His research is funded by the European Research Council, Innovative Medicines Initiative, and Wellcome Trust, supporting investigations into synaptic mechanisms underlying neurological disorders. The Akerman Group, established in 2008, operates as an integrative neuroscience hub within Oxford's Pharmacology Department. The 10-member team combines expertise in patch-clamp electrophysiology, optogenetics, multiphoton imaging, and computational modeling, with current projects spanning neuronal progenitor biology, inhibitory synaptic plasticity, and learning rule implementation in neural networks. The lab emphasizes technical innovation, regularly developing custom instrumentation and molecular tools for neural observation and manipulation.

• Neuroscience
• Synaptic Plasticity
• Neural Circuit Formation
• +4 more