Find Academic Supervisors

• Programming Languages
• Formal Verification
• Compiler Design
• +3 more

Zoe Paraskevopoulou is an Assistant Professor at the National Technical University of Athens, where she leads research in programming languages and formal verification. Previously affiliated with Princeton University, her academic journey reflects international engagement in computer science research. Her work bridges theoretical foundations with practical implementations in programming language design and verification. Her research interests focus on programming languages , formal verification , and compiler design , with specific expertise in WebAssembly interoperability, verified compilers (particularly CertiCoq), proof automation, and type systems. Her work consistently addresses fundamental questions about program correctness while developing practical tools and techniques for safer software development. Analyzing her publication history from 2016-2024 reveals consistent contributions to top-tier venues including PLDI, POPL, ICFP, and ESOP. Her research evolved from foundational work on type theory and verification to leading significant projects like CertiCoq and RichWasm, demonstrating both theoretical depth and practical impact in programming language implementation. As an active researcher, Zoe serves on program committees for major conferences including PLDI (2022-2026), CPP (2022-2026), and ICFP (2024), reflecting her standing in the programming languages community. Her international move from Princeton University to the National Technical University of Athens demonstrates global engagement in academic research. Students working with Zoe would gain experience with formal verification tools like Coq, contribute to open-source research projects, and develop expertise spanning theoretical computer science and practical systems work. Her research program offers opportunities to work on cutting-edge problems in programming language design, verification, and implementation.

Ismail KuruView profile

Researcher

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

Ismail Kuru is a Researcher at Drexel University , where he also earned his Ph.D. in Computer Science (2025) under Colin Gordon . His work focuses on Verification , Separation Logic , Type Theory , and Concurrency and Parallelism , with an emphasis on building program logics and proof ergonomics for low-level systems . Education : Ph.D., College of Computing and Informatics , Drexel University (2025) M.S., Graduate School of Engineering , Koc University (2015) Research Themes : Ismail's work bridges mathematical proofs and software systems , particularly operating system kernels . He develops modal logics for state modularity and memory virtualization, using tools like Iris for soundness proofs in concurrent systems. His projects include Contingent Systems Project and Roqc , which focus on kernel verification and proof articulation . Scientific Awards : Graduate School Scholarship (Microsoft Research Europe PhD Scholarship) Multiple Microsoft Research and Inria-Paris Visitor Grants Travel support for VCLA Winter School and DeepSpec Summer School Teaching & Service : He served as a TA for Programming Languages and Software Engineering courses. He is a SIGPLAN-M Long Term Mentor , OOPSLA'24 Subreviewer , and has volunteered for conferences like PLDI'18 and RV’12 .

Colin GordonView profile

Researcher

• Type Theory
• Separation Logic
• Verification
• +3 more

Colin Gordon is a researcher at Drexel University with a focus on type theory, formal verification, and concurrency. His work bridges theoretical and practical aspects of programming languages. His research interests include: Type Theory Separation Logic Verification Concurrency and Parallelism Capabilities Type and Effect Systems Colin's recent publications address challenges in effect systems, formal verification, and programming language design. His work spans conferences like POPL, PLDI, and SPLASH, reflecting a strong commitment to advancing software correctness and language design.

Jacques-Henri JourdanView profile

Researcher

• Program Verification
• Rust Programming Language
• Abstract Interpretation
• +5 more

Jacques-Henri Jourdan is a CNRS researcher affiliated with LMF (Laboratoire Méthodes Formelles) at Université Paris-Saclay, specializing in formal verification and programming language theory. His research focuses on applying formal methods to practical programming languages, particularly Rust, using the Coq proof assistant and Iris framework. His research interests span program verification , Rust programming language security , abstract interpretation , separation logic , and concurrent systems . Jourdan has made significant contributions to the RustBelt project, which formally verifies the safety guarantees of Rust's type system. His publication record shows consistent contributions to top-tier conferences including POPL, ICFP, and ESOP since 2016, with recent work focusing on time credits in separation logic, relaxed memory models, and formal verification of concurrent data structures. His research bridges theoretical foundations with practical programming language implementation. As an active member of the programming languages research community, Jourdan has served on program committees for major conferences including POPL and ICFP, demonstrating his standing in the field.

Zhong ShaoView profile

Professor

• Programming Languages
• Formal Methods
• Operating Systems
• +4 more

Zhong Shao is the Thomas L. Kempner Professor of Computer Science at Yale University. He leads the FLINT research group and is a prominent researcher in programming languages, formal methods, operating systems, and computer security. His work focuses on building certified system software through mechanized proofs to create dependable software systems that can manage increasing complexity in modern computing. Professor Shao's research spans multiple domains including programming language design, OS kernel development, formal semantics, compiler construction, and proof engineering. His work addresses challenging problems in concurrency and distributed computing, with a particular emphasis on creating hacker-resistant systems. He has collaborated with researchers at Princeton, University of Pennsylvania, and MIT on the NSF Expedition project 'The Science of Deep Specification.' Shao's recent publications demonstrate a strong focus on compositional verification techniques for distributed systems and certified compilation. His work on DeepSEA language, CertiKOS operating system, and various verification frameworks shows a consistent trajectory toward building fully verified system software from the ground up. Key themes include linearizability, Byzantine fault tolerance, compositional reasoning, and refinement-based verification approaches across concurrent and distributed systems. As an educator, Professor Shao teaches courses including CS430 Formal Semantics (Spring 2025), CS421 Compilers and Interpreters, CS422 Operating Systems, and CS428 Language-Based Security. He participates in systems seminars on APLAR and SPAM, contributing to the academic community through both research and teaching. Professor Shao leads the FLINT research group at Yale, which focuses on building novel certified system software. The group's work has resulted in breakthroughs such as the CertiKOS operating system, which represents a significant advancement in hacker-resistant concurrent operating systems. The group collaborates with the DeepSpec project, an NSF Expedition focused on deep specifications for trustworthy systems, and has developed frameworks like LiDO, Adore, and AdoB for verifying distributed systems with strong guarantees.

John RexView profile

Adjunct Professor

• Hydrology
• Aquatic Ecology
• Natural Resource Management
• +4 more

Dr. John Rex is an Adjunct Professor in the Department of Geography at the University of Northern British Columbia (UNBC) and concurrently serves as the Research & Stewardship Team Lead for the Omineca Region at BC Forests, Lands, and Natural Resource Operations. He holds a BSc (Hons.) from Memorial University of Newfoundland and an MSc/PhD in Natural Resources and Environmental Studies from UNBC. His research integrates hydrology, aquatic ecology, and forest management, with emphases on: Watershed responses to climate change and disturbances (e.g., mountain pine beetle infestations) Salmon-driven nutrient cycling and sediment dynamics Riparian ecosystem management and small-stream conservation Biomass leachate toxicity and sustainable forestry practices Dr. Rex's publications focus on climate-hydrology interactions, forest disturbance impacts, and aquatic biogeochemistry, utilizing field experiments and modeling to address resource management challenges. He actively contributes to provincial forest stewardship guidelines but currently does not accept graduate students.

Paul TiwanaView profile

Clinical Professor

• Oral and Maxillofacial Surgery
• Cleft and Craniofacial Surgery
• Facial Trauma
• +3 more

Paul Tiwana serves as the Francis J. Reichmann Professor and Chairman of the Department of Oral and Maxillofacial Surgery within the College of Dentistry at the University of Oklahoma Health Sciences Center, concurrently holding a Professor of Surgery appointment in the College of Medicine. Previously, he directed the Oral & Maxillofacial Surgery residency program at the University of Texas Southwestern Medical School/Parkland Memorial Hospital. His educational qualifications include: D.D.S. from Northwestern University School of Dentistry (1996) MD from University of North Carolina School of Medicine (1999) General Surgery Internship at University of North Carolina Hospitals (2000) Oral & Maxillofacial Surgery Residency at University of North Carolina Hospitals (2001) Chief Resident in Oral & Maxillofacial Surgery (2001-2002) MS in Oral and Maxillofacial Surgery from University of North Carolina Graduate School (2003) Pediatric Craniofacial Surgery Fellowship at Posnick Center, Georgetown University Hospital (2003-2004) Dr. Tiwana specializes in craniofacial reconstruction , with clinical and research emphasis on facial trauma management , orthognathic procedures , and pediatric cleft interventions . His work advances tissue regeneration techniques for craniofacial complexes, reflected in over 75 publications and editorial leadership of the internationally translated Atlas of Oral and Maxillofacial Surgery . He holds a Certificate of Added Qualification in Pediatric Craniomaxillofacial Surgery from the American Board of Oral & Maxillofacial Surgery. His distinguished honors include: Item Writing Award from American Board of Oral & Maxillofacial Surgery (2017) Larry J. Peterson Prize for research excellence (2014) ADEA Junior Faculty Award (2008) W. Lorenz Surgical Educator Award (2004) OMSF Clinical Surgery Fellowship (2003) As an educator, Dr. Tiwana has delivered 100+ international lectures and previously chaired the American Association of Oral & Maxillofacial Surgeons' Committee on Education. He served on the Commission on Dental Accreditation's Residency Review Committee and currently contributes to the International Association of Oral & Maxillofacial Surgeons' Education Committee. His leadership extends to the Osteoscience Foundation board and the American Board of Oral & Maxillofacial Surgery (elected Director, 2020). Professional affiliations highlight his surgical authority: Founding Fellow of the American Academy of Craniomaxillofacial Surgeons, Fellow of the American College of Surgeons, Fellow of the American College of Dentists, and diplomate of the American Board of Oral & Maxillofacial Surgery.

Pengfei SuView profile

Assistant Professor

• Programming Languages
• Static and Dynamic Program Analysis
• High-performance/Parallel Computing
• +4 more

Pengfei Su is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, Merced , leading the HPCSA Group . His research focuses on programming languages, program analysis, high-performance/parallel computing, ML systems, and software engineering, with applications in optimizing software inefficiencies through advanced profiling and analysis tools. PhD from William & Mary (2021) MS from Institute of Computing Technology, Chinese Academy of Sciences (2016) BE from Yunnan University (2013) His research interests span: Programming Languages and Compiler Design Static and Dynamic Program Analysis High-performance/Parallel Computing ML Systems and Software Engineering Recent publications and grants highlight his work in performance tracing , memory optimization , and AI accelerator selection . Notably, his group received an NSF grant (2025) and developed tools like pprof++ for Go profiling. Scientific awards include: NSF CAREER Award (2025) Hellman Fellows Award (2024) Best Paper Award at PPoPP (2019) He actively mentors students in PhD research (Dinghong Song, Haide He, Xingjian Ding) and undergraduate research (Jayden John), with past advisees including Mao Lin (now at Uber) and Tahea Hossain.

• Fault-Tolerant Distributed Computing
• Parallel Computing
• Algorithms and Complexity
• +3 more

Chryssis Georgiou is a Professor and Chair of the Department of Computer Science at the University of Cyprus , where he leads the Research Laboratory for Foundations of Computing Systems and Theoretical Computer Science . He holds a Ph.D. and M.Sc. in Computer Science from the University of Connecticut and a B.Sc. in Mathematics from the University of Cyprus. Ph.D. in Computer Science (2003), University of Connecticut M.Sc. in Computer Science (2002), University of Connecticut B.Sc. in Mathematics (1998), University of Cyprus His research focuses on the Theory and Practice of Fault-Tolerant Distributed and Parallel Computing , with emphasis on algorithms, complexity, and blockchain systems. He has published over 115 refereed articles and co-authored two books on distributed computing. Recent work includes Byzantine-tolerant consensus, dynamic storage for large objects, and blockchain resilience frameworks. His 15 most recent publications span topics in Byzantine Fault Tolerance , Atomic Shared Memory , WSN Optimization , and Distributed Ledger Formalization , with applications in IoT networks, cryptocurrency systems, and GPU-inspired shared memory models. Advising and Projects include coordination of the MA(R)S project (Cyprus Research Foundation), e4Pain (machine learning for pain coping), ESS-BFT (self-stabilizing blockchain infrastructure), and participation in the CoronaSurveys system for pandemic data collection. He has served as project coordinator for the ONISILIOS-funded ESS-BFT and as academic supervisor for industry-linked PhD programs. Labs and Teams include the Research Laboratory for Foundations of Computing Systems at the University of Cyprus, with collaborations across Europe and North America. He chairs the 2026 SIROCCO conference and contributes to editorial boards and program committees for top-tier distributed computing venues.

• Neuropsychology
• Gifted Education
• Autism Spectrum Disorder
• +3 more

María Isabel Gómez León is a Lecturer at Camilo José Cela University, where she teaches in the Master's Degree in Advanced Teaching Skills and Master's Degree in Psychopedagogical Guidance and Intervention. She also holds concurrent teaching positions at International University of La Rioja (UNIR), Antonio de Nebrija University, and Francisco de Vitoria University across specialized postgraduate programs in neuropsychology, education, and special needs. Her academic work focuses on translating neuroscience research into practical educational applications. Her educational background includes: PhD cum laude in Neuropsychology from Complutense University of Madrid Degree in Clinical Psychology and Educational Psychology from Complutense University of Madrid Master's degrees in Early Intervention, Speech Therapy, Child Psychology, Neurolinguistic Programming, Music Therapy, High Intellectual Abilities, and specialized certifications in ADHD, ASD, and Educational Neuropsychology Gómez León's research centers on neuropsychological aspects of high intellectual abilities, with significant contributions to understanding giftedness, autism spectrum disorder (ASD), and attention-deficit hyperactivity disorder (ADHD). Her work bridges cognitive neuroscience and educational practice, examining how neurobiological factors influence learning processes. She investigates hormonal impacts on cognition and develops evidence-based classroom strategies for neurodiverse learners, particularly focusing on neural mechanisms underlying gifted cognition and differential diagnosis between giftedness and ADHD. Her 15 most recent publications (2019-2021) reveal a concentrated research trajectory in educational neuroscience, with 60% dedicated to gifted education, 25% to ASD/ADHD, and 15% to broader neuroscience applications in classrooms. The publications demonstrate strong thematic continuity in translating neuroscientific findings into pedagogical frameworks, particularly through her 'Neuroscience to the Classroom' book series addressing specific learning differences. No scientific awards were mentioned in the source material. As an academic advisor, Gómez León serves on Master's thesis evaluation committees and directs final projects at UNIR. Her teaching portfolio spans 8 universities where she develops specialized content for postgraduate education, focusing on translating complex neuropsychological concepts into practical teaching strategies. She also manages a child neuropsychology center specializing in high-ability children, ASD, ADHD, and language disorders, demonstrating applied integration of her research. Gómez León leads a clinical neuropsychology center focused on high-ability children, ASD, ADHD, and language/communication disorders. Her work bridges academic research and clinical practice through specialized interventions and teacher training programs. She actively develops educational materials and digital resources for neurodiverse learners, with recent projects centering on neuroscience-based classroom adaptations for various disabilities.

• Formal Methods for Smart Contracts
• Blockchain Technology Verification
• Programming Language Theory
• +6 more

Silvia Crafa is an Associate Professor of Mathematical Logic at the Department of Mathematics "Tullio Levi-Civita" at the University of Padova. She holds multiple affiliations including membership in IFIP Working Group 1.8 on Concurrency Theory, the National Laboratory CINI on Informatics and Society, and the Informatics Europe/ACM Europe Working Group on Ethics and Automated Decision Systems. She serves on editorial boards for Journal of Responsible Technology (Elsevier) and Journal of Ethics and Legal Technologies (PUP). Department of Mathematics "Tullio Levi-Civita", University of Padova (Current) IFIP Working Group 1.8 on Concurrency Theory (Member) National Laboratory CINI on Informatics and Society (Member) Vienna Manifesto on Digital Humanism (Signatory) Journal of Responsible Technology (Editorial Board) Professor Crafa's research spans interdisciplinary areas at the intersection of computer science, law, and digital ethics. Her primary focus areas include formal methods for smart contracts and blockchain verification, programming language theory (particularly type systems and concurrency models), and the social impact of digital technologies. She has developed significant work on Stipula, a domain-specific language for legal contracts, and conducts pioneering research on moral exercises for human oversight of AI systems. Her work bridges theoretical computer science with practical legal and ethical applications. Analysis of her recent publications (2021-2025) reveals a clear shift toward blockchain verification, legal-tech integration, and digital ethics. Her work spans both theoretical contributions (formal verification methods, type systems) and applied research (Italian election law analysis, smart contract security). The publications demonstrate strong interdisciplinary connections between computer science, law, and philosophy, with increasing emphasis on responsible technology development. Winner of the award for the two best Italian PhD theses in theoretical computer science (2003) Signatory of the Vienna Manifesto on Digital Humanism Programme Committee Member for major conferences including LICS 2021 and DLT 2024/2025 Active speaker at national legal-tech conferences throughout 2023-2025 Professor Crafa supervises research in formal methods, blockchain technology, and digital ethics. Her recent publication record indicates active research funding, particularly in blockchain verification and legal-tech intersections. She has secured speaking engagements at major national conferences including the Association of Administrative Lawyers (2025), National Association of Administrative and Financial Directors (2024), and multiple symposia on AI, blockchain, and digital ethics. Her role on program committees for Distributed Ledger Technology Workshop suggests strong grant support for blockchain research. Professor Crafa leads research activities through multiple institutional affiliations including the Department of Mathematics at Padova, the National Laboratory CINI on Informatics and Society, and the Noumenon thinking lab. Her work on Stipula represents a significant research initiative in legal-tech integration. She collaborates extensively with researchers across computer science and legal domains, as evidenced by her multi-author publications in blockchain verification and smart contract analysis.

Antoine MinéView profile

Professor

• Static Analysis
• Abstract Interpretation
• Program Verification
• +8 more

Antoine Miné is a Full Professor at Sorbonne Université (formerly Université Pierre et Marie Curie/Paris 6), teaching at the Engineering School (UFR 919) and leading the APR Team at the LIP6 Laboratory. He was a junior member of the Institut Universitaire de France (2016-2021) and previously a CNRS researcher at École normale supérieure (ENS) Paris. His research focuses on improving software quality and reliability via automated formal methods, particularly static analysis and abstract interpretation . He designs tools like Apron, Mopsa, and AstréeA to infer program invariants with sound mathematical guarantees. Key contributions include numerical abstract domains, floating-point analysis, memory modeling, and concurrent/multi-task program verification. Recent works address incremental static analysis (ECOOP 2025), higher-order numerical programs (ECOOP 2025), under-approximating memory abstractions (SAS 2024), and security evaluation (SecurEval project 2022-2028). He leads the MOPSA project (ERC Consolidator Grant 2016-2021) and contributes to ForML (ANR 2023-2027) and SWHSec (France 2023 PTCC 2023-2026). Scientific Awards Institut Universitaire de France (IUF) junior member (2016-2021) Advising Current PhD students: Milla Valnet (2023-), Marco Milanese (2022-), Mamy Razafintsialonina (2022-), Guillaume Bau (2020-) Past students include Francesco Parolini, David Delmas, Raphaël Monat, and Caterina Urban Projects MOPSA : Modular Open Platform for Static Analysis (ERC grant) ForML : Formal Machine Learning Verification (ANR 2023-2027) SWHSec : Software Heritage for Cybersecurity (France 2023 PTCC) SecurEval : Security Evaluation (France 2030 PEPR 2022-2028)

Annie LiuView profile

Professor

• Programming Languages
• Algorithms
• Systematic Design and Optimization
• +6 more

Annie Liu serves as Professor of Computer Science at Stony Brook University, holding a PhD from Cornell University alongside prior degrees from Peking and Tsinghua Universities. Her research centers on systematic methods for language and algorithm design, with emphasis on optimization frameworks applicable across critical computing domains. Her educational credentials include: BS in Computer Science from Peking University MEng in Computer Science from Tsinghua University PhD in Computer Science from Cornell University Liu’s research program investigates systematic analysis and transformation techniques for design optimization, particularly through incrementalization—the discrete counterpart of calculus differentiation. Her work spans optimizing compilers , interactive environments , database systems , distributed computing , and security , with projects addressing modeling, verification, code generation, and testing for real-time systems, semantic Web, and big data applications. The Design and Analysis Research Laboratory she directs bridges theoretical foundations with practical implementations. Analysis of her 2012-2025 publications reveals an evolution from foundational distributed algorithm design toward unifying frameworks for solver semantics and assurance. Key trends include increasing integration of incremental computation principles across compiler optimizations, database queries, and distributed system reliability. Her scientific recognition includes: State University of New York Chancellor’s Award for Excellence in Scholarship and Creative Activities Professor Liu has delivered over 100 international talks and maintains active conference leadership, serving on program committees for POPL, PEPM, and SPLASH through 2026. While specific grant details aren’t provided, her sustained involvement in high-impact venues like PADL and LPOP demonstrates significant research influence. She directs the Design and Analysis Research Laboratory where interdisciplinary teams advance optimization methodologies for emerging computational challenges.

Beniamino AccattoliView profile

Researcher

• Lambda Calculus
• Rewriting
• Linear Logic
• +4 more

Beniamino Accattoli is a Researcher at Inria (Institut national de recherche en informatique et en automatique) and affiliated with École Polytechnique, working in the PARTOUT team since January 2015. His research focuses on connecting mathematical theory with practical implementations in functional programming languages and proof assistants. His research interests center on higher-order computations using lambda calculus as the core formalism. Key areas include Lambda Calculus, Rewriting, Linear Logic, Abstract Machines, Functional Programming, Proof Theory, and Category Theory. These interests bridge theoretical foundations with applications in programming languages like OCaml/Haskell and proof assistants like Coq/Agda. His publications (2013-2025) predominantly explore lambda calculus implementations, abstract machines, computational complexity, type systems, and operational semantics. Recent works focus on space/time efficiency, call-by-value/call-by-need evaluation, linear logic, and formal verification techniques. Awards include: Best Paper Award at RTA 2013 Distinguished Paper Award at ICFP 2022 He leads/contributes to research projects including CANofGAS (2022-2025) and COCA HOLA (2016-2021). Currently advises no listed students but serves on program committees for major conferences (ICFP, APLAS, PPDP). Affiliated with Inria's PARTOUT team, which focuses on foundational aspects of programming languages and computation. Regularly lectures at MPRI (Master Parisien de Recherche en Informatique).

• 19th Century Hungarian History
• Military History
• Revolution of 1848-1849
• +2 more

Robert Hermann is a distinguished Professor and Head of the Doctoral School of History at Károli Gáspár University's Faculty of Humanities and Social Sciences, where he leads research in the Department of Modern and Contemporary History. Concurrently, he serves as Scientific Deputy Commander at the Institute and Museum of Military History and heads the Dualism Era Research Group at VERITAS Historical Research Institute. His academic credentials include a PhD (1997) and an MTA doctoral degree (2009), both in History from Eötvös Loránd University. Hermann's research focuses on 19th-century Hungarian political-military history, particularly the 1848-1849 Revolution and Freedom Struggle. His core interests include: Bourgeois transformation processes (1830-1867) Military leadership studies (Artúr Görgei) Memoir and diary literature analysis Transylvanian administrative systems Revolutionary mythology and cultural memory His extensive publication record reveals consistent thematic focus on military campaigns, governance during revolutions, and biographical studies of key figures. Recent works demonstrate intensified examination of visual historical sources, transnational military interactions, and the deconstruction of national myths. Major scientific honors include: Széchenyi Prize (2024) Zrínyi Prize (2000) Hungarian Order of Merit - Middle Cross (2012) Budapest Award (2011) Young Military Historian of the Year (2000) Hermann has supervised 12 doctoral students to completion, with dissertations primarily analyzing regional military history and sociopolitical transformations during the 1848-1849 period. He has led multiple OTKA-funded research projects including critical document publication initiatives on Artúr Görgei, Bertalan Szemere, and József Eötvös. As president of the Hungarian Historical Society (2015-2023), he established interdisciplinary research teams focused on military administration, conspiracy theories in history, and borderland studies. He currently coordinates the 19th Century Research Group at Károli University, specializing in digital archival projects.