Find Academic Supervisors

Patricia KileyView profile

Professor

• Molecular Microbiology
• Gene Expression Regulation
• Transcriptional Control
• +7 more

Patricia Kiley is a Professor and Department Chair in the Department of Biomolecular Chemistry at the University of Wisconsin–Madison, School of Medicine and Public Health. Her research focuses on transcriptional regulation in bacterial responses to oxygen, particularly in Escherichia coli . Education: B.S., University of Massachusetts, 1979 Ph.D., University of Illinois (advisor: S. Kaplan), 1987 Postdoctoral training, University of Wisconsin (advisor: W. Reznikoff), 1987–1990 Her research centers on oxygen-responsive transcription factors such as FNR and IscR, which use iron-sulfur (Fe-S) clusters to sense environmental changes and regulate gene expression. She investigates how these systems enable bacterial adaptation to anaerobic environments, including the gut, and how they contribute to virulence in pathogens. Her work combines molecular genetics, genomics, and biochemical approaches to dissect regulatory networks and stress responses. Her recent publications highlight trends in Fe-S cluster biology, transcriptional control, bacterial stress sensing, and genome engineering in non-model organisms. These works reflect her leadership in understanding global regulatory circuits in bacteria. Scientific Awards: National Institutes of Health National Service Award (1989) Shaw Scientist Award, Milwaukee Foundation (1992) NSF Young Investigator Award (1993) Vilas Associate Award (2004) Fellow, American Academy of Microbiology (2007) Fellow, American Association for the Advancement of Science (2021) Robert Turell UWMF Professorship in Biomolecular Chemistry (2022) Patricia Kiley leads a productive research group and has mentored numerous trainees. Her lab investigates fundamental mechanisms of gene regulation and their implications for microbial physiology and infectious disease. She is actively involved in academic leadership and continues to publish high-impact research.

• Cardiovascular Research
• Stem Cell Biology
• Cardiac Tissue Engineering
• +5 more

Umber Saleem is a researcher at the Institute of Experimental Pharmacology and Toxicology within the Faculty of Medicine at University Medical Center Hamburg-Eppendorf. Their work focuses on cardiac physiology, stem cell-derived cardiomyocyte models, and cardiovascular disease mechanisms. Research interests span cardiovascular research, stem cell biology, cardiac tissue engineering, and molecular pharmacology. Saleem's work leverages human induced pluripotent stem cell (hiPSC)-derived cardiomyocytes to model cardiac diseases, study drug effects, and develop engineered heart tissues for translational applications. Key areas include genetic cardiomyopathies, SARS-CoV-2 cardiac complications, calcium handling abnormalities, and drug safety screening methodologies. Analysis of publication trends reveals consistent focus on cardiac contractility mechanisms, electrophysiological properties of stem cell-derived cardiomyocytes, and validation of engineered heart tissue platforms. Research spans fundamental molecular mechanisms to applied drug screening applications, with emphasis on reproducibility and standardization across multicenter studies. Collaborative work spans numerous international institutions, with significant contributions to developing standardized protocols for hiPSC-based cardiac research and establishing engineered heart tissues as reliable platforms for drug testing and disease modeling. Current research involves advanced cardiac tissue engineering, investigation of viral cardiac damage mechanisms, and refinement of stem cell-based models for personalized medicine applications.

Anne BaanenView profile

Lecturer

• Formal Verification
• Type Theory
• Logic
• +4 more

Anne Baanen is a Lecturer in the Department of Computer Science at the Faculty of Science, Vrije Universiteit Amsterdam. They recently completed their PhD in theoretical computer science under the supervision of Jasmin Blanchette and Sander Dahmen as part of the Lean Forward project. Their current teaching responsibilities include coordinating the Logic and Modelling course and supervising projects in Computer Assisted Proofs. Their educational background includes double majors in Computing Science and Mathematics for both Bachelor's and Master's degrees at Utrecht University. During their time at Utrecht, they were active in student organizations, serving as chair of the programming committee WebCie and the LGBT+ organization TrotCie, while also contributing to the student newspaper de Vakidioot. Dr. Baanen's research operates at the intersection of computing science and mathematics, spanning intuitionistic logic, type theory, formal verification, and functional programming. Their work heavily involves the Lean theorem prover, focusing on formalizing advanced mathematical concepts like algebraic number theory, Dedekind domains, and class groups. They are particularly interested in the design of morphisms and substructures in dependent type theory, as evidenced by their presentations on bundling in type theory. Analysis of their publication record shows a consistent focus on formalizing mathematical structures using the Lean theorem prover, with particular emphasis on algebraic number theory and the design of effective type class systems. Their work bridges theoretical computer science and advanced mathematics, contributing to both the formal methods community and mathematical research. Dr. Baanen is also active in sustainable ecology, LGBT+ rights advocacy, and software freedom movements. Their teaching portfolio spans from Logical Verification to Grondslagen van de Wiskunde (Foundations of Mathematics), demonstrating both breadth and depth in computer science education. They have presented at numerous international conferences including CPP, ITP, IJCAR, and ICFP, establishing themselves as an emerging researcher in formal methods. Based in Amsterdam, they maintain an active research profile while contributing to the academic community through teaching and conference organization, including co-organizing the Formalization of Cohomology Theories workshop at BIRS in Banff, Canada.

Claudio Sacerdoti CoenView profile

Associate Professor

• Mathematical Knowledge Management
• Interactive Theorem Proving
• Logical Frameworks
• +14 more

Claudio Sacerdoti Coen is an Associate Professor in Computer Science at the Department of Computer Science and Engineering , University of Bologna. His research focuses on Mathematical Knowledge Management , Interactive Theorem Proving , and their applications to functional programming languages and markup languages like XML and MathML. He has led the DAMA project for didactic applications of theorem provers. Employment: Associate Professor (2017–present), previously Lecturer (2007–2017) Education: Ph.D. in Computer Science (University of Bologna, 2004), Master’s in Computer Science (2000) Research Interests include: Integration of XML-based Mathematical Knowledge Management with Interactive Theorem Provers (e.g., Coq, Matita) Reduction strategies in the Calculus of (Co)Inductive Constructions Formal verification of algorithms and compilers Constructive analysis and formal topology User interface design for proof assistants Publications over the last decade highlight advancements in: Efficient substitution mechanisms for lambda calculi Formalization of mathematical theorems (e.g., Lebesgue’s Dominated Convergence Theorem) Development of proof assistant frameworks (Matita kernel, ELPI interpreter) Mathematical document structuring and search engine design

Lars BirkedalView profile

Professor

• Programming Languages
• Type Theory
• Separation Logic
• +4 more

Lars Birkedal is a Professor in the Department of Computer Science at Aarhus University, Denmark. He is a leading researcher in programming languages and formal methods with extensive contributions to the field over the past decade. His work appears consistently in top-tier programming languages conferences including POPL, ICFP, and PLDI, where he has served in leadership roles such as Program Chair and committee member. Birkedal's research primarily focuses on the theoretical foundations of program verification, with significant contributions to separation logic, type theory, and formal methods for concurrent and probabilistic systems. His work bridges theoretical computer science with practical verification challenges, particularly through the development and application of the Iris framework for higher-order concurrent separation logic. He has pioneered approaches for reasoning about probabilistic programs, capability-based security, and memory models for modern architectures. Analysis of Birkedal's recent publications (2023-2025) reveals a continued focus on advancing separation logic for increasingly complex systems. His work shows a clear trajectory from foundational theoretical work toward practical verification of real-world systems like WebAssembly while maintaining rigorous formal guarantees. There's a notable emphasis on probabilistic programming, error bounds analysis, and distributed systems verification in his most recent contributions. As a faculty member at Aarhus University, Birkedal has built a strong research group focused on programming language theory and formal verification. His leadership in the programming languages community is evident through his repeated service on program committees for major conferences and his mentorship of numerous graduate students and junior researchers, though specific student names aren't listed in the available information. His research has likely been supported by significant grants from Danish and European funding agencies, given the sustained output and international collaborations evident in his publication record.

Michael HicksView profile

Professor

• Programming Languages
• Computer Security
• Quantum Computing
• +7 more

Michael Hicks is a Professor in the Department of Computer and Information Science at the University of Pennsylvania and an Amazon Scholar. Previously, he was a Professor at the University of Maryland (2002-2021) and Senior Principal Scientist at Amazon Web Services (2022-2025). He co-founded the Programming Languages research lab (PLUM) at Maryland and was its director, as well as Director of the Maryland Cybersecurity Center (MC2). He is a Fellow of the Association of Computing Machinery (ACM), former Chair of ACM SIGPLAN, and Editor-in-Chief of Proceedings of the ACM on Programming Languages (PACMPL). His research focuses on programming languages and their application to software security , quantum programming , and formal verification . He has pioneered dynamic software updating techniques, developed tools like Checked C for memory safety, and co-designed the Cedar authorization policy language at AWS. In quantum computing, he works on verified compilers like VOQC and Qunity to ensure reliability and correctness. His recent work trends include quantum programming languages , secure multi-party computation (e.g., Wysteria , Symphony ), and fuzz testing methodologies . He has contributed to formal verification for quantum programs and language-based security frameworks. Scientific Awards include: ACM Fellow He has advised numerous PhD and Master’s students , including James Parker, Andrew Ruef, Kesha Hietala, and Aseem Rastogi, who now hold academic and industry positions. His lab, PLUM , has been instrumental in advancing programming languages research.

Enrico TassiView profile

Researcher

• Interactive Theorem Proving
• Formal Verification
• Type Theory
• +5 more

Enrico Tassi is a researcher at Inria, France, affiliated with the STAMP team. His work focuses on the technology of formal proofs, particularly type theory, interactive theorem proving, and its application to formalizing mathematics. He is a key contributor to the development of tools like Coq-Elpi , Hierarchy-Builder , and the small scale reflection Coq extension. His research spans proof assistant architecture, software design, and formal verification, with a strong emphasis on free software principles. Enrico completed his Ph.D. at the University of Bologna in 2008, where he designed the Matita interactive theorem prover. He contributed to the formalization of the Odd Order Theorem and the Paral-ITP project, aiming to scale Coq for large mathematical libraries. His software projects include Elpi , a meta-language for proof assistants, and past contributions to Debian as a developer (2006–2016), focusing on integrating the Lua language into Debian systems. His publications highlight innovations in unification algorithms, tactical design, and proof structuring techniques. Articles address challenges in bi-directional type inference, pattern-based proof command focusing, and nonuniform coercion implementations. His work on small-scale reflection and Hierarchy-Builder demonstrates expertise in algebraic hierarchies and formal library management. Current efforts target enhancing OCaml-based systems through Elpi's high-level programming capabilities. Key Collaborations : Mathematical Components team (INRIA), D.A.M.A. Project Major Tools : Coq-Elpi, Hierarchy-Builder, Matita Formalization Efforts : Ordered Uniformities, Odd Order Theorem, Finite Group Theory

Bernardo ToninhoView profile

Assistant Professor

• Type Theory
• Programming Languages
• Linear Logic
• +5 more

Bernardo Toninho is an Assistant Professor at the School of Science and Technology, NOVA University of Lisbon, with a research focus on type theory and its applications to concurrent and distributed systems. He is affiliated with NOVA-LINCS and actively works on session types, linear logic, and program verification in languages like Go, Rust, and Haskell. Research interests include Type Theory, Programming Languages, Linear Logic, and Meta-programming Current teaching: Concurrent Programming Languages, Introduction to Programming (Fall 2022) Organizer of Programming Languages Mentoring Workshop (PLMW) at POPL 2019 Judge for Student Research Competition at SPLASH 2019 His work on Refinement Kinds (with Luís Caires) explores type-safe meta-programming by extending refinement types to the kind level. Articles highlight his contributions to session type theory, type systems for concurrency, and formal verification of channel-based communication. Scientific Awards Distinguished Reviewer Award (ESOP 2022) He has served on program committees for OOPSLA, ICFP, ESOP, and CONCUR, and contributed to foundational work in session types and linear logic. Projects include GOLEM (funded research) and Featherweight Go (formalization of Go's concurrency model).

• Geochemistry
• Geology
• Geophysics
• +4 more

Matthijs Smit is an Associate Professor in the Department of Earth, Ocean & Atmospheric Sciences at the University of British Columbia (Vancouver, Canada). His academic roles include teaching courses such as EOSC-328 (Field Geology), EOSC-332 (Tectonic Evolution of North America), and EOSC-544 (Geodynamics). He holds a PhD in Mineralogy from Westfälische Wilhelms-Universität (2010) and an MSc in Earth Sciences from Universiteit Utrecht (2006). His research focuses on lithosphere dynamics, including continental collision, geochronology (Lu-Hf, U-Pb, Sm-Nd), and the formation of early continental crust and mantle. His work integrates field studies, petrology, and geochemical analyses. He has advised numerous graduate students, including current PhD candidates Kira Musiyachenko and Jeroen Goumans, and MSc student Amberlee King. Notable collaborations include projects funded by CFI, BC-KDF, and NSERC. Key research areas include the Western Gneiss Complex (Norway), the Acasta Gneiss Complex (Canada), and the Pamir region. His recent studies explore Archean crust-mantle interactions, fluid-fluxed melting processes, and subduction dynamics. He maintains affiliations with institutions like the Swedish Museum of Natural History and the University of Copenhagen. Research outputs span over 50 peer-reviewed articles, with recent highlights on garnet chronology, continental collision mechanisms, and mantle metasomatism. His lab utilizes advanced facilities for mass spectrometry (MC-ICPMS, LA-ICPMS) and petrological analysis. Future work emphasizes tracing fluid pathways in subduction zones and refining geochronological techniques for ultra-high-pressure metamorphic rocks.

Mark UttingView profile

Associate Professor

• Software Verification
• Model-Based Testing
• Formal Methods
• +5 more

Associate Professor Mark Utting is affiliated with the University of Queensland (UQ), specifically within the School of Electrical Engineering and Computer Science. He holds the rank of Associate Professor and focuses on software verification, model-based testing, and programming language design. His academic journey includes roles at multiple Queensland universities, Waikato University (NZ), and the University of Franche-Comte (France). He earned his PhD from UNSW on object-oriented language semantics. Utting has authored over 80 publications and the book 'Practical Model-Based Testing: A Tools Approach.' His current research emphasizes verifying compilers, blockchain smart contracts, ARM64 binaries, and AI-generated code. Key projects include the Algorand Centre for Sustainability Informatics and the BASIL project on secure information-flow logics. His research spans formal methods, theorem proving, and software engineering. Utting leads supervision in areas like compiler verification and smart contract analysis, with active involvement in grants such as the 'Directed and Incremental Analysis for DevSecOps' project. Utting collaborates on interdisciplinary projects, including energy grid simulations and cybersecurity strategies. His work bridges academia and industry, with past experience in genomics and manufacturing software development.

• Seismology
• Seismotectonics
• Earthquake Analysis
• +7 more

Dr. Tobias Diehl is a Senior Scientist and Seismologist at the Swiss Seismological Service (SED) at ETH Zurich, leading the Seismotectonic Group since 2015. His research focuses on observational seismology, including seismic tomography, earthquake source analysis, and tectonic interpretation. He has held academic positions at ETH Zurich and international institutions, contributing to projects like the GANSSER seismic network in Bhutan and the AlpArray initiative. His work integrates advanced data analysis techniques with regional seismic monitoring to understand tectonic processes and earthquake hazards. Diehl teaches courses in crustal seismology and seismic tomography, and has authored over 50 peer-reviewed papers on topics ranging from Alpine tectonics to induced seismicity in geothermal systems.

Paul KrogmeierView profile

Research Fellow

• Programming Languages
• Logic
• Program Synthesis
• +7 more

Paul Krogmeier is a postdoctoral fellow at Harvard University's School of Engineering and Applied Sciences (SEAS), advised by Nada Amin and Walter Fontana. His research bridges programming languages, logic, and program synthesis with applications in interpretable machine learning and computational universality. Starting Fall 2026, he will join the University of Colorado Boulder as an assistant professor in computer science. His educational background includes a PhD from the University of Illinois under Madhusudan Parthasarathy. Dr. Krogmeier investigates computational universality under errors, formal expressivity of neural networks, and symbolic language emergence. His work connects evolutionary processes with learning mechanisms and rigorously characterizes creativity through computational models. Ongoing projects focus on DSL synthesis for few-shot learning and developing frameworks where symbolic language emerges from computational processes. His publication record shows consistent contributions to programming languages theory (OOPSLA, POPL) with increasing integration of machine learning techniques. Key themes include program synthesis, logic-based learning, and formal analysis of neural architectures, demonstrating interdisciplinary rigor across theoretical computer science and AI. His scientific achievements include: Distinguished Paper Award at OOPSLA 2023 Distinguished Paper Award at POPL 2022 While currently not advising students as a postdoc, he will establish an advising program at CU Boulder. His research is supported by institutional resources at Harvard SEAS with potential future funding from NSF and computing industry partnerships. At Harvard, he collaborates within Nada Amin and Walter Fontana's research group, which explores foundational programming language concepts applied to machine learning systems and biological computation models.

• Cognitive and Affective Neuroscience
• Clinical Psychology
• Psychotherapy
• +4 more

Richard Zinbarg is a Professor in the Department of Psychology at Northwestern University. His research focuses on identifying personality traits as vulnerability factors for anxiety and depressive disorders, examining cognitive and affective processes mediating these associations, and developing interventions through cognitive-behavior therapy, mindfulness approaches, and prevention strategies. He also contributes to the structural understanding of anxiety and related affects, alongside advancements in psychometric theory. Selected Research Trends : His recent publications emphasize hierarchical models of neuroticism, tri-level frameworks for depression-anxiety comorbidity, and methodological refinements in statistical analysis. Earlier work explores cognitive biases in social anxiety and reliability issues in psychological measurement. Academic Contributions : While specific awards are unlisted, his work spans clinical psychology, psychometric methodology, and therapeutic interventions. Notable collaborations include researchers like Susan Mineka, Michelle Craske, and Richard McDonald.

• Formal Methods
• Program Extraction
• Interactive Theorem Proving
• +6 more

Monika Seisenberger is an Associate Professor at the Department of Computer Science , Swansea University, within the Faculty of Science and Engineering . Her academic role is centered on Formal Methods , Interactive Theorem Proving , and Specification & Verification , with significant contributions to logic, proof theory, and well-quasiorders. Research Interests : Her work bridges Computer Science and Mathematics , focusing on Program extraction from proofs Formal verification of safety-critical systems Applications of AI in medical and railway domains Computational content of choice principles Development of concurrent algorithms and toolchains Article Trends : Her publications over the past decade highlight a consistent focus on formal methods applied to railway logistics , AI explainability in healthcare, and constructive mathematics . Notable themes include Counterfactual explanation generation Multi-agent optimization in transportation Temporal model analysis via gradients Railway system safety verification Verification of geographic data Computational logic foundations Supervision & Collaboration : She actively supervises postgraduate research in areas like formal software verification , AI-driven railway technologies , and SHAP refinement , often collaborating with experts in Markus Roggenbach , Anton Setzer , and Fabio Caraffini . Labs & Teams : Based at the Computational Foundry (Bay Campus), she contributes to Swansea University's Formal Methods research group, advancing tools for proof theory and program synthesis .

• Translational Cancer Research
• Clinical Immunology
• Colorectal Cancer
• +7 more

Dr Said Khelwatty is a Senior Lecturer in Clinical Immunology at Kingston University, affiliated with the Department of Biomolecular Sciences within the School of Life Sciences, Pharmacy and Chemistry. He has been a faculty member since 2018, teaching across various bioscience programs including Biomedical Science, Biological Sciences, and Cancer Biology. Education: BSc (Hons) Biomedical Sciences, 2008 MSc Biomedical Sciences (specializing in Haematology), 2009 PhD in Cancer Biology and Therapeutics, 2012 Dr Khelwatty's research is centered on translational cancer research, with a strong focus on colorectal cancer. His work explores the biological and clinical significance of growth factor receptors with tyrosine kinase activity, particularly the HER family and EGFRvIII, as well as cancer stem cell biomarkers like CD44 and CD133. He investigates their roles in tumor progression, therapy resistance, and prognosis across various cancers including colorectal, pancreatic, ovarian, and hepatocellular carcinomas. His recent publications reveal a consistent trend in identifying predictive biomarkers for targeted therapies, understanding receptor co-expression patterns, and evaluating synergistic drug combinations to overcome resistance. His studies frequently employ immunohistochemistry and cell line models to assess therapeutic responses and signaling dynamics. Scientific Awards and Fellowships: Fellow of the Institute of Biomedical Science (FIBMS), 2015 Fellow of Advance Higher Education (FHEA), 2020 Dr Khelwatty has been actively involved in externally funded research, including projects supported by the BRIGHT charity. He leads and contributes to research initiatives focused on monoclonal antibody development and the clinical application of biomarkers. He supervises MSc research projects and teaches critical modules such as LS7001 (Research Techniques & Scientific Communication) and LS7010 (MSc Research Project). He is a member of the British Association for Cancer Research and the American Association for Cancer Research, contributing to collaborative efforts in cancer therapeutics. His work is conducted within a multidisciplinary research team focused on cancer biology and therapeutics, though no specific lab name is mentioned. Future research directions likely include refining diagnostic tools using monoclonal antibodies and advancing personalized treatment strategies based on receptor expression profiles.