Find Academic Supervisors

Viktor KuncakView profile

Associate Professor

• Formal Verification
• Theorem Proving
• Program Synthesis
• +6 more

Viktor Kuncak is an Associate Professor at the École polytechnique fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences (IC) , affiliated with the Laboratory for Automated Reasoning and Analysis (LARA) . His work bridges programming languages, formal verification, and automated reasoning. Email: viktor.kuncak@epfl.ch Office: INR 318, EPFL, Lausanne, Switzerland Research Interests: Viktor specializes in formal verification , theorem proving , and program synthesis , focusing on languages, algorithms, and systems for automated reasoning. His research addresses verification of functional programs, constraint solving, and symbolic computation. Recent Publications Trends: His work includes mechanized HOL reasoning, algebraic array theories, interpolation in ortholattices, and symbolic automata complexity. Keywords span automated reasoning, formal methods, and functional programming. Scientific Awards: 2012: 5-year ERC grant (1.5M EUR) ACM SIGSOFT Distinguished Paper Award Invited talks at Lambda Days, Scala Days, and CACM Research Highlights Advising & Grants: Viktor has supervised 15+ PhD students and led a European COST network in automated reasoning. He served as Associate Editor for TOPLAS and co-chaired CAV, FMCAD, and VMCAI conferences. Labs & Teams: He leads LARA , which develops tools like Leon and Stainless for program verification and synthesis. The group focuses on scalable formal methods for reliable software.

Lars BirkedalView profile

Professor

• Logic and Semantics of Programming Languages
• Type Theories
• Program Logics
• +6 more

Lars Birkedal is a Professor of Computer Science at Aarhus University, Denmark, where he serves as Head of the Logic and Semantics Group. He previously held positions at the IT University of Copenhagen until 2012 and served as Head of Department of Computer Science at Aarhus from 2014 to 2017. His educational background includes a Ph.D. in Computer Science from Carnegie Mellon University, USA, completed in December 1999. Birkedal's primary research interests focus on the logic and semantics of programming languages and type theories. His current work centers on program logics for reasoning about distributed, concurrent, higher-order, and imperative programs; cyber-security; and type theories with guarded recursion. He has made significant contributions to separation logic, particularly through the development of the Iris framework, which earned him the 2023 Alonzo Church Award. His research bridges theoretical foundations with practical applications in program verification and security. His recent publications demonstrate a strong trend toward mechanized verification of complex systems, with particular emphasis on concurrent and distributed programming. The research spans multiple subfields including separation logic variants, capability systems, information flow security, and formal verification of low-level systems. A notable pattern is the integration of logical frameworks with practical verification tools, often implemented in proof assistants like Coq. His scientific achievements have been recognized with numerous prestigious awards: Fellow of the ACM ERC Advanced Grant from the European Research Council (2023) 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation Villum Investigator grant from the Villum Foundation (2019) Danish Minister of Research Elite Research Award (2015) Sapere Aude Advanced Grant from the Danish National Science Research Council (2013) ACM SIGPLAN Milner Award (2013) Birkedal has advised numerous PhD students and postdocs, including Lau Skorstengaard, Kristoffer Just Andersen, Morten Krogh-Jespersen, and Robbert Krebbers. His research has been supported by significant grants including an ERC Advanced Grant (2023), a Villum Investigator grant (2019), and a Sapere Aude Advanced Grant (2013). He has served in editorial roles including Editor-in-Chief of Logical Methods in Computer Science (2014-2020) and Chairman of the board, and as PC Chair for POPL 2020. He leads the Logic and Semantics Group at Aarhus University and has been instrumental in several major research projects including the CHORDS project (Compositional Higher-Order Reasoning about Distributed Systems) and the Center for Basic Research in Program Verification (CPV). His earlier ModuRes project (Modular Reasoning about Concurrent Higher-Order Imperative Programs) laid important groundwork for verification of modern programming language features.

Tiark RompfView profile

Associate Professor

• Programming Languages
• Compilers
• Computer Architecture
• +7 more

Tiark Rompf is the Kevin C. and Susanne L. Kahn New Frontiers Associate Professor at Purdue University, with a scientific focus on programming languages, compilers, and systems research. He co-directs the Purdue Center for Programming Principles and Software Systems (PurPL) and serves as a Scientific Advisor at SambaNova Systems. His research spans Reachability Types (integrating Rust-style lifetime tracking with higher-order abstractions), Rhyme (query languages for nested data), and formal verification using Coq and logical relations. Key techniques include Graph IRs , Mechanized Proofs , and E-Graphs . Scientific Awards : GPCE Test of Time Award (2020) ACM SIGPLAN PL Software Award (2019) NSF CAREER Award (2016) Google Faculty Research Award (2017, 2018) DOE Early Career Research Award (2017) He teaches graduate courses on compilers (CS 502, CS 590) and software foundations. His lab actively recruits PhD students for projects involving type systems, compiler design, and metaprogramming.

Viktor KunčakView profile

Associate Professor

• Program Synthesis
• Program Verification
• Automated Reasoning
• +3 more

Viktor Kunčak is an Associate Professor with tenure at the École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences. He leads the Laboratory for Automated Reasoning and Analysis (LARA) and has been at EPFL since 2007 after completing his PhD at the Massachusetts Institute of Technology (MIT). His educational background includes: PhD from Massachusetts Institute of Technology (MIT), 2007 Professor Kunčak's research focuses on bridging the gap between human goals and computational realizations through program synthesis , verification , and automated reasoning . His work has significant applications in software development, formal methods, and programming languages. He is particularly known for developing practical tools like Leon and Stainless that implement theoretical advances in automated reasoning. His recent publications demonstrate a consistent focus on advancing program synthesis techniques, verification frameworks, and formal methods. The research trajectory shows progression from foundational theoretical work to practical applications and tools that can be used by developers. Many papers focus on making verification and synthesis more accessible and efficient for real-world programming tasks. His notable scientific achievements include: ACM SIGSOFT Distinguished Paper Award for work on automated testing European Research Council (ERC) Grant of 1.5M EUR (2012) Communications of the ACM Research Highlight for a PLDI paper Professor Kunčak has supervised 13 completed PhD theses and teaches courses on functional and parallel programming, compilers, and verification at EPFL. He has also co-taught a popular MOOC on Parallel Programming that reached over 100,000 learners worldwide. His research has been supported by significant funding including a 5-year ERC grant. He has served in leadership roles for major conferences including as program co-chair for FMCAD 2014 and VMCAI 2012. He leads the Laboratory for Automated Reasoning and Analysis (LARA) at EPFL, which develops tools like Stainless for program verification. The lab has established an international presence through collaborations including a European COST Action to establish standardized formats for verification and synthesis (Rich Model Toolkit).

• Theoretical Computer Science
• Artificial Intelligence
• Machine Learning
• +3 more

Prof. Dr. Boris Hollas is a faculty member at the Faculty of Computer Science/Mathematics at Dresden University of Applied Sciences. He holds a professorship in the Department of Mathematics and teaches courses in theoretical computer science, programming paradigms, artificial intelligence, and machine learning methods. Teaches core courses like Theoretical Computer Science , Programming Paradigms , and Artificial Intelligence . Focuses on foundational topics such as algorithmics, graph theory, and supervised/unsupervised learning methods. His research interests span theoretical computer science, symbolic AI, probabilistic AI, and functional programming. He emphasizes practical applications using tools like Prolog, Python, and Scala. Prof. Hollas supervises final theses in topics related to artificial intelligence, machine learning, and natural language processing. He has published educational materials, including a Basic Course in Theoretical Computer Science , which serves as a reference for his lectures.

Sandro StuckiView profile

Lecturer

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

Sandro Stucki is a Lecturer in the Department of Computer Science and Engineering at Chalmers University of Technology. He has previously worked as an applied scientist at Amazon and as a postdoctoral researcher at Chalmers University of Technology and the University of Gothenburg. He completed his doctoral studies at the Programming Methods Laboratory (LAMP) at EPFL under the supervision of Professor Martin Odersky. His research focuses on programming languages, with particular interest in formal methods, type systems and theory, and the semantics and implementation of domain-specific languages. He applies formal methods and type theory to problems in privacy and security, investigates type safety of Scala and related type systems, and develops type soundness proofs using Agda. His work also includes designing domain-specific languages for modeling probabilistic and stochastic systems, especially biochemical systems. He has contributed to the Scala ecosystem by developing a GNU/Emacs mode for Kappa, a modeling language for systems biology. His recent publications demonstrate strong expertise across programming language theory, formal verification, privacy-preserving systems, and applications in systems biology. His work bridges theoretical foundations with practical applications, particularly in the Scala programming language ecosystem. Stucki is actively involved in academic service, having served on program committees for numerous conferences including ECAI, GPCE, NWPT, and as a steering committee member for the Scala Symposium series. He has also organized several academic events, including the Scala Symposium 2016. He currently teaches courses on Data Science and AI, Fundamentals of Program Development, and Neuro-symbolic AI at Chalmers/Gothenburg University, and has previously taught courses on Parallel Functional Programming, Principles of Concurrent Programming, and Types and Programming Languages.

Bruce LesterView profile

Professor

• Parallel Computing
• Programming Languages
• Multi-Core Processors
• +3 more

Dr. Bruce Lester is a Professor of Computer Science at Maharishi University of Management (MUM), where he founded the Computer Science Department and served as its Chair for eight years. He holds PhD, MS, and BS degrees from the Massachusetts Institute of Technology (MIT). His research focuses on Parallel Computing and Programming Languages for Multi-Core Processors, with a strong emphasis on compiler optimization and concurrency control. Education: Bachelor of Science, Massachusetts Institute of Technology Master of Science, Massachusetts Institute of Technology Doctor of Philosophy (PhD), Massachusetts Institute of Technology Research Interests: Dr. Lester’s work spans Parallel Computing, Programming Languages, and Multi-Core Processor Optimization. He has developed techniques for lock-free parallel data structures, operator fusion in data-parallel libraries, and compile-time detection of control flow errors in parallel programs. His contributions to the field include foundational research on concurrency debugging and the design of educational tools like Multi-Pascal for teaching parallel programming. Publications Trends: His publications emphasize practical applications of parallel computing, including high-performance algorithms, compiler techniques, and concurrency error detection. Recent work focuses on lock-free systems and data-parallel library optimizations. Awards & Honors: Best Paper Award at the 2011 International Conference of Parallel and Distributed Computing (World Congress on Engineering) Advising & Grants: No formal advisee names are listed in the provided data. His professional experience includes 13 years of teaching and six years as a Senior Software Engineer at Primus Telecommunications, where he developed client/server systems and internet platforms. Labs & Teams: While specific lab affiliations are not detailed, his role as founder of MUM’s Computer Science Department suggests leadership in departmental research initiatives.

• Computer Science
• Big Data
• Machine Learning
• +3 more

Fredrick Egli is a Lecturer and Head of the Bachelor's Program in Information Technology at the School of Information Technology, Lucerne University of Applied Sciences and Arts (HSLU). He is based in Rotkreuz, Switzerland, located at Suurstoffi 1, Room 8.32. Education: Master of Science in Computer Science (2012–2015), ETH Zurich Bachelor of Science in Computer Science (2009–2012), HSR Rapperswil Research & Expertise: Egli specializes in software engineering, big data technologies, and machine learning. His technical competencies include programming languages (Scala, Java, Python, JavaScript), ML frameworks (Spark-MLlib, Scikit-learn), data tools (Spark-SQL, Pandas, JupyterLab), and web development (Svelte, Vue.js, Node.js). He also manages big data infrastructure and dashboards (Splunk, Grafana). Labs/Teams: He leads the Big Data Lab Cluster, integrating practical software development with advanced data technologies.

José ProençaView profile

Lecturer

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

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

John A. MillerView profile

Professor

• Web-based Simulation
• Workflow Management
• Bioinformatics and Health Informatics
• +6 more

John A. Miller is a Professor in the School of Computing at the University of Georgia, specializing in computational data science, simulation, and machine learning. He holds a PhD from Georgia Institute of Technology (1986) and has been a faculty member since 1986, progressing from Assistant Professor (1986–1993) to Professor (2000–present). His research focuses on web-based simulation, workflow management, bioinformatics, and pandemic forecasting using AI and deep learning. Education: PhD in Computer Science (Georgia Tech, 1986), MS (Georgia Tech, 1982), BS in Applied Mathematics (Northwestern University, 1980). Research interests include: (i) Modeling & Simulation, (ii) Web Services/Workflow, (iii) Big Data Analytics, (iv) Database Systems, and (v) Bioinformatics. Notable projects include NSF-funded work on pandemic prediction using foundation models and AI-driven glycan structure analysis. Recent awards include the 2024 Student Career Success Influencer Award. He has secured over $5M in grants from NSF, Google, and NIH for projects like knowledge-infused learning for time series forecasting and AI for scientific discovery. Labs/Teams: Leads interdisciplinary teams in pandemic modeling, traffic simulation, and healthcare analytics. Active in collaborative research with institutions like The Home Depot and University of Pennsylvania.

Manel BarkallahView profile

Researcher

• Coordination Languages
• Cyber Security
• Programming Tools
• +3 more

Manel Barkallah is a Researcher at the University of Namur's Faculty of Computer Science, affiliated with the Namur Digital Institute. They hold a Doctorate in Sciences and a Master of Informatics (2015-2017). Their research focuses on coordination languages, cybersecurity tools, formal methods, and algorithm optimization. Key projects include leading the STS-Bach PhD project (Contextual Coordination Model for Socio-Technical Systems) and contributing to the CYBEREXCELLENCE initiative in cybersecurity. They actively participate in conferences and workshops, such as DisCoTec 2025 and the Belgium-Netherlands Software Evolution Workshop. Barkallah also promotes gender equality in STEM, organizing events like 'Women and Girls in Science' at UNamur. Research interests span guarded lists, tool integration (e.g., B2Scala), and workbench development (Anemone). Their work emphasizes security, efficiency, and formal verification in distributed systems. Barkallah has contributed to 7 peer-reviewed publications and actively engages in academic outreach and mentoring.

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.

William LewisView profile

Professor

• Opera Performance
• Vocal Pedagogy
• Classical Singing Techniques
• +3 more

William Lewis is a Professor of Voice and holds the Frank C. Erwin, Jr. Centennial Professorship in Opera at the University of Texas at Austin. He is the Founder and Artistic Director of the Austrian American Mozart Academy in Salzburg, a prestigious summer training program for opera performance. Previously, he taught at Penn State University and the State University of New York at Binghamton. His teaching focuses on voice and opera, emphasizing technical mastery and interpretive depth. Education: Studied at the University of Colorado, Texas Christian University, and New York University. His performance career spans over 130 major operatic roles in ten languages, performing at renowned venues including the Metropolitan Opera, Teatro alla Scala (Milan), and Covent Garden (London). Notable roles include Rodolfo, Cavaradossi, Pinkerton, and dual roles in *Elektra*. He has premiered contemporary works like *Angle of Repose*. Research interests center on operatic vocal technique, historical performance practices, and the intersection of language and vocal expression. His performances emphasize versatility across classical to modern operatic repertoire. Advising and grants: No specific grants listed, but his programs like the Mozart Academy suggest sustained institutional and artistic support. Affiliated with the Butler Opera Center at UT Austin.

• Static analysis
• Dynamic Analysis
• Abstract interpretation
• +5 more

Quentin Stiévenart is a post-doctoral researcher at the Software Languages Lab of the Vrije Universiteit Brussel (VUB) in Belgium, specializing in programming languages and program analysis. His research spans multiple areas within static and dynamic analysis, with a particular focus on WebAssembly security and analysis techniques. His primary research interests include: Static and dynamic program analysis Abstract interpretation Type systems and effect systems Concurrent and higher-order programming languages WebAssembly security and analysis Interpreter and framework design Stiévenart's recent publications demonstrate a strong focus on compositional and modular analysis techniques, particularly applied to WebAssembly. His work addresses critical security concerns in WebAssembly, including information flow analysis, binary analysis, and vulnerability detection. He has also contributed to frameworks for static analysis of higher-order languages and techniques for improving analysis performance through parallelism and incremental computation. His academic service includes extensive peer review activities and program committee membership for major conferences including SAS, SCAM, ICFP, ECOOP, and OOPSLA, with a particular emphasis on artifact evaluation committees. Stiévenart has developed several research tools including Wassail (a static analysis tool for WebAssembly security), MAF (a framework for modular static analyses), and Scala-AM (a framework for developing static analyses in Scala).

José ProençaView profile

Assistant Professor

• Formal Methods
• Concurrency
• Coordination Models
• +5 more

José Proença is an Assistant Professor at the Faculty of Sciences of the University of Porto (FCUP) and a Researcher at CISTER Research Centre, collaborating with INESC TEC. He specializes in formal methods for component-based systems, concurrency, and cyber-physical systems. His research focuses on coordination models, embedded systems, and software product lines, with contributions to frameworks like Reo and LooCI. Education: PhD in Concurrent & Distributed Computing (Leiden University, 2011), BSc+MSc in Mathematics & Computer Science (University of Minho, 2005) Research interests include formal verification, runtime verification for real-time systems, and hybrid systems programming. He coordinates projects like Ibex (FCT-funded) and has been involved in ECSEL projects like VALU3S. Supervised numerous MSc and PhD students, including work on CPS monitors, hybrid simulations, and variability analysis. Teaching includes Concurrent Programming, Algorithms, and Software Verification at the MSc level. Active in program committees for conferences like COORDINATION and SAFECOMP, and steering committee roles. Tools developed include Lince and RebeCaos for system simulation and formal analysis.