Find Academic Supervisors

Shengfan ZhangView profile

Associate Professor

• Operations Research
• Healthcare Systems Engineering
• Stochastic Processes
• +2 more

Shengfan Zhang is an Associate Professor at the Department of Industrial Engineering , College of Engineering , University of Arkansas. He holds a Ph.D. and M.I.E. in Industrial Engineering from North Carolina State University and a B.M. in Management Science from Fudan University. Research Focus: Stochastic systems, statistical modeling, and decision analysis in healthcare and supply chain management. Teaching: Courses in probability, stochastic processes, quality engineering, and healthcare decision modeling. His research integrates Markov decision processes, simulation, and machine learning to address challenges in medical decision making, health disparities, and process improvement. Recent work emphasizes cancer screening policies, inventory management, and patient admission planning. Selected Awards: 2017 Volunteer Service Award, INFORMS 2016 Best Paper Award (Facility Logistics Track, ISERC) 2016 Outstanding Service to Students Award, University of Arkansas 2014 2nd Place Prize, INFORMS Interactive Sessions Competition 2014 Outstanding Faculty Advisor, University of Arkansas His publications span healthcare systems engineering, mammography screening, comorbidity analysis, and stochastic modeling, with applications in breast cancer mortality assessment, supply chain resilience, and patient admission scheduling.

Thomas WiesView profile

Professor

• Program Analysis
• Verification
• Automated Deduction
• +4 more

Thomas Wies is a Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, and Chair of the Computer Science Department. He is a member of the Analysis of Computer Systems Group and has a personal website. Affiliation: New York University Research Focus: Program Analysis, Verification, Automated Deduction, Concurrency Teaching: Principles of Programming Languages (undergraduate), Programming Languages (graduate), Rigorous Software Development Research Interests: His work centers on program analysis, verification of concurrent systems, automated deduction, and applications of separation logic. He develops tools like Raven, GRASShopper, and Sprout for verifying concurrent programs and search structures. Recent Articles (2025-2023): Focus on SMT-based verification, concurrent data structures, temporal safety effects, multiparty protocols, and separation logic extensions. These span conferences like OOPSLA, CAV, IEEE S&P, and TACAS. Scientific Awards: Best Paper at ISSRE 2019 Best Paper at ICFP 2014 Professional Activities: Organizer/Co-organizer of VerifyThis 2025, Program Chair roles in NETYS 2023, VMCAI 2022, and others. Active in PC roles for POPL, PLDI, CAV, and VMCAI. Students & Group: Advises PhD students including Elaine Li, Devora Chait-Roth, and Ekanshdeep Gupta. Group alumni include Kshitij Bansal, Siddharth Krishna, and Wei Wang.

Andreea CosteaView profile

Assistant Professor

• Programming Languages
• Software Verification
• Automated Program Repair
• +5 more

Dr. Andreea Costea is an Assistant Professor at the Programming Languages Group in the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at TU Delft, Netherlands. She completed her PhD at the School of Computing, National University of Singapore (NUS), and previously collaborated with NUS's Programming Languages and Software Engineering lab, Automated Program Repair team, and VERSE lab. Research: Formal Methods, Software Verification, Automated Program Repair, Rust Programming, Concurrency Funding: Ministry of Education Tier 3 Grant (2022) Projects: HIPPODROME (Java data race repair), ROBoSuSLik (heap synthesis), Mercurius (session protocols) Recent MSc Students: Matei Mirică (2025), Arjan Seijs (2025), Jim van Vliet (2025), Timen Zandbergen (2025), Arthur de Groot (2024), Julius de Jeu (2024), Matteo Bertorotta (2024). Conference Involvement: Program Committee member for PriSC 2024, PEPM 2024, SPLASH/ISSTA 2026, ICSE 2025, ICFP 2023, APLAS 2021.

Farzaneh DerakhshanView profile

Assistant Professor

• Programming Languages
• Language-based Security
• Type Theory
• +8 more

Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology . Her research focuses on Programming Languages , Type Theory , and Formal Methods , with applications to concurrent programming , security verification , and intermittent computing . PhD in Pure and Applied Logic from Carnegie Mellon University (2021) Postdoctoral Fellow at Carnegie Mellon University Her research projects include: Designing modal logic for system verification Relational logic for GPU side-channel security Type systems for intermittent computing Behavioral types for security Advising : PhD Students: Godha Pallavi Bhogadi (co-advised with Stefan Muller), Myra Dotzel (co-advised with Limin Jia), Lang Liu Master's Students: Akash Madhu (co-advised with Minxuan Zhou) Scientific Awards : NSF Collaborative Award #2350217 for "Mixed Assurance Reasoning via Modal Logic" (2024) Teaching : Courses include CS595. Language-based Security , CS534. Types and Programming Languages , and CS440. Programming Languages and Translators at Illinois Tech.

Robert HarperView profile

Professor

• Programming Languages
• Type Theory
• Cost Semantics
• +3 more

Robert Harper is a Professor in the Computer Science Department at Carnegie Mellon University, Pittsburgh, PA. His research focuses on the intersection of type theory and programming language design, with emphasis on formal verification, cost semantics, and concurrency models. University: Carnegie Mellon University Department: Computer Science Academic Rank: Professor Email: rwh@cs.cmu.edu Harper's research program integrates cost analysis with behavioral properties in type theory, including Synthetic Tait Computability for logical frameworks and Amortized Analysis via Coalgebraic Methods . He explores foundational issues in Higher-Order Recursion and resource-sensitive programming through Decalf , a directed effectful cost-aware framework. His work combines theoretical rigor with practical implementation in systems like Twelf and Red* . Recent publications demonstrate his contributions to Computational Adequacy , Session-Typed Concurrency , and Compiler Verification . Collaborations with institutions like the Max Planck Institute for Software Systems and researchers such as Stephanie Balzer and Jan Hoffmann extend his impact to concurrent systems and cost-sensitive programming. Scientific Distinctions ACM SIGPLAN Programming Languages Achievement Award (2021) ACM Fellow (2005) Allen Newell Award for Research Excellence (2001) He advises students on projects like Cost Verification in Calf and Parallel Scan Verification , while teaching advanced courses including 15-413: Advanced Topics in Principles of Programming Languages (Spring 2025) and 15-312: Principles of Programming Languages (Fall 2025). Research funded by AFOSR grants including MURI A210038S002.

Sam LindleyView profile

Associate Professor

• Programming Languages
• Type Systems
• Effect Handlers
• +5 more

Sam Lindley is a Reader in Programming Language Design and Implementation at the Laboratory for Foundations of Computer Science within the School of Informatics at The University of Edinburgh. He holds a prestigious UKRI Future Leaders Fellowship focused on Effect Handler Oriented Programming. His academic career spans multiple institutions including Heriot-Watt University and Imperial College London. His research interests center on programming language theory and implementation, with specific expertise in type systems, effect handlers, session types, and functional programming. Lindley's work bridges theoretical foundations with practical implementation, particularly in compiler design and language semantics. His research has significant implications for language safety, efficiency, and expressiveness. Lindley's publication record demonstrates consistent contributions to top programming languages venues including PLDI, POPL, ICFP, and OOPSLA. His recent work explores modal effect types, scoped effects, and the application of effect handlers to systems programming and WebAssembly. The trend shows increasing focus on practical applications of theoretical concepts in real-world language implementations. Major Awards: UKRI Future Leaders Fellowship in Effect Handler Oriented Programming Lindley has served in significant leadership roles including ICFP 2023 Program Chair and PLDI 2025 Area Chair. He actively participates in the programming languages community through numerous program committees and workshop organization. His research is conducted within the Laboratory for Foundations of Computer Science, a leading center for theoretical computer science research at Edinburgh.

Rachit NigamView profile

Assistant Professor

• Programming Languages
• Computer Architecture
• Hardware Acceleration
• +3 more

Rachit Nigam serves as an Assistant Professor in the Department of Electrical Engineering and Computer Science (EECS) at the Massachusetts Institute of Technology's School of Engineering. He leads the FLAME Lab, focusing on the intersection of programming languages and computer architecture. His research profile demonstrates significant involvement in major programming languages conferences including PLDI, SPLASH, and ICFP, where he has served in various committee roles from Artifact Evaluation to Student Research Competition Chair. Dr. Nigam's research centers on programming languages and hardware systems, with particular emphasis on creating compilers that transform programs into architectures. His work bridges theoretical type systems with practical hardware implementation, developing tools like Calyx (an intermediate language for hardware accelerator generators) and Dahlia (implementing time-sensitive affine types). His approach combines formal methods with practical compiler design to address challenges in predictable accelerator generation and hardware compilation. His publication record reveals a consistent trajectory in hardware-aware programming language design, with recent work focusing on unifying static and dynamic intermediate languages for accelerator generators. The publications demonstrate expertise across multiple subfields including type systems for hardware timing constraints, modular hardware design methodologies, and synthesis-aided compiler techniques for specialized architectures like DSPs. As an active member of the programming languages community, Nigam has served on numerous conference committees including PLDI, OOPSLA, and LCTES. He has chaired sessions, organized tutorials (including 'DSL-based Hardware Generation'), and contributed to community initiatives like PL Tea. His GitHub presence shows active development in projects related to hardware compilation with significant contributions to repositories like Calyx, Filament, and Dahlia. Dr. Nigam leads the FLAME Lab at MIT, which focuses on creating programming models and compiler infrastructure for hardware acceleration. His work with the Calyx compiler ecosystem represents a significant contribution to the field of hardware accelerator generation, providing tools that enable more predictable and efficient hardware compilation processes. His research has practical implications for domain-specific hardware accelerators and the broader challenge of making hardware design more accessible through programming language techniques.

• Computer Software
• Computation Theory
• Pure Mathematics
• +3 more

Martin Berger is an Associate Professor in Foundations of Computation at the University of Sussex's School of Engineering and Informatics. His research bridges theoretical computer science and practical systems engineering, with focus areas including: Formal methods and program verification Programming language design and semantics Hardware security vulnerabilities and mitigations GPU-accelerated computation and program synthesis Automated reasoning and logic-based systems With 51 publications, his recent work demonstrates strong emphasis on: Developing high-performance simulation tools (Pydrofoil) GPU-based acceleration of formal methods Security analysis of programming language ecosystems Automated inference systems for regular expressions He maintains active research collaborations across Europe and welcomes inquiries via his institutional email.

Guilhem JaberView profile

Associate Professor

• Programming Languages
• Type Theory
• Game Semantics
• +7 more

Guilhem Jaber is an Associate Professor at University of Nantes , affiliated with the Gallinette team in the LS2N research laboratory . His work focuses on operational game semantics, contextual equivalence, and formal verification of higher-order programs with computational effects. Research Grants RECIPROG (2021-2025): ANR PRC Project, local coordinator CAVOC (2021-2025): Inria-Nomadic Labs agreement, project investigator CANofGAS (2022-2025): Inria Exploratory Action, co-investigator Scientific Awards Distinguished Paper Award at ICFP'21 Supervision Axel Kerinec: Postdoc on CANofGAS project Hamza Jaafar: PhD on CAVOC project Peio Borthelle: PhD co-advised with Beniamino Accattoli His research bridges game semantics with operational techniques, particularly for algebraic effects, parametric polymorphism, and separation logic. He actively participates in program committees for POPL, GALOP, and HOPE workshops.

Limin JiaView profile

Research Professor

• Security
• Programming Languages
• Formal Methods

Limin Jia is a Research Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department. She is affiliated with CyLab, CMU's security and privacy research institute. She received her PhD in Computer Science from Princeton University and a BE from the University of Science and Technology in China. Her research applies formal techniques to enhance software security, focusing on programming languages and distributed systems. Key interests include: Language-based security mechanisms Formal verification of distributed systems Secure compilation techniques Intermittent computing foundations Her publications demonstrate strong emphasis on security guarantees in programming languages (Rust/WebAssembly), formal methods for intermittent systems, and software supply chain security. Recent works frequently address type systems, compiler verification, and energy-constrained computing. Dr. Jia maintains an extensive advising portfolio with current and former students spanning PhD and Master's programs. She teaches foundational security courses including Browser Security and Introduction to Information Security .

Nate FosterView profile

Professor

• Programming Languages
• Networking
• Formal Verification
• +3 more

Nate Foster is a Professor of Computer Science at Cornell University and a Visiting Researcher at Jane Street . During 2023-24, he also holds a Visiting Professor position at EPFL in the Data Center Systems Laboratory. His research focuses on Programming Languages and Networking , with significant contributions to formal verification of network data planes and domain-specific language design. Awarded NSF CAREER Award , Sloan Research Fellowship , ACM SIGCOMM Rising Star Award , and ACM SIGPLAN Robin Milner Award Active in program committees for conferences like POPL, PLDI, SPLASH, and ICFP Research Trends : His recent work explores intersections of programming language theory with networking, including symbolic verification tools like KATch , infinite-state network analysis with StacKAT , and active learning frameworks for network automata. He applies formal methods to practical challenges in software-defined networking and hypervisor verification. Scientific Awards : NSF CAREER Award Sloan Research Fellowship ACM SIGCOMM Rising Star Award ACM SIGPLAN Robin Milner Award Academic Leadership : Serves as Session Preview Co-Chair for POPL 2024 and organizes workshops like RPLS 2025. He has chaired tutorials on P4 programming and mentored researchers through PLMW programs.

Francisco FerreiraView profile

Lecturer

• Type Systems and Formal Logic
• Formal Meta-theory
• Concurrency, Process Calculi and Session Types
• +2 more

Francisco Ferreira is a Lecturer (tenure track, equivalent to Assistant Professor) in the Department of Computer Science at Royal Holloway, University of London. Previously, he was a postdoctoral Research Associate in the Department of Computing at Imperial College London, working with Professor Nobuko Yoshida. Dr. Ferreira's primary research interests include type systems and formal logic, formal meta-theory, concurrency and process calculi, session types, temporal logic and other modal logics, and principled approaches to programming. His work bridges theoretical foundations with practical applications, particularly in the realm of communication protocols and programming language design. His publication record demonstrates a strong focus on session types and their applications, with a trajectory moving from foundational theoretical work to practical implementations. Over the past decade, his research has increasingly emphasized the verification and implementation of communication protocols, resulting in tools and frameworks that ensure communication safety in distributed systems. Scientific Awards: ICFP'12 Student Research Competition First Place Dr. Ferreira has teaching experience in programming languages and paradigms, having served as both a lecturer and teaching assistant for COMP 302. His industrial experience includes Haskell consulting for Erudite Software, game programming for Bluberi, and developing mission-critical software for Motorola Argentina in the telecom industry.

Andrew K. HirschView profile

Assistant Professor

• Choreographic Programming
• Information-Flow Security
• Computational Effects
• +3 more

Andrew K. Hirsch is an Assistant Professor at the University at Buffalo, SUNY , Department of Computer Science and Engineering. He leads the Databases and Programming Languages group and focuses on programming languages for decentralized systems, particularly choreographic programming and information-flow security. Education: Ph.D. in Computer Science (2019) from Cornell University, supervised by Ross Tate on computational effects. B.S. in Computer Science and Pure Mathematics from The George Washington University. Research Interests: His work centers on choreographic programming, a paradigm ensuring deadlock-free concurrent systems, and information-flow security for decentralized applications. He also explores computational effects and type systems in programming language theory. Publications: Recent work includes advancements in process polymorphism (OOPSLA 2025), type-level polymorphism (PLACES 2025), and security definitions for higher-order declassification (OOPSLA 2023). Students: Doctoral: Michael Piskozub, Keith Allen Mason Masters: Alexander Bohosian, Gianna Bossoreale Undergraduate: Alex Doyoon Kim, Julia Montouri Recent Alumni: Ethan Canton, Tiffany Cai, Vamsi Krishna Bellam, Vincent Chan, Frank (Feng-Mao) Tsai Projects: Leads initiatives such as Choret (open choreographies) and The Pirouette Language and Compiler , which translate choreographic programs into concurrent system implementations.

• Plastic and Reconstructive Surgery
• Aesthetic Surgery
• Rhinoplasty
• +7 more

Erol BENLİER is a Professor at Trakya University Faculty of Medicine, Department of Plastic, Reconstructive and Aesthetic Surgery. With extensive experience in both clinical practice and academic research, he has established himself as a prominent figure in the field of plastic surgery, particularly specializing in rhinoplasty, breast surgery, and reconstructive techniques. His educational background includes multiple doctoral degrees (1998, 2011, 2012), a Master's degree (1990), an Associate's degree (2013), and a Bachelor's degree (2015), along with certification from the European Board of Plastic Reconstructive and Aesthetic Surgery. Dr. BENLİER has demonstrated exceptional commitment to advancing surgical techniques through continuous education and specialization. Dr. BENLİER's research interests span a wide range of plastic surgery disciplines, with particular emphasis on rhinoplasty techniques, breast anthropometry, facial aesthetics, and innovative reconstructive methods. His work on the depressor septi nasi muscle modifications, nasal tip rotation, and ethnic considerations in rhinoplasty has contributed significantly to the field. He has also conducted extensive research on breast dimensions across different populations and body types, providing valuable reference data for aesthetic procedures. Analyzing his recent publications reveals a strong focus on refining surgical techniques and addressing specific challenges in plastic surgery. His work spans from anatomical studies of facial muscles to innovative approaches in breast surgery and reconstructive techniques. The publications demonstrate a consistent pattern of addressing clinical challenges with methodical research, often combining anatomical knowledge with practical surgical innovations. As an active educator, Dr. BENLİER serves on academic promotion committees, chairs conference sessions, and contributes to the training of future plastic surgeons. His involvement in national and international conferences, including serving as a course chairman for rhinoplasty and facial aesthetics, highlights his leadership role in the plastic surgery community. His refereeing activities for academic journals and promotion committees demonstrate his respected position within the academic hierarchy. Dr. BENLİER maintains active research collaborations, as evidenced by his co-authored publications and participation in multi-center studies. His work on flap reconstruction, wound healing, and complications management shows his commitment to improving patient outcomes through evidence-based practice. His diverse research portfolio reflects both depth in specific areas like rhinoplasty and breadth across the entire spectrum of plastic and reconstructive surgery.

Matthias H. HennigView profile

Professor

• Computational Neuroscience
• Large-Scale Neural Recordings
• Neural Population Activity Modeling
• +4 more

Matthias H. Hennig is a Professor of Computational Neuroscience at the University of Edinburgh, School of Informatics, Institute for Adaptive and Neural Computation. He leads the Hennig Lab, which focuses on the intersection of neuroscience and computational methods. His research spans three main areas: Development of tools for analysis of large-scale neural recordings, including the SpikeInterface project and Herding Spikes software Modeling neural population activity using data-driven approaches like Targeted Neural Dynamical Modeling Studying retinal development and function, particularly spontaneous network activity patterns like retinal waves The lab has produced significant methodological contributions to neural data analysis, with software tools used internationally. Recent publications (2019-2022) show consistent output in high-impact journals across computational neuroscience, neural data analysis methods, and biological studies of neural circuits. The research demonstrates a strong focus on developing reproducible analysis pipelines for next-generation electrophysiology data. Professor Hennig currently supervises six PhD students across multiple CDT programs and has an impressive track record of student placements in both academic and industry positions. His international collaborations span institutions in Europe, North America, and India, reflecting the global impact of his work.