Find Academic Supervisors

Jurriaan HageView profile

Professor

• Static Analysis
• Type Error Diagnosis
• Functional Programming
• +5 more

Jurriaan Hage is a Full Professor and Head of the Department of Computer Science at Heriot-Watt University, serving concurrently as Deputy Executive Dean of the School of Mathematical and Computer Sciences. His academic journey includes a PhD in Computer Science from Leiden University under the supervision of Grzegorz Rozenberg and Tero Harju, focusing on switching classes of graphs. While currently focused on administrative leadership, his research expertise spans static analysis, type error diagnosis in functional languages, and program plagiarism detection. He is actively involved in academic services, including steering committees for IFL and TFP symposia, and maintains the Helium compiler for Haskell. Education: Studied computer science at Leiden University, completing a PhD on graph switching theory. Research Interests: Static analysis methodologies, type systems, functional programming, and software architecture. Notable contributions include advancements in type error diagnosis for Haskell and compiler design. Key Projects: Funded research includes DOMSTED (type error diagnosis), Higher-Ranked Polyvariance, and ServiciFi (software modernization). His work emphasizes practical applications in legacy system analysis and compiler tooling. Grants: NWO-funded projects on type error diagnosis and software architecture. Advising: Supervises MSc students on programming language topics. Teams: Maintains the Helium compiler, contributes to Haskell Prime Committee.

• Programming Languages
• Category Theory
• Domain-Specific Languages
• +2 more

Nicolas Wu is a Reader (Associate Professor) of Computer Science at Imperial College London, leading the Functional Programming Research Group and serving as Senior PhD Tutor. Education: DPhil (Oxford), BS/BA (Oxford). Research applies category theory to programming language semantics, connecting domain-specific languages, algebraic effect handlers, and recursion schemes. Current work formalizes scoped effects and parameterized algebraic theories. Teaches functional programming and type theory. Supervises doctoral research on language design and formal verification.

• Computer Systems
• Functional Programming
• Hardware Description
• +3 more

John O'Donnell is an Honorary Lecturer at the University of Glasgow's School of Computing Science. His research spans functional programming, hardware description languages, parallel computing, and computer science education, with notable applications in music technology. Key research areas: Functional approaches to hardware design and simulation Parallel data structures and algorithms for specialized architectures Programming misconception identification and pedagogical tools Computational modeling of musical performance techniques Publications demonstrate consistent innovation in applying functional programming paradigms to diverse domains, from circuit design to music pedagogy. Recent work focuses on educational aspects of computer systems and programming.

Klaus OstermannView profile

Professor

• Functional Programming
• Programming Language Design and Implementation
• Type Systems
• +7 more

Klaus Ostermann is a Professor of Programming Languages and Software Technology at the Department of Computer Science, Faculty of Science, University of Tübingen, Germany. He leads a research group focused on programming language design, functional programming, and software modularity. Research Interests: His work spans functional programming, type systems, effect handlers, software architecture, and domain-specific languages. He investigates the duality between data and codata, the safe integration of effects in typed languages, and the modularity of software systems. His research often bridges theoretical foundations with practical implementations in languages like Scala and Haskell. The recent publications highlight a strong trend in effect systems, continuation-passing, and the symmetry between data and codata. His group develops the Effekt language and explores advanced compilation techniques for effect handlers, contributing to both theoretical understanding and practical language design. Scientific Awards: Most Influential Paper Award at GPCE 2018 for 'Polymorphic Embedding of DSLs' (2008 paper) He actively supervises PhD and master’s students, including Philipp Schuster, Marius Müller, and Jonathan Brachthäuser. His group has received funding for research in programming language foundations, effect systems, and software modularity, though specific grants are not listed. He serves on the program committees of top conferences such as POPL, ICFP, PLDI, and OOPSLA, reflecting his active role in the programming languages community. The research is conducted within the Uroboro project, which explores duality in programming language constructs, and involves collaboration with both national and international researchers. The team also engages in educational projects, including thesis supervision on topics ranging from probabilistic programming to music notation visualization.

• Programming Language Theory
• Functional Programming
• Logic Programming
• +3 more

Tom Schrijvers is a Professor at the Department of Computer Science, Faculty of Engineering Science, KU Leuven. His research focuses on programming language theory, functional programming, logic programming, and computational effects. Advancing multi-stage programming with computational effects (2024–2028) Generating Educational Feedback with Program Analysis (2024–2028) Programino: An Educational Programming Platform (2023–2027) eTeacher: Interactive web-based programming education platform (2023–2025) AmPERSand: Programming Education Runtime System (2023–2026) His recent publications emphasize bidirectional transformations, effect handlers, and programming education tools. He collaborates extensively with British institutions like Imperial College London and works on the book Language Engineering in Haskell with Dr. Nicolas Wu.

Ken Friis LarsenView profile

Associate Professor

• Programming Languages
• Security
• Privacy
• +7 more

Ken Friis Larsen is an Associate Professor at the Department of Computer Science (DIKU), University of Copenhagen, specializing in programming languages, security, privacy, and functional programming. He contributes to projects like HIPERFIT (high-performance financial computing) and WallViz (visualization tools). Research Focus : Language design, formal methods, functional programming (Standard ML, Haskell, OCaml, Scheme), secure compilation, and performance optimization. Technical Leadership : Maintains Moscow ML (Standard ML implementation) and mGTK (functional GUI library). Key Publications : 2020: Hermes (secure compilation without side-channels) 2019: F (music composition language) 2016: Redomap (GPGPU performance in Futhark) Additional Contributions : Co-developed PaML (parser combinators in SML) Active participant in ICFP Programming Contest (2005, 2008, 2017) Advocate for rigorous testing practices (QuickCheck, Criterion) and type-driven design

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.

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).

• Hardware Design
• FPGA Programming
• Parallel Computing
• +5 more

Satnam Singh is a Professor at Newcastle University's School of Electrical and Electronic Engineering, UK. With a research career spanning over three decades from 1989 to present, Singh has established himself as a leading expert in hardware design, FPGA programming, and parallel computing systems. His research interests focus on hardware-software co-design , reconfigurable computing , and functional programming applications for hardware design. Singh has pioneered work in using functional languages like Haskell for hardware description and verification, particularly through his contributions to the Lava hardware description language. His work bridges theoretical computer science with practical hardware implementation challenges. Analysis of his publication history reveals a clear evolution from early work on formal verification and FPGA design in the 1990s, through substantial contributions to parallel programming models in the 2000s, to more recent applications of machine learning techniques in diverse domains including cheminformatics and sensory systems. His 2022-2025 publications demonstrate continued innovation in specialized processor programming, AI applications for olfactory systems, and health hazard classification using deep learning. Singh has maintained extensive collaborations throughout his career, notably with Krishna R. Pattipati (15 joint publications), Anuradha Kodali (8 publications), and David J. Greaves (5 publications), reflecting his ability to bridge theoretical computer science with practical engineering applications. His work spans multiple prestigious venues including FPGA, FCCM, ICFP, and IEEE Transactions on Systems, Man, and Cybernetics, demonstrating both theoretical depth and practical impact across computer architecture, programming languages, and applied machine learning domains.

Mark SantolucitoView profile

Assistant Professor

• Program Synthesis
• Computer Music
• DevOps
• +4 more

Mark Santolucito is an Assistant Professor of Computer Science at Barnard College, Columbia University. He holds a PhD in Computer Science from Yale University, where his research focused on program synthesis and computer music. His current work explores program synthesis techniques to enhance programmer productivity, particularly in lowering barriers to entry for underrepresented groups and optimizing workflows for advanced developers. He leads the Barnard PL (Programming Languages) Labs, which develops tools like TSL (Temporal Stream Logic) for synthesizing reactive systems and analyzing infrastructure-as-code (IaC). His research intersects formal methods with creative applications in music and live coding, emphasizing accessibility and usability. Education: PhD in Computer Science (Yale University), focusing on program synthesis and computer music. Research interests include program synthesis, temporal logic specifications, infrastructure configuration analysis, and music technology. He emphasizes human-centered design in his work, aiming to make programming more accessible through tools like TSL and interactive synthesis environments. Projects include TSL Move Cube, Block-based Editor for Temporal Logic, and Spiral Analysis for medical software migration. Notable contributions include developing TSL synthesis pipelines, optimizing Arduino configurations, and exploring static analysis for cost prediction in cloud deployments. His work bridges theoretical foundations with practical applications in both software engineering and creative computing. Labs/Teams: Leads Barnard PL Labs, collaborating on projects like TSL Synthesis Engine and Static Analysis for IaC. Active in workshops such as SEConfig and FMCAD.

Pablo Francisco CastroView profile

Professor

• Logic in Computer Science
• Fault-Tolerance
• Computational Complexity
• +4 more

Pablo Francisco Castro is a Professor and current Chair of the Department of Computer Science at Argentina's National University of Rio Cuarto (UNRC), while simultaneously serving as a Researcher at the Argentinean National Research Council (CONICET). His dual-role positions demonstrate significant academic leadership in both institutional administration and national research infrastructure. His educational foundation includes: Licenciatura in Computer Science from UNRC PhD in Computer Science from McMaster University, Canada Castro's research program centers on the theoretical and practical applications of logic to computing systems, with deep specialization in fault-tolerance mechanisms, computational complexity theory, and functional programming paradigms using Haskell and Python. His work bridges abstract logical frameworks with concrete implementation challenges, particularly in concurrent systems verification and probabilistic reasoning models. His 2023 JELIA conference publication on satisfiability bounds for adaptive knowing-how logic exemplifies his research trajectory toward formalizing complex cognitive processes within computational models, revealing consistent focus on the intersection of epistemic logic, AI reasoning, and computational tractability. While no specific awards are documented in the provided materials, his extensive service as program committee member for premier conferences (FM, CONCUR, CLEI) and reviewer for top-tier journals (Artificial Intelligence, IEEE Transactions) indicates substantial peer recognition within the formal methods community. No information regarding student advisement or research grants appears in the source texts. Similarly, no dedicated laboratory structures or formal research teams are explicitly described, though his GitHub repositories suggest independent tool development aligned with his publication topics.

• Programming Languages
• Functional Programming
• Type Systems
• +4 more

Ningning Xie is an Assistant Professor in the Department of Computer Science at the University of Toronto, with a part-time role as a Research Scientist at Google DeepMind and a Faculty Affiliate at the Schwartz Reisman Institute. Her research focuses on programming languages, particularly functional programming, type systems, and logics, with applications in broader domains. Ph.D. from the University of Hong Kong B.S. from Zhejiang University Her work explores foundational and applied aspects of programming languages, including: Multi-stage programming and staging techniques Type systems and type inference Algebraic effect handlers and concurrency Compiler design and optimization Recent publications highlight advancements in type inference, effect handlers, and parallel computing. She actively contributes to academic service as a program chair and committee member for conferences like PEPM, Haskell, and POPL. ACM SIGPLAN Distinguished Paper Award (ICFP'25, PLDI'25, PLDI'21) Cambridge Hall of Fame Awards: Publication of the Year As a mentor, she seeks motivated students for her research group. Her affiliations with Google DeepMind and Schwartz Reisman Institute facilitate interdisciplinary collaboration.

Jiaming JiangView profile

Assistant Professor

• Formal Methods
• Programming Languages
• Security Access Control
• +4 more

Jiaming Jiang is an Assistant Teaching Professor in the Department of Engineering and Information Technology at the University of Missouri, College of Engineering. She previously served as a lecturer at UC Davis, contributing to computer science education with a strong focus on programming languages and formal methods. Education: Ph.D. in Computer Science, North Carolina State University M.S. in Computer Science, North Carolina State University B.S. in Computer Science, Calvin University Her research interests center on formal methods and programming languages , with applications in security and logic-based system modeling. She has developed models for security access control systems using mathematical logics, reflecting a rigorous theoretical approach. Her technical expertise spans multiple programming languages including Python, C, C++, Rust, Haskell, and Prolog, which she also teaches. Jiaming Jiang has not published any articles listed in the provided text, so no publication trends can be identified at this time. Scientific Awards: No awards mentioned. She has not been noted to advise any students or receive grants. There is no mention of leadership in research labs or collaborative teams. Her current work appears to emphasize teaching excellence and curriculum development in foundational computer science topics. Labs and Research Teams: No specific labs or research teams are mentioned in the available information.

• Computer Science
• Software Engineering
• Embedded Systems
• +1 more

Jos Foppele is a Lecturer at Campus Fryslân, part of the University of Groningen. His expertise spans Programming Languages (including C/C++, C#, Haskell, Java, R, Pascal, Python, and Basic), Embedded Software, and Software Design. He contributes to academic and technical education within the Computer Science and Software Engineering disciplines. His work focuses on practical implementations of software solutions, with an emphasis on design principles and cross-platform development. No specific grants, awards, or publications are listed in the provided information.

Molly AdamsView profile

Lecturer

• Photojournalism
• Indigenous Media Representation
• Participatory Photography
• +3 more

Molly Adams serves as a Workshop Instructor at the University of Kansas and works as a photojournalist/news operations coordinator for The Lawrence Times, where she developed an Indigenous beat to address historical coverage gaps in Lawrence. She is concurrently a master's student in the Indigenous Studies Program at the University of Kansas. Her educational background includes: Bachelor's degree from Haskell Indian Nations University Current Master's candidate in Indigenous Studies at the University of Kansas Adams' research centers on photojournalism with emphasis on Indigenous media representation and participatory photography methodologies. Her thesis project directly confronts biased media portrayals of unhoused communities in Lawrence through community-engaged visual storytelling, aiming to establish equitable representation standards in local journalism. Professional recognition includes: Second Place Photographer of the Year (Kansas Press Association) Third Place Photographer of the Year (Kansas Press Association)