Find Academic Supervisors

• Formal Methods
• Programming Languages
• Concurrency Theory
• +3 more

Marco Giunti is a Researcher at the University of Oxford's Department of Computer Science. His work focuses on formal methods, programming languages, and distributed systems, with a particular emphasis on session types, concurrency theory, and blockchain technology. He explores topics such as typestate systems, formal verification, and secure channel abstractions. Recent research highlights include advancements in iso-recursive multiparty sessions, blockchain consensus mechanisms (e.g., Lupin), and data-centric synchronization frameworks like AtomiS. His contributions bridge theoretical foundations with practical applications, addressing challenges in distributed systems and static analysis. Giunti's publications span technical reports and peer-reviewed articles, showcasing innovations in automated verification, type systems, and concurrency control. His work often emphasizes the intersection of formal methods and real-world distributed computing scenarios.

Brian MurphyView profile

Professor

• Early-stage drug discovery
• Obesity
• Diabetes
• +3 more

Brian Murphy, PhD, is a Professor in the Department of Pharmacology & Physiology at Drexel University College of Medicine. He serves as Pharmacology Thread Director for medical school curricula, oversees independent learning modules, and facilitates active learning sessions including simulations and case-based learning. His roles extend to teaching in graduate programs such as the Drug Discovery and Development master’s degree. Education: PhD in Pharmacology (University of Toronto), MSc in Microbiology (University of Toronto), BSc (Hons) in Microbiology (University of Toronto). Research Interests: Early-stage drug discovery targeting obesity, diabetes, and fibrosis; GPCR regulation; small molecule antagonists. His work led to BMS-986278, an LPA1 receptor antagonist progressing to Phase III trials for idiopathic pulmonary fibrosis. Awards: 2025 Golden Apple Award for Teaching Excellence; 2022 Ondetti & Cushman Award for developing BMS-986278. Advising/Grants: Former Scientific Director at Bristol Myers Squibb, leading drug discovery programs. Current focus on translating pharmacology education and clinical research. Labs/Teams: Collaborated with interdisciplinary teams at Bristol Myers Squibb and Drexel’s biomedical programs.

Scott WilsonView profile

Adjunct Professor

• Genetics
• Endocrinology
• Osteoporosis
• +4 more

Prof Scott Wilson is an Adjunct Professor at the University of Western Australia's School of Biomedical Sciences and a Senior Lecturer (Visiting) at King's College London. He heads the Department of Endocrinology & Diabetes laboratory at Sir Charles Gairdner Hospital in Perth. His research focuses on the genetic basis of complex diseases such as osteoporosis, neuropsychological disorders (e.g., autism), thyroid dysfunction, and reproductive endocrinology (e.g., polycystic ovary syndrome). Wilson has held roles including Principal Investigator at Sir Charles Gairdner Hospital and leadership positions in genomic research organizations like Gemini Genomics PLC. He has contributed to groundbreaking studies, including identifying EN1 as a bone density determinant and pioneering genome-wide association studies. Education and Training: Wilson gained early training in genetic analysis at the Garvan Institute and the University of Western Australia. His career spans over 20 years in clinical and basic scientific research. Research Interests: Wilson's work integrates genomic, epigenetic, and molecular approaches to uncover disease mechanisms. Techniques include genome-wide screening, bisulfite sequencing, and CRISPR-Cas9 editing. Key areas include osteoporosis genetics, thyroid function epigenetics, and autoimmune disease markers. Publications and Grants: Wilson has authored over 150 articles in top journals like Nature and Nature Genetics. His grants include funding from NHMRC, Stan Perron Charitable Foundation, and the Western Australian Department of Health. He leads projects on osteoporosis genetics and precision medicine for autism. Awards and Collaborations: While no explicit awards are listed, his 8 patents and leadership in global consortia (e.g., International GEFOS, UK10K) highlight his impact. Collaborators include institutions like McGill University and the Wellcome Sanger Institute. Professional Contributions: Wilson chairs sessions at international conferences and reviews for journals like Nature Genetics. He mentors over 25 past students and currently supervises 2 PhD candidates.

Barbara ConwayView profile

Professor

• Pharmaceutics
• Drug Delivery
• Antimicrobials
• +7 more

Barbara Conway is a Professor and Head of Pharmacy at the University of Huddersfield, leading the Department of Pharmacy within the School of Applied Sciences. She holds additional roles as Co-Director of the Institute of Skin Integrity and Infection Prevention and Director of the Pharmaceutics and Drug Delivery Centre. Her expertise spans pharmaceutics, drug delivery systems, antimicrobial stewardship, and wound healing innovations. She has supervised over 60 PhD students and maintains active collaborations with NHS institutions and pharmaceutical industries. Her research focuses on improving skin antisepsis, antimicrobial delivery, and solubility enhancement for poorly soluble drugs. Key achievements include patents in pharmaceutical formulations and recognition as a Fellow of the Higher Education Academy and Medici Fellow. Recent work explores nanotechnology applications in drug delivery, 3D-printed formulations, and dissolution imaging technologies. Dr. Conway has published extensively, with notable contributions in Journal of Drug Delivery Science and Technology , Pharmaceutics , and European Journal of Pharmaceutics and Biopharmaceutics . She actively participates in conferences, including roles as a keynote speaker and session chair at Wounds Week and international drug delivery symposiums. Her work aligns with UN Sustainable Development Goals, particularly addressing global health challenges through innovative pharmaceutical solutions. Professional accolades include the Platinum Award at the 2017 Atomic Force Microscope Conference and multiple patents. She advocates for interdisciplinary approaches, combining materials science, nanotechnology, and clinical pharmacy to advance healthcare outcomes.

Pierrette GaudreauView profile

Professor

• Neuroendocrinology
• Aging
• Nutrition
• +3 more

Pierrette Gaudreau is a Full Professor in the Department of Medicine at the Faculty of Medicine, Université de Montréal. She directs the Réseau québécois de recherche sur le vieillissement (RQRV) and the Laboratory of Neuroendocrinology of Aging at the CRCHUM. Her research focuses on neuroendocrinology, nutrition, and aging, particularly the mechanisms contributing to healthy aging and the role of growth hormone-releasing hormone (GHRH) receptors. She has led major cohort studies like NuAge, examining nutrition and physiological dysregulation in aging. Educations: PhD in Biological Sciences, specialization in Neuroendocrinology. Her research interests include: - Peptidergic control of appetite and somatotropic function. - Molecular mechanisms of aging and renal protection. - Longitudinal studies on nutrition and successful aging. Notable Awards: Prix Adrien-Pouliot (2016) for Franco-Québécois scientific collaboration. Member of the Canadian Academy of Health Sciences (2017). Her grants include leadership roles in the RQRV network and the NuAge cohort study, focusing on intersectoral aging research and geroscience. Collaborations span institutions like the CHUM and FRSQ-funded initiatives. She oversees multidisciplinary teams addressing aging-related challenges in endocrinology, nutrition, and geriatrics. Labs/Teams: Director, Laboratory of Neuroendocrinology of Aging; Coordinator, NuAge Study Biological Sample Bank.

• Discourse Analysis
• Gender Studies
• Applied Linguistics
• +10 more

Eva-Maria Graf is an Associate Professor at the University of Klagenfurt, affiliated with the Institute of English and American Studies. She serves as a member of the curriculum commission for Gender Studies and contributes to research and teaching in discourse analysis, gender studies, applied linguistics, and coaching research. Institute of English and American Studies, University of Klagenfurt Curriculum Commission for Gender Studies Her research focuses on the intersection of language, communication, and professional practices, particularly in coaching and psychotherapy . She investigates how discourse structures shape power dynamics, emotional management, and change processes, with a strong emphasis on gender studies and interdisciplinary collaboration . The 15 most recent publications highlight her work on questioning sequences in coaching, discourse analysis of professional helping practices, and gendered language use. Her articles span topics from particle usage in Dutch coaching to methodological frameworks for analyzing coaching interactions, reflecting her commitment to bridging linguistics, psychology, and organizational studies . While no scientific awards are explicitly listed, her extensive publication record (35,672 entries) and involvement in multiple research projects (e.g., Erasmus+ education initiatives, FWF-funded studies) underscore her academic impact. She supervises doctoral research and contributes to knowledge transfer through workshops and collaborative projects.

Andreas ZellerView profile

Professor

• Software Testing
• Automated Debugging
• Fuzzing
• +5 more

Andreas Zeller is a Professor at Saarland University and leads the Software Analysis and Testing Group at CISPA Helmholtz Center for Information Security. His research focuses on automated software testing, debugging, and security, with a strong emphasis on fuzzing techniques. He holds an ERC Advanced Grant for his 'Semantics of Software Systems' (S3) project, which explores massive test generation and oracle mechanisms. Zeller is renowned for his open-access books The Fuzzing Book and The Debugging Book , which provide interactive tools for learning and applying testing and debugging methods. His work includes developing the Fandango fuzzer, which combines grammars, constraints, and evolutionary algorithms for effective test generation. Zeller advises a group of over ten PhD students and collaborates internationally on cutting-edge research. In 2025, he received the ACM SIGSOFT Influential Educator Award for contributions to automated software engineering education. His research also extends to start-ups like InputLab GmbH, focused on synthesizing test data for enterprise applications. Recent projects include GDBMiner for input grammar extraction and Information Flow Fuzzing for detecting security leaks. Zeller actively participates in conferences like ICSE, FSE, and AST, delivering keynotes and organizing sessions on the future of software engineering.

Marino MiculanView profile

Professor

• Cybersecurity
• Formal Methods
• Distributed Systems
• +3 more

Marino Miculan is a Professor of Computer Science at the University of Udine, leading the MADS Lab and Cybersecurity Lab. His research focuses on formal methods, cybersecurity, and distributed systems, with an emphasis on verifying security in concurrent systems. He has authored over 100 publications and contributed to 16 research projects. His research interests include formal verification of security protocols, distributed computing architectures, and the application of category theory to system modeling. He has developed frameworks like Netstaldi for network discovery and tools such as DBCChecker for analyzing container compositions. Miculan’s work bridges theoretical foundations (e.g., adhesive categories, behavioral equivalences) with practical applications in IoT security, multi-factor authentication, and cloud containerization. His labs explore cutting-edge topics like continuous learning for anomaly detection and stateful access control mechanisms.

Thomas BarendsView profile

Researcher

• Structural Biology
• Biochemistry
• Microbiology
• +3 more

Dr. Thomas Barends is an Independent Group Leader at the Max Planck Institute for Medical Research in Germany. He leads the Structural Biology of Elemental Cycles research group, focusing on the biochemical mechanisms of anammox bacteria and their role in the nitrogen cycle. Education: MSc (1998) and PhD (2004) in Chemistry, University of Groningen Career: Postdoc (2005-2010), Staff Scientist (2010-2013), and Group Leader (2014-present) at Max Planck Institute His research spans structural biology, protein crystallography, and microbial biochemistry, particularly the anammox pathway. Using X-ray free-electron lasers (XFELs), he investigates protein dynamics and mechanisms of nitrogen cycle enzymes like hydrazine synthase and hydroxylamine oxidoreductase. Key publication trends include structural studies of anammox enzymes, XFEL method development, and rare earth-dependent biochemical processes. His work has elucidated the molecular basis of hydrazine synthesis and nitric oxide generation in extremophiles. He collaborates with Prof. Mike Jetten’s microbiology group at Radboud University and co-organizes sessions at the German Crystallographic Society meetings.

Paul FeehanView profile

Professor

• Nonlinear elliptic and parabolic PDE
• Geometric analysis
• Mathematical physics
• +6 more

Paul Feehan is a Distinguished Professor of Mathematics at Rutgers, The State University of New Jersey, New Brunswick, affiliated with the Department of Mathematics. He serves as the Graduate Director and leads research in nonlinear elliptic/parabolic PDEs, geometric analysis, mathematical physics, and topology, with applications to gauge theory and four-manifold topology. His office is located in the Hill Center for Mathematical Sciences (Room 708). Research Interests: Feehan's work spans differential geometry, Yang-Mills theory, harmonic maps, and geometric flows. Key themes include the analysis of moduli spaces, Morse-Bott theory, Lojasiewicz-Simon inequalities, and connections between Donaldson-Seiberg-Witten invariants. He frequently employs analytical methods to solve problems in low-dimensional topology and mathematical physics. Publications: His recent articles (2013–2024) focus on gauge theory, geometric PDEs, and singularity resolution. Common topics include Yang-Mills connections, monopole cobordisms, and applications of Morse theory to geometric analysis, reflecting a consistent emphasis on bridging analysis, geometry, and topology. Academic Leadership: Feehan co-organizes seminars including the Geometric Analysis Seminar and the Mathematical Finance/Probability/PDEs Seminar. He has co-directed conferences such as the Geometric Analysis Mini-courses and Workshop (2015–2016) and the AMS Fall Sectional Meeting Special Session (2015).

José ProençaView profile

Lecturer

• Component-based systems
• Distributed systems
• Software engineering
• +3 more

José Proença is a Lecturer and Integrated PhD Researcher at CISTER Research Centre, ISEP, Portugal. He is currently a postdoc focusing on formal models for component-based systems. Previously, he worked at HASLab (University of Minho) and Distrinet (KU Leuven), collaborating with researchers like Luís Barbosa, Danny Hughes, and Dave Clarke. His expertise includes coordination of distributed components (Reo language), software product line engineering, and embedded systems (LooCI middleware and VirtuosoNext RTOS). Education: 5-year degree in Mathematics and Computer Science from University of Minho, with an Erasmus exchange at Bristol University, UK. PhD in Computer Science from Leiden University (2011), conducted at CWI, Amsterdam, in the Foundations of Software Engineering group. Research interests span formal methods, distributed systems, embedded systems, and software engineering. He has contributed to projects like IBEX (quantitative cyber-physical programming) and MARS (toolset for real-time systems). His work emphasizes practical applications of formal models in real-time and safety-critical systems. Publications focus on coordination models, multiparty session types, and formal verification, with contributions to journals like Science of Computer Programming and conferences such as COORDINATION and FMAS. He actively collaborates on tools like CAOS (Scala framework) and ARx (reactive programming for connectors).

• Programming Languages
• Security
• Formal Methods
• +3 more

Hannah Gommerstadt is an Assistant Professor of Computer Science at Vassar College , where she has been teaching since 2019. Her office is located in Sanders Physics 305, and she can be reached at hgommerstadt@vassar.edu . Education: B.A. in Computer Science and Mathematics from Harvard University M.S. and Ph.D. in Computer Science from Carnegie Mellon University Research Interests focus on the intersection of programming languages and security, emphasizing language-based and logic-based techniques to ensure formal security guarantees. Her work explores session-typed concurrent systems, secure communication protocols, and formal verification. Recent Publications include studies on session-typed concurrent contracts and blame assignment mechanisms in higher-order session types, reflecting her commitment to advancing secure programming paradigms. Teaching includes courses like CMPU 331: Compilers, CMPU 145: Foundations of Computer Science, and CMPU 102: Data Structures and Algorithms. She integrates practical and theoretical aspects of computer science into her pedagogy.

Michael John DeckerView profile

Assistant Professor

• Software Engineering
• Source Code Analysis
• Program Comprehension
• +3 more

Michael John Decker is an Assistant Professor at Bowling Green State University specializing in software engineering research and education. He teaches courses including Software Architecture & Design, CS Capstone, and Advanced Software Engineering from his office in Hayes 242, with research deeply integrated into source code analysis and software evolution infrastructure development. His educational background includes a Ph.D. from Kent State University (2017) and a Master's degree from The University of Akron (2012), both in Computer Science. Decker's research centers on software engineering with emphasis on source code analysis, program comprehension, and software maintenance/evolution. He actively develops the srcML infrastructure for syntactic representation of source code and explores natural language processing applications for identifier analysis and documentation generation. His work bridges empirical studies of developer practices with tool development to enhance code understandability and maintenance efficiency. Analysis of his recent publications reveals consistent focus on syntactic differencing techniques, identifier semantics, and automated documentation systems. The research combines empirical validation with practical tooling, demonstrating strong trends in leveraging domain knowledge for code change comprehension and natural language integration in software artifacts. His scientific recognition includes: Most Influential Paper Award at SCAM'21 (2021) for 'Lightweight Transformation and Fact Extraction with the srcML Toolkit' Best Challenge Entry Award at DysDoc3 for 'Automatically Redocumenting Source Code' $750K NSF Grant for Syntactic Differencing Infrastructure development Decker actively secures research funding including the significant NSF grant and serves in leadership roles at major conferences (ICPC'23 Tool Track Co-Chair, ICPC'23 Session Chair). While specific student advisees aren't listed, his research involves extensive collaboration through labs and conference committees. He is a core researcher in the Software DeveloMent Laboratory (SDML) advancing srcML infrastructure and the Source Code Analysis and Natural Language Lab (SCANL) focusing on NLP applications for source code. Current projects include syntactic differencing enhancements and identifier analysis systems for improved software evolution support.

Srigokul UpadhyayulaView profile

Assistant Professor

• Optical Imaging
• Biomedical Engineering
• Data Analysis
• +3 more

Srigokul Upadhyayula is an Assistant Professor in Residence in the Department of Molecular and Cell Biology at the University of California, Berkeley. He serves as the Scientific Director of the Advanced Bioimaging Center (ABC) and is a Chan Zuckerberg Initiative Imaging Scientist. His work bridges applied engineering with basic science, focusing on developing cutting-edge imaging technologies like the Adaptive Optical Multi-functional Lattice Light-Sheet Microscope. The ABC specializes in handling tera- to petabyte-scale imaging data, integrating artificial intelligence to analyze complex datasets and advance both fundamental and translational research. Academic Role: Assistant Professor in Residence Directorships: Advanced Bioimaging Center, CZI Imaging Scientist Research interests center on optical imaging systems, high-resolution microscopy, and computational workflows for biological data analysis. Key projects include multi-scale imaging across millimeter-scale specimens and long-term imaging sessions, emphasizing the synergy between advanced microscopy and AI-driven data interpretation. Publications highlight breakthroughs in lattice light-sheet microscopy, clathrin-mediated endocytosis, and mitochondrial dynamics. His work has been featured on Science and eLife covers, underscoring contributions to cellular and developmental biology. Advising and grants involve leading interdisciplinary teams to develop imaging infrastructure and computational tools. The ABC aims to democratize access to advanced imaging through open-source workflows. Laboratory initiatives include the ABC’s global imaging initiative, combining hardware innovation with AI to solve complex biological questions.

Selinda OrrView profile

Senior Lecturer

• Immunology
• Microbiology
• Fungal Pathogenesis
• +2 more

Dr. Selinda Orr is a Senior Lecturer at the Wellcome Wolfson Institute for Experimental Medicine within Queen's University Belfast's School of Medicine, Dentistry and Biomedical Sciences. Her research focuses on fungal immunology and host-pathogen interactions, with expertise in lectin receptors and antifungal immunity. She leads active projects on fungal sensing/signalling and C-type lectin-like receptors in CNS remyelination. Dr. Orr's research investigates molecular mechanisms of fungal recognition, immune responses to Candida and Aspergillus species, and cytokine signaling pathways. Her work bridges microbiology, immunology, and clinical medicine, with recent studies examining immune deficiencies in COVID-19 patients and novel diagnostic biomarkers. She serves as session chair for international conferences and holds advisory roles in professional societies including the International Cytokine & Interferon Society. Dr. Orr accepts PhD students and contributes to public engagement through science communication initiatives.