Find Academic Supervisors

• Service Design & Management
• Collaboration Engineering
• Digital Learning
• +7 more

Jan Marco Leimeister is a Professor and Director at the Institute of Business Administration (IBWL) at the University of Kassel. His research focuses on service design & management, collaboration engineering, and digital learning innovations. He leads interdisciplinary projects exploring conversational AI, generative AI applications, and ethical AI system design. Key research areas include service innovation ecosystems, hybrid human-AI collaboration frameworks, and digital transformation strategies. His work emphasizes practical applications in areas like financial fraud detection (via synthetic data ecosystems) and adaptive learning systems for argumentation skill development. He actively contributes to advancing methodologies for structured literature reviews in business research and integrating generative AI into scholarly practices. Recent publications (2024-2025) highlight contributions in AI ethics, metaverse platform analysis, and process mining for IT service management. His work bridges theory and practice, addressing challenges in data fairness, conversational agent branding, and scaling digital service innovations. Leimeister's academic leadership includes directing the IBWL's master's programs in Digital Business and Sustainable Management. He collaborates internationally, emphasizing design science research and technology-driven solutions for modern organizational challenges.

Michal FriedmanView profile

Assistant Professor

• Systems
• Concurrent Computing
• Programming Languages
• +3 more

Michal Friedman is an Assistant Professor at the Department of Computer Science, ETH Zurich, specializing in systems, concurrent computing, programming languages, and sustainable computing. He leads research on designing system fundamentals across software and hardware to enhance performance and efficiency in next-generation computing platforms. Prior to ETH, he completed a postdoc at the same institution and earned his Ph.D. from the Technion under Prof. Erez Petrank, focusing on concurrent data structures for non-volatile memories. Education: Ph.D. in Computer Science (Technion, advised by Erez Petrank), BSc Summa Cum Laude (Technion). Awards include the Eric and Wendy Schmidt Postdoctoral Award (2022), Blavatnik Prize (2021), and Azrieli Fellowship (2018–2021). His work spans persistent memory systems, concurrent algorithms, and energy-efficient computing. Key contributions include PCcheck (ML checkpointing), Dirigent (serverless orchestration), and foundational research on non-volatile memory correctness conditions. He has authored over 15 papers in top conferences like ASPLOS, SOSP, and VLDB, and serves on program committees for systems and programming languages venues.

Andreas WallraffView profile

Professor

• Quantum Optics
• Quantum Information Processing
• Superconducting Circuits
• +3 more

Andreas Wallraff is a Full Professor in the Department of Physics at ETH Zurich, where he leads cutting-edge research in quantum optics and quantum information processing using superconducting electronic circuits. His work focuses on large-bandwidth microwave techniques at ultra-low temperatures, leveraging ETH's FIRST laboratory clean room facilities for device fabrication. He actively collaborates within the Quantum Systems for Information Technology (QSIT) program and teaches advanced courses such as 'Quantum Science with Superconducting Circuits' (Autumn 2025). Education: Imperial College London and RWTH Aachen (B.Sc. equivalent in Physics, 1994) RWTH Aachen (Diploma in Physics/M.Sc. equivalent, 1997) University of Erlangen-Nuremberg (Ph.D. in Physics, 2000) Wallraff's research centers on quantum-coherent phenomena in superconducting circuits, with emphasis on quantum optics implementations, qubit control, and quantum information processing. His group pioneers experimental techniques for observing quantum effects like energy level quantization and tunneling in macroscopic systems, building on his early work with Josephson vortex oscillators. Current efforts integrate microwave engineering with quantum error correction, multi-qubit architectures, and hybrid quantum systems involving semiconductors and graphene quantum dots. His recent publications reveal a strong trend toward scalable quantum computing solutions, particularly in quantum error correction (surface codes, lattice surgery), multi-module processor integration, and real-time feedback control. Work spans fundamental quantum optics (photon-qubit coupling) to engineering challenges (flux control calibration, leakage reduction), with increasing focus on practical implementations for fault-tolerant systems. Scientific Awards: Nicholas Kurti European Science Prize (2006) for 'decisive and innovative experiments on quantum mechanical effects in superconducting circuits' Wallraff leads an active research group integrated into ETH's QSIT initiative, securing substantial grants for quantum processor development and cryogenic infrastructure. His team maintains collaborations across ETH on semiconductor quantum dots, atomic cavity QED, and single-molecule spectroscopy, while developing novel fabrication techniques like polymer spacer processes for 3D-integrated circuits. Future work targets loophole-free Bell tests, quantum networks, and real-time reinforcement learning for quantum control. The group operates within ETH's Laboratorium für Festkörperphysik (HPF D 9), utilizing advanced cryogenic setups for 100-qubit-scale systems. They maintain close ties with Yale University (where Wallraff was a postdoc) and contribute to international quantum computing roadmaps through publications in high-impact journals.

Barbara JobstmannView profile

Lecturer

• Formal Verification
• Program Synthesis
• Repair of Reactive Programs
• +9 more

Barbara Jobstmann is a Lecturer at the School of Computer and Communication Sciences at École Polytechnique Fédérale de Lausanne (EPFL), where she is also affiliated with the SIN - Administration unit (SIN-GE). She contributes to teaching and organizes outreach initiatives such as the IC Declic Summer School. Additionally, she works for Cadence Design Systems, indicating a strong industry-academia connection in her professional profile. Her research focuses on the development of reliable computer systems through formal methods. Key interests include the synthesis and repair of reactive programs, quantitative verification and synthesis, and the use of temporal logics for system specifications. She investigates the analysis and verification of hardware designs, transactional memories, business process models, and embedded systems. Her theoretical work extends to interface theory, infinite games, and automata theory, which underpin robust system design and verification. While no recent publications or awards are listed in the provided text, her expertise lies at the intersection of theoretical computer science and practical system reliability. She plays an active role in education and outreach within EPFL's computer science community. Barbara Jobstmann has no listed scientific awards or recognitions in the provided information. She advises or has advised no students listed in the current data. There is no mention of research grants or funding sources. She is involved in organizing the IC Declic Summer School, contributing to EPFL’s educational outreach. She is associated with the SIN (Systems, Architecture, Software) research group at EPFL’s School of Computer and Communication Sciences, where she conducts research and contributes to academic and outreach activities.

Martin VechevView profile

Professor

• Artificial Intelligence
• Programming Languages
• Cybersecurity
• +7 more

Martin Vechev is a Full Professor of Computer Science at ETH Zurich, leading the Secure, Reliable, and Intelligent Systems Lab. He is also the Founder and Architect of INSAIT, a pioneering research center in computer science and AI in Eastern Europe. Previously, he worked at IBM T.J. Watson Research Center and earned his PhD from the University of Cambridge and B.Sc. from Simon Fraser University. His research focuses on AI and programming languages, with contributions to quantum programming (e.g., Silq), AI-driven code analysis (DeepCode), and security for decentralized systems (ChainSecurity). He has co-founded three deep-tech startups and received numerous awards, including the ACM SIGPLAN Robin Milner Award. His work spans theoretical foundations and practical systems, emphasizing formal methods and security guarantees. Education: PhD in Computer Science, University of Cambridge (2003-2008) B.Sc. in Computer Science, Simon Fraser University (1996-2001) Research Interests: His work bridges AI and programming languages, addressing challenges in secure AI, quantum computing, and automated reasoning. Key areas include: AI for code analysis and security Formal verification of decentralized systems Quantum programming languages Data privacy and adversarial machine learning Key Contributions: His group built widely used systems like Silq (first high-level quantum language) and developed AI-driven tools for detecting security vulnerabilities (DeepCode). His research on watermarking and federated learning privacy has been influential in both academia and industry. Awards: ACM SIGPLAN Robin Milner Young Researcher Award ERC Starting and Consolidator Grants Google/Facebook Faculty Awards IBM Research Excellence Awards Advising & Grants: He leads the SRI Lab at ETH, supervises PhD students in AI and programming languages, and manages grants from ERC, industry partners, and Swiss national initiatives. His startups (DeepCode, ChainSecurity, LatticeFlow) address real-world challenges in AI security, blockchain, and robust machine learning. Labs & Teams: The Secure, Reliable, and Intelligent Systems (SRI) Lab at ETH Zurich focuses on safe AI, programming languages, and security. Collaborations include INSAIT, a joint venture with ETH and EPFL.

Christoph KochView profile

Professor

• Database Theory
• Query Optimization
• Data Management Systems
• +4 more

Christoph Koch is a Full Professor of Computer Science at École Polytechnique Fédérale de Lausanne (EPFL), leading the Data Analysis Theory and Applications Laboratory (DATA). His academic journey includes previous roles as Associate Professor at Cornell University (2007-2010) and Saarland University (2005-2007), with academic foundations from TU Vienna (PhD 2001, Habilitation 2004) and research at CERN. Education: PhD in Artificial Intelligence (TU Vienna & CERN, 2001), Habilitation (TU Vienna, 2004) Appointments: EPFL (2010-present), Cornell University (2007-2010), Saarland University (2005-2007), TU Vienna (2003-2005) His research focuses on database theory and systems , with recent work spanning query optimization , transaction processing , and parallel data management . His publications address topics like robustness under SQL isolation levels , quantifier elimination for query optimization , and Datalog extensions . Articles trend toward high-dimensional data cubes , transactional concurrency , and embedded DSLs for performance-critical systems . Scientific accolades include: Best Paper Awards: PODS (2002) ICALP (2005) SIGMOD (2011) VLDB (2014) GPCE (2017) ERC Consolidator Grant (2011) Google Research Award (2009) ACM SIGLOG Alonzo Church Award (2021) He has advised numerous PhD students including Immanuel Trummer (now at Cornell), Milos Nikolic (Edinburgh), and Lionel Parreaux (HKUST). His lab contributes to query engine architectures , parallel processing systems , and quantum computing applications in database optimization.

Sankalp GambhirView profile

Researcher

• Program Verification
• Proof Assistants
• Formal Logic
• +7 more

Sankalp Gambhir is a Doctoral Assistant at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the Laboratory for Automated Reasoning and Analysis (LARA) in the School of Computer and Communication Sciences (IC). He is pursuing his doctoral degree in Computer and Communication Sciences under the supervision of Prof. Viktor Kunčak. His role is both academic and research-oriented, contributing to foundational work in formal methods and verification. Education: Bachelor of Engineering in Engineering Physics, Indian Institute of Technology, Bombay Doctoral Program in Computer and Communication Sciences, EPFL (ongoing) His research centers on proof assistants and program verification , with a strong interest in related areas such as logic, program synthesis, and formal reasoning. He is actively developing and working with the LISA proof assistant, aiming to enhance the reliability and correctness of software through rigorous mathematical foundations. His work sits at the intersection of theoretical computer science and practical software engineering. Sankalp has a background in quantum information theory from his undergraduate thesis, indicating interdisciplinary depth. While no publications are listed in the provided text, his research trajectory suggests a focus on foundational tools for ensuring software correctness and advancing automated reasoning systems. Scientific Awards: He advises no students as per current information and there is no mention of grants or funding. However, as a doctoral assistant at EPFL, he is likely supported through institutional or project-based funding related to LARA’s research initiatives. Labs and Teams: He is an active member of the Laboratory for Automated Reasoning and Analysis (LARA) at EPFL, a research group dedicated to developing tools and theories for software correctness, verification, and synthesis. The lab focuses on building practical systems grounded in formal logic and programming language theory.

• Programming Language Theory
• Type Systems
• Scala
• +11 more

Yichen Xu is a Doctoral Assistant at the Programming Methods Laboratory (LAMP1) within the School of Computer and Communication Sciences at École Polytechnique Fédérale de Lausanne (EPFL). He is currently pursuing his Ph.D. in Computer Science under the supervision of Professor Martin Odersky, the creator of Scala. Bachelor of Engineering in Computer Science, Beijing University of Posts and Telecommunications (2018–2022) Doctor of Philosophy in Computer Science, EPFL (2022–present) Yichen's research bridges programming language theory and machine learning. His primary focus lies in advancing Scala's type system, particularly through work on Capture Calculus and Generalized Algebraic Data Types (GADTs), aiming to achieve safe and efficient effect tracking. He has also made significant contributions to graph representation learning, especially in contrastive learning frameworks for graphs. His work spans both theoretical foundations and practical implementations in compilers and open-source libraries. His recent publications reveal a strong trend in formal methods for programming languages and self-supervised learning on graphs. Key themes include data race prevention via flexible type systems, formalization of inference rules in type calculi, and empirical studies on contrastive learning with adaptive augmentation and structure-aware mining. These works have been published in venues such as IWACO, NeurIPS, WWW, and Scala Symposium. First Prize in NSCSCC 2020 competition (EasterMIPS CPU project) Yichen has been actively involved in mentoring and collaborative research, contributing to major projects like CodeGeeX and the Scala 3 compiler (dotty). He has worked closely with researchers including Prof. Shu Wu, Prof. Zhilin Yang, Dr. Aleksander Boruch-Gruszecki, and Yanqiao Zhu. His open-source contributions include tools like PyGCL, fscala2c, and meow, reflecting a strong commitment to practical software development and community engagement. He is part of the Programming Methods Laboratory at EPFL and has previously been affiliated with research groups at CRIPAC (CASIA) and IIIS (Tsinghua University), forming a broad collaborative network in programming languages and machine learning.

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.

• Formal Methods
• Interactive Theorem Proving
• Coq Proof Assistant
• +5 more

Aurèle Barrière is a Lecturer at École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the School of Computer and Communication Sciences (IC) and the Department of Computer Science (IINFCOM) through the Systems and Formalisms (SYSTEMF) laboratory. He also contributes to teaching within the EDIC-ENS doctoral program and the SIN-ENS theoretical computer science group. His research focuses on formal methods, interactive theorem proving, and the Coq proof assistant, with broader interests in type theory, programming languages, automated reasoning, and verification techniques. These areas bridge theoretical computer science with practical applications in software correctness and logical frameworks. Barrière actively participates in academic instruction, delivering courses on Interactive Theorem Proving and computational methods. His roles span research and teaching, reflecting a commitment to both theoretical exploration and student engagement.

• Educational Sciences
• Educational Assessment
• Standardized Testing
• +2 more

Sandra Fenaroli is a Researcher at the Competence Centre for Innovation and Research on Education Systems (CIRSE) within the Department of Education and Learning at the University of Applied Sciences and Arts of Southern Switzerland (SUPSI). She has been with CIRSE since December 2011, contributing to various educational research projects at cantonal, national, and international levels. Her educational background includes a bachelor's degree in Social Work and Social Policies from the University of Fribourg (2009) and a master's degree in Social Sciences from the University of Lausanne (2011). Dr. Fenaroli's research focuses on educational assessment , particularly standardized testing in educational systems. Her work examines both systemic and individual evaluation approaches, with significant contributions to understanding school effectiveness, PISA studies, and multilevel analysis of educational data. She has conducted comparative research between the Ticino and Geneva cantons in Switzerland, exploring institutional effects on student achievement and demonstrating that while institutional effects account for 5-12% of performance variance, these effects don't correspond to simple social or academic composition factors. Her expertise includes research methodology, statistical analysis with SPSS, item creation using the ItemBuilder program, and organization of standardized tests in schools. She has contributed to major educational assessments including PISA, national verification of fundamental skills (VeCoF), and cantonal indicator projects. Educational Sciences Educational Assessment Standardized Testing Educational Research Methodology School Effectiveness Comparative Education Dr. Fenaroli has published multiple scholarly works focusing on educational assessment methodologies and analysis of educational systems. Her publications demonstrate a consistent focus on improving educational evaluation practices through rigorous research methods, with particular attention to the Swiss educational context.

Gabriele RögerView profile

Lecturer

• Classical Planning
• Heuristic Search
• Artificial Intelligence
• +4 more

Gabriele Röger is a Lecturer and Senior Research Associate at the University of Basel , affiliated with the Department of Mathematics and Computer Science . She previously earned her Dr. rer. nat. in 2014 from the University of Freiburg. Research Interests : Her work focuses on classical planning and heuristic search , with significant contributions to planning systems like Fast Downward and Temporal Fast Downward. She has developed advanced techniques for cost partitioning , unsolvability certification , and merge-and-shrink frameworks , advancing the field of automated planning . Recent Publications (2025-2018) highlight innovations in stochastic shortest path problems , state space reduction , certificate generation , and planning heuristics based on linear programming and symmetry analysis . Awards & Recognition : ICAPS 2024 Influential Paper Award Best Student Paper Runner-Up (ICAPS 2022) SoCS 2020 Best Paper Award ICAPS 2019 Best Paper Award ICAPS Best Dissertation Award (2016) Multiple International Planning Competition wins (2008-2018) Leadership Roles : Co-Chair, SoCS 2013 Program Co-Chair, ICAPS 2018 Associate Program Co-Chair, AAAI 2021 ICAPS President (2022-2024) Member, JAIR Editorial Board Lab Affiliation : Actively contributes to the AI Group at the University of Basel, collaborating on heuristic search and planning systems development.

• Computer Science
• Automated Reasoning
• Programming Languages
• +2 more

Romain Edelmann is a Lecturer at the College of Engineering (IC), affiliated with the Department of Computer Science (IINFCOM) at École Polytechnique Fédérale de Lausanne (EPFL). He is associated with the Automated Analysis and Reasoning Laboratory (LARA) and the EPFL IC-SIN SIN-ENS group, focusing on teaching and research in computational systems. Role: Lecturer Labs: LARA (Automated Analysis and Reasoning Laboratory), SIN-ENS Contact: romain.edelmann@epfl.ch | +41 21 693 12 24 His research interests span Computer Science , with emphasis on Automated Reasoning , Programming Languages , and Formal Methods for software verification. He contributes to academic programs like the Turing Course, Programming and Mazes .

Rishabh IyerView profile

Assistant Professor

• Computer Systems
• Performance Analysis and Optimization
• Operating Systems
• +5 more

Rishabh Iyer is an Assistant Professor in the Electrical Engineering and Computer Sciences department at the University of California, Berkeley. His research bridges computer systems, networking, and formal methods with a focus on performance predictability and reliability. Prior to Berkeley, he completed his PhD at EPFL and undergraduate studies at IIT Bombay. His educational background includes: PhD in Computer Science from École Polytechnique Fédérale de Lausanne (EPFL) Bachelor's degree from Indian Institute of Technology Bombay (IIT Bombay) Iyer's research centers on performance interfaces for computer systems – creating succinct abstractions that allow engineers to reason about system performance without understanding implementation details. His work spans three major directions: (1) Extracting performance interfaces from implementations, (2) Designing systems with predictable performance, and (3) Formally verifying performance claims. This research combines operating systems, networking, computer architecture, and formal verification techniques to address performance unpredictability in modern systems. His group develops tools like PIX for network functions, KFlex for kernel extensions, and Software LPN for hardware accelerators. His publications reveal strong focus on performance modeling for network functions, kernel extensions, and hardware accelerators, with recent work expanding into real-time systems and SD-WAN validation. The research consistently targets practical impact, with deployments at companies like Meta and Alibaba. Scientific recognition includes: ACM SIGOPS Dennis M. Ritchie Award Eurosys Roger Needham PhD Award Dimitris N. Chorafas Award Best Paper at VDAT 2019 Iyer actively advises students at UC Berkeley and teaches courses including CS 294-262 (Performance Analysis) and CS 168 (Internet Architecture). Previously at EPFL, he taught Principles of Computer Systems, Software Engineering, and Vector Calculus. His group seeks talented students interested in building reliable, high-performance systems. Current research directions include performance interfaces for distributed applications, next-generation kernel extensions, and formally verified network systems. He leads research within UC Berkeley's systems community and maintains strong connections with EPFL's Dependable Systems Lab where he completed his PhD.

• Robotic Manipulation
• Control Theory
• Differential Geometry
• +5 more

Fares J. Abu-Dakka is an Assistant Professor in the Mechanical Engineering Program at New York University Abu Dhabi, where he joined in September 2024. Previously, he served as a Lecturer and Researcher in the Faculty of Engineering - Electronic and Informatic Department at Mondragon Unibertsitatea (2023-2024) and as a Senior Scientist and Leader for the Robot Learning Group at the Munich Institute of Robotics and Machine Intelligence, Technische Universität München (2022-2023). His research focuses on advancing robotic manipulation through the integration of control theory, differential geometry, and machine learning, with particular emphasis on enhancing robotic systems' performance, adaptability, and safety. Dr. Abu-Dakka explores how advanced mathematical frameworks and intelligent algorithms can empower robots to interact more effectively with complex environments, with applications spanning industrial automation, prosthetics, and human-robot collaboration. His recent publications demonstrate expertise in geometry-aware motion planning, variable impedance control, safe execution of robotic skills, and human-robot skill benchmarking. He has organized multiple workshops at major robotics conferences including IROS and ECC, focusing on formal methods in robotics systems, certified control synthesis, and variable impedance learning and control. IEEE Senior Member (2024) Member of the ELLIS Society e.V (2024) Dr. Abu-Dakka actively contributes to the robotics community through workshop organization and collaborative research, with recent work examining AI-driven intent detection, neural interfaces, sensory feedback systems for prosthetics, and certified control synthesis with rigorous safety guarantees. His research bridges theoretical control methods with practical robotic applications, emphasizing mathematical rigor while addressing real-world implementation challenges.