Dr. Mahesh Tripunitara is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, serving as Associate Chair for Undergraduate Studies. He holds a PhD (2005) and Master's (1995) in Computer Science from Purdue University, along with a BSc (1993) in Computer Science from Dalhousie University. His research focuses on information security, authorization mechanisms, cryptographic key management, and hardware security, with industry experience at Motorola's R&D labs and Silicon Valley. His work spans theoretical advancements like access control policy analysis and practical applications such as secure payments systems and IoT device reliability. Notable awards include the Best Student Paper at Usenix Security 2013 and Best Paper at ACM SACMAT 2013. He actively serves on program committees for major security conferences including CCS, CODASPY, and SACMAT. Recent publications highlight innovations in cellular security (SUCI-Catchers defense), role-mining optimization, and blockchain smart contract auditing. Teaching includes advanced algorithm design courses (ECE 406/606) and digital computation (BME 121). His research emphasizes balancing security rigor with usability in authorization systems and hardware protection mechanisms.
Steve Awodey is a Professor of Philosophy and Mathematics at Carnegie Mellon University, affiliated with the Dietrich College of Humanities and Social Sciences and the Department of Philosophy. His research bridges Category Theory, Homotopy Type Theory, and Algebraic Set Theory, with significant contributions to constructive mathematics and the philosophy of type theory. PhD in Mathematics, University of Chicago (1997), dissertation: Logic in Topoi: Functorial Semantics for Higher-Order Logic Awodey's work focuses on the intersection of categorical logic, homotopy theory, and constructive mathematics. He co-founded the Univalent Foundations Program at the Institute for Advanced Study and leads the Hoskinson Center for Formal Mathematics at CMU. His recent publications explore algebraic models of type theory, cubical set models, and higher categorical structures. His research output spans formal verification, proof-theoretic semantics, and topos-theoretic interpretations of modal logic. The 15 most recent articles emphasize Homotopy Type Theory (HoTT), polynomial functors, and applications of algebraic geometry to intuitionistic logic. Trends include univalent foundations, higher inductive types, and model category-theoretic approaches. Scientific Awards: The Dean's Chair in Logic, Carnegie Mellon University Participant Support Grant for Homotopy Type Theory Conferences NSF Grant for Homotopy Type Theory Research Advising and Grants: Awodey has advised numerous PhD students across philosophy, mathematics, and computer science on topics like Martin-Löf complexes, polynomial pseudomonads, and synthetic homotopy theory. He has secured multiple NSF grants for HoTT research and conference support, with affiliations to the Institute for Advanced Study and nLab collaborative projects. Labs and Teams: He leads the Hoskinson Center for Formal Mathematics and collaborates with the Laboratory for Symbolic and Educational Computing at CMU. His work engages international research groups in categorical logic and higher category theory.
Sudin Bhattacharya is an Associate Professor at the BioMolecular Science Gateway, Michigan State University, with affiliations in the Genetics & Genome Sciences Program and Cell & Molecular Biology Program. His research bridges computational biology and toxicology to understand complex biological systems. Email: sbhattac@msu.edu Research Interests Dr. Bhattacharya specializes in systems toxicology, focusing on computational modeling of gene regulatory networks, single-cell transcriptomics, and molecular dynamics in response to environmental toxicants. His work examines how chemical exposures disrupt cellular pathways and contribute to disease mechanisms. Article Trends His recent publications emphasize: Single-cell and single-nucleus RNA sequencing for toxicological profiling Computational models of circadian rhythms and intercellular communication Dose-dependent responses to environmental chemicals like TCDD and heavy metals Mechanistic studies of adipose tissue remodeling and hypertension Applications of machine learning in chemical risk assessment Integrative approaches to liver metabolism and disease modeling Scientific Contributions Dr. Bhattacharya has pioneered multiscale modeling of biological systems, particularly in hepatic and vascular contexts. His work on the aryl hydrocarbon receptor and PPARα signaling networks has advanced predictive toxicology frameworks.
Danfeng Zhang is a faculty member at Duke University whose research sits at the intersection of programming languages and security. Active across the premier PL conferences since 2015, Zhang has served on more than two-dozen program committees and currently co-chairs the POPL Student Research Competition. Education & Affiliation: Home page: users.cs.duke.edu/~dz132 Affiliation: Duke University, United States Research Interests: Zhang’s work spans programming-language design, static and dynamic analysis, formal verification, and security. A recurring theme is developing language-based techniques that guarantee strong security and privacy properties—ranging from side-channel resistance and constant-time execution to differential-privacy proofs—while preserving performance and usability. His recent projects combine type systems, program logics, and automated reasoning to build practical verification tools for concurrent, speculative, and approximate software. Publication Trends: Across nine representative papers (2015-2024) Zhang has advanced static detection of cache side channels, automated proofs of differential privacy, and relaxed concurrency models. The trajectory shows deepening integration of security concerns into language infrastructure, with tool-building (CtChecker, SpecSafe, LightDP) that bridge formal guarantees and real-world systems. Service & Leadership: 2024 POPL Student Research Competition Co-Chair 2025 POPL Program Committee member Repeated reviewer/PC member: PLDI, SPLASH/OOPSLA, ISSTA, ECOOP, APLAS, PriSC, PASS Zhang regularly mentors student researchers through SRC sessions and workshop panels, fostering diversity and early-career participation in the programming-languages community.
Dimitris Mitropoulos is an Assistant Professor at the National and Kapodistrian University of Athens (NKUA) in the Department of Business Administration, where he teaches courses on Distributed Ledger Technologies, Data Security and Privacy, Algorithms and Business Analytics, and Introduction to Programming. He also serves as Head of the Reliability Engineering Directorate at the National Infrastructures for Research and Technology (GRNET), Greece's national research and education network organization. Previously, he was a Postdoctoral Researcher in the Computer Science Department at Columbia University. Dr. Mitropoulos received his Ph.D. degree in Secure Software Development Technologies from the Athens University of Economics and Business (AUEB) in 2014. His doctoral research was supported by the Heracleitus II Scholarship, co-financed by the European Union and Greek national funds. He is a member of prestigious professional organizations including ACM, IEEE, and USENIX. Dr. Mitropoulos conducts pioneering research at the intersection of software engineering and cybersecurity, with particular expertise in secure software development, vulnerability analysis, and blockchain security. His work spans multiple dimensions of software security including code injection attacks, infrastructure as code security, smart contract analysis, and dependency management in software ecosystems. His research methodology combines static and dynamic analysis techniques with empirical studies of real-world software systems, particularly focusing on Java, Python, and Solidity ecosystems. His recent work has made significant contributions to understanding security vulnerabilities in modern software development practices and infrastructure management. Dr. Mitropoulos has received numerous prestigious awards for his research contributions, including the Research Excellence Award from NKUA (2025), Distinguished Paper and Artifact Awards at PLDI '22, Best Data Showcase Award at MSR 2018, and multiple postdoctoral research funding scholarships. His work on "Finding typing compiler bugs" was recognized with both Distinguished Paper and Artifact Awards at PLDI '22, highlighting the significance and reproducibility of his research. He has also received recognition for his service to the academic community, including a Certificate of Appreciation from ESEC/FSE '21 for his contributions to conference organization. Dr. Mitropoulos has been actively involved in securing research funding and leading significant research projects. He currently serves as Principal Investigator for the SecOPERA project (2023-Today), funded by the European Commission under Horizon Europe. Previously, he contributed to several major EU and US-funded projects including eSSIF-Lab (2019-2022), FASTEN (2019-2022), PRIViLEDGE (2018-2021), CERTCOOP (2017-2020), PANORAMIX (2016-2019), and TREDISEC (2016-2018). His research has been supported by diverse funding sources including the European Commission's Horizon 2020 program, the National Science Foundation, and the Defense Advanced Research Projects Agency (DARPA). Dr. Mitropoulos plays an active role in the international research community through various leadership positions. He serves on program committees for top-tier conferences including OOPSLA (2026), ICSE (2026), ESEC/FSE (2025), and ISSTA (2025). He has previously served as Workshop Co-Chair for ISSTA 2025 and Student Volunteer Chair for ESEC/FSE 2021. His contributions to mentoring the next generation of researchers include serving as a mentor for the ICSE Student Mentoring Workshop (2022) and supervising Google Summer of Code projects (2017).
Danel Ahman is an Associate Professor at the Institute of Computer Science , University of Tartu , Estonia, specializing in programming language theory . His research focuses on dependent/refinement types , computational effects , and verified software . Education PhD in Theoretical Computer Science (University of Edinburgh, 2017) MPhil in Advanced Computer Science (University of Cambridge, 2012) BSc in Informatics (Tallinn University of Technology, 2010) Research Interests : Danel investigates programming languages with algebraic effects and effect handlers for verified software, exploring denotational/operational semantics and fibrational approaches to effects. His work bridges theoretical computer science with practical formal verification. Scientific Awards : Estonian Research Council grant (2025) Marie Skłodowska-Curie Fellowship (2019) PhD dissertation prize (2018) Google/Citrix dissertation awards (2012) Teaching & Supervision : He teaches courses like Logic in Computer Science and Functional Programming at the University of Tartu, and supervised BSc/MSc theses on topics including asynchronous effects and formal verification. Danel also organizes research seminars and guest lectures on F*.
Dr. Nika Danial is an Associate Professor of Cell Biology at Harvard Medical School and the Department of Cancer Biology at Dana-Farber Cancer Institute. She leads the Danial Lab, investigating metabolic mechanisms that regulate cellular adaptation to stress, with a focus on fuel utilization in health and disease. Dr. Danial holds additional roles as Co-Director of the NCI-funded T32 Training Program in Cancer Chemical Biology and Metabolism. Her research integrates biochemistry, mouse models, and metabolomics to study metabolic contributions to cancer, diabetes, and neurological disorders. Education: PhD from Columbia University (1999), postdoctoral training at Harvard Medical School and Dana-Farber under Dr. Stanley Korsmeyer. Key research areas include mitochondrial dynamics, glucose metabolism pathways, and the interplay between inflammation and metabolic signaling. The lab has pioneered studies on how metabolic flexibility impacts disease progression in pancreatic islets, lymphoma subtypes, and neuronal excitability. Publications highlight discoveries in mitochondrial fatty acid oxidation regulation, urea cycle anti-inflammatory mechanisms, and metabolic signatures in cancer subtypes. Her work has implications for developing therapies targeting metabolic vulnerabilities in diseases like diffuse large B-cell lymphoma and type 1 diabetes. The Danial Lab emphasizes rigorous training for the next generation of scientists through mentorship programs and interdisciplinary collaboration.
Talia Ringer is an Assistant Professor in the Department of Computer Science at the University of Illinois, where she is a member of the PL/FM/SE (Programming Languages/Formal Methods/Software Engineering) research group. She leads the Illinois Theorem Provers (ITP) lab, which focuses on advancing proof engineering technologies to make formal verification accessible to programmers of all skill levels across all domains. Research Interests Dr. Ringer's research spans multiple aspects of proof engineering with a strong focus on integrating techniques from dependent type theory, program transformations, and neural proof synthesis to solve real-world verification challenges. Her work addresses how to build systems that allow programmers to prove the absence of costly or dangerous bugs in software. She is particularly interested in proof repair, machine learning for proofs, and developing new methodologies that can drive the creation of large, secure, and robust verified software and hardware systems. Research Trends Dr. Ringer's recent publications demonstrate a strong shift toward integrating machine learning with formal verification, particularly in proof repair and synthesis. Her work explores how large language models can assist with theorem proving, how reinforcement learning can automate verification processes, and how to make proof engineering more practical for real humans. Many publications involve collaborations with students and researchers from multiple institutions, reflecting her commitment to interdisciplinary research. Awards and Recognition Distinguished Paper Award at ESEC/FSE 2023 for "Baldur: Whole-Proof Generation and Repair with Large Language Models" ACM SIGPLAN Distinguished Service Award in 2023 Mentoring and Service Dr. Ringer is a dedicated mentor who has advised numerous undergraduate and graduate students. She is the founder and president of the Computing Connections Fellowship, which provides transitional funding for computer science PhD students needing to escape unhealthy environments. She is also the founder and previous chair of the SIGPLAN Long-Term Mentoring Committee (SIGPLAN-M), which connects more than 200 mentors and 300 mentees across more than 44 countries. Her service work was formally recognized with the 2023 ACM SIGPLAN Distinguished Service Award. Laboratory and Collaborations Dr. Ringer leads the Illinois Theorem Provers (ITP) lab with current members including postdocs, PhD students, masters students, and undergraduates. She collaborates extensively with researchers at the University of Washington, UMass Amherst, Google Research, Galois, and other institutions on various proof engineering projects.
Ueli Grossniklaus is an Ordinary Professor at the University of Zurich within the Faculty of Mathematical and Natural Sciences , affiliated with the Department of Plant and Microbiology . His work focuses on plant developmental biology, particularly epigenetic and genetic mechanisms governing reproduction and adaptation. Key Courses: Epigenetics, Plant Biology Workshop, Group Seminars on Current Research Laboratory Techniques: Advanced methods in plant cell mechanics, transcriptomics, and genome editing Research Interests span plant epigenetics, reproductive biology, and the interplay between environmental stress and genetic regulation. He investigates: Mechanistic control of gametogenesis and fertilization Epigenetic contributions to plant adaptation Evolutionary implications of asexual reproduction Biophysical forces in plant cell growth Publication Trends (2025–2018) reveal expertise in: Arabidopsis and fern model systems Epigenetic regulation (DNA methylation, histone dynamics) Apomixis and hybrid seed failure mechanisms Biomechanics of pollen tubes and carnivorous plants Genome editing tools (CRISPR) and long-read sequencing Scientific Collaborations include interdisciplinary projects on: Microfluidic devices for plant cell analysis Gene drive ecology and ethics 3D imaging of plant reproductive structures Advising and Grants focus on mentoring through research internships in developmental biology, genetics, and systems biology. His lab engages in: Epigenetic response to environmental stress Cell wall mechanics in reproduction Computational modeling of plant growth Laboratory Teams integrate plant biologists, bioengineers, and computational scientists to study: Mechanistic gene regulation Evolutionary developmental biology Microrobotics for cellular force measurement
Dr. Richard Y. Zhao is a tenured Professor in the Department of Pathology and Microbiology-Immunology at the University of Maryland School of Medicine. His research combines molecular biology, fission yeast genetics, mammalian biology, and virology to study virus-host interactions, particularly for HIV and Zika virus. He previously held academic positions at Northwestern University and Columbia University and has contributed to over 120 peer-reviewed articles. B.S., China Oceanography University (1981) M.S., Oregon State University (1995) Ph.D., Oregon State University (1991) Postdoctoral Training, Columbia University (1991-1992) Dr. Zhao's research focuses on: Virus-host interactions and pathogenicity High-throughput drug screening for antivirals Role of viral proteins in neuroinflammation and cancer Translational genomics in precision medicine His recent publications highlight SARS-CoV-2 ORF3a, Zika envelope proteins, and HIV protease inhibitors, emphasizing host-pathogen mechanisms across species. He has served on NIH panels and editorial boards for journals like Cell Research and Retrovirology . Scientific awards include: Fellow, American Academy of Microbiology (2019) Bernard L Mirkin Endowed Chair (2001-2004) Honorary Director, Shandong Gallo Institute (2009) Distinguished Service from SCBA (2015) Outstanding Service from CBA-USA (2016) Dr. Zhao also contributes to clinical diagnostics and personalized medicine through molecular testing and pharmacogenetics programs.
Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge's Computer Laboratory , and a Fellow of Trinity College . His research focuses on the intersection of program verification, programming language design, and foundational topics like type theory and semantics. His work spans areas such as refinement types, parser design, separation logic for systems software, and the semantics of reactive programming. Notable contributions include the Datafun language for higher-order Datalog and the λert type theory for explicit refinement types. He has also developed foundational frameworks for verifying imperative programs using advanced type systems and logical relations. Key publications include 'Explicit Refinement Types' (ICFP 2023), 'flap: A Deterministic Parser with Fused Lexing' (PLDI 2023), and 'CN: Verifying Systems C Code' (POPL 2023). His work frequently addresses challenges in efficiency, correctness, and modularity for both functional and imperative systems. His awards include Distinguished Paper Awards at PLDI 2019 and POPL 2020. His research integrates theoretical rigor with practical tooling, exemplified by contributions to languages like Coq, Lean, and Haskell.
Benjamin J. Delaware is an Assistant Professor of Computer Science at Purdue University. His research focuses on programming languages, formal verification, and tools for ensuring software correctness using mechanized theorem provers. He holds a Ph.D. from The University of Texas at Austin (2013), an MSc from Washington University in St. Louis (2007), and a B.S. from Truman State University (2005). His work emphasizes practical formal methods, including static enforcement of privacy policies, compiler design for oblivious computation, and automated verification techniques. Key contributions include tools like Taypsi, KestRel, and HACCLE. His research bridges theory and practice, addressing challenges in software security, correctness, and efficiency. Publications span top venues like POPL, PLDI, and OOPSLA, reflecting a strong focus on foundational programming language concepts. Collaborations with researchers like Suresh Jagannathan and Qianchuan Ye drive advancements in automated reasoning and secure computation.
Danilo Bzdok is an Associate Professor in the Department of Biomedical Engineering at McGill University’s Faculty of Medicine and a Canada CIFAR AI Chair at Mila – Quebec Artificial Intelligence Institute. He holds dual expertise in systems neuroscience and machine learning, with two doctoral degrees: one in neuroscience from Forschungszentrum Jülich (Germany) and another in computer science (machine learning statistics) from INRIA–Saclay and Neurospin (France). His research bridges computational neuroscience and AI, focusing on understanding human intelligence through neuroimaging and biomedical data. Education: PhDs in Neuroscience (Jülich) and Computer Science (INRIA/Neurospin). Postdoctoral training at Harvard Medical School. Current affiliations include McGill University and Mila. Research interests span computational biology, deep learning, LLMs, and their applications in neuroimaging, precision medicine, and neurodegenerative diseases. Over 150+ peer-reviewed publications, with recent work on LLMs in autism diagnostics, brain network modeling, and social neuroscience. Key Awards: Canada CIFAR AI Chair. Lab focuses on interdisciplinary projects like AI4Science, neuroimaging analysis, and AI ethics. Supervises a dynamic team of PhD/Master’s students and postdocs. Collaborations include clinical institutions and industry partners through Mila’s Applied Research programs.
Muhammad Asaduzzaman is an Assistant Professor in the School of Computer Science within the Faculty of Science at the University of Windsor. His research focuses on software engineering, particularly software maintenance, mining software repositories, and recommendation systems for developers. Research interests span empirical studies of software artifacts, API usage analysis, and improving developer productivity through tools like COSTER for API element identification. Recent work examines dependency management in Maven ecosystems and AI-assisted code completion. Publications show consistent focus on analyzing developer activities through platforms like Stack Overflow and GitHub. Current investigations include LLM applications for code synthesis and technical debt impact analysis.
Matthieu Sozeau is a prominent researcher at Inria in the Gallinette team in Nantes, France, and a key contributor and coordinator of the Coq/Rocq proof assistant project. His work bridges theoretical computer science and practical software development, focusing on creating reliable formal verification tools. His research interests span Type Theory, Proof Assistants, Functional Programming, and Unification. He has made significant contributions to the development of Coq (recently renamed to Rocq Prover), particularly through the MetaCoq project which aims to verify Coq's kernel within Coq itself, the Equations plugin for dependent pattern matching, and CertiCoq, a verified compiler from Coq to assembly. His work enables stronger guarantees about formalized mathematics and verified software. Sozeau's publications reveal a consistent focus on foundational aspects of proof assistants. His recent work includes verified type checking ('Coq Coq Correct!'), verified extraction from Coq to OCaml, and sort polymorphism for proof assistants. These contributions advance both theoretical understanding and practical implementation of dependently-typed programming languages. Distinguished paper award for Verified Compilation from Coq to OCaml at PLDI'24 As an academic mentor, Sozeau has supervised PhD students including Théo Winterhalter and Antoine Allioux. He regularly teaches courses on proof assistants, notably at MPRI (Master Parisien de Recherche en Informatique), and actively participates in the academic community through program committees, invited talks, and workshops. His work has significantly influenced both the theoretical foundations and practical applications of interactive theorem proving.
