Find Academic Supervisors

Andreas AbelView profile

Senior Lecturer

• Programming Languages
• Logic
• Type Theory
• +7 more

Andreas Abel is a Senior Lecturer at the Department of Computer Science, Gothenburg University, with a focus on Programming Languages, Logic, and Type Theory. His work includes contributions to dependently typed programming, functional programming, lambda calculus, and formal verification. Research Interests Programming Languages Logic Types Projects Principal Investigator for Modal Dependent Type Theory (Vetenskapsrådet grant 2020-2024) Editor of the Theoretical Pearls column in the Journal of Functional Programming Senior developer of the dependently-typed language Agda His recent publications span graded type theory, normalization by evaluation, strong normalization, and formal verification using Agda. Key collaborations include Jean-Philippe Bernardy and Thierry Coquand. Scientific Awards Vetenskapsrådet grant 2020-2024 VR Grant 2014-04864 He has supervised numerous projects, developed software tools like the Backus Naur Form Compiler (BNFC), and contributed to international conferences as a PC member and author.

• Compilers
• Computer Architecture
• High-Level Synthesis
• +5 more

Scott Mahlke is a Professor and Associate Chair in the Department of Electrical Engineering and Computer Science at the University of Michigan's College of Engineering. He is affiliated with both the Advanced Computer Architecture Laboratory and the Software Systems Laboratory. Dr. Mahlke joined the University of Michigan in 2001 after completing his Ph.D. at the University of Illinois and working at HP Laboratories. Ph.D., University of Illinois Former Researcher, HP Laboratories Dr. Mahlke's research spans compilers, computer architecture, and high-level synthesis, with particular focus on overcoming challenges in performance, power consumption, and reliability for next-generation computer systems. His work integrates hardware and software co-design approaches to address fundamental limitations in modern computing platforms. His research has evolved from traditional compiler and architecture topics toward increasingly incorporating machine learning acceleration, autonomous systems, and reliability engineering. Analysis of his recent publications (2021-2025) reveals a strong trend toward hardware-software co-design for emerging workloads, particularly in autonomous systems, neural network acceleration, and reliability-aware computing. His work demonstrates consistent innovation in bridging compiler technology with architectural innovations to solve real-world performance and efficiency challenges. Dr. Mahlke has received significant recognition for his contributions to the field: National Science Foundation CAREER Award (2003) for "Compiler-Directed Synthesis of Application Specific Processors" Morris Wellman Faculty Development Assistant Professor appointment (2004) ISCA Most Influential Paper Award (2006) for the 1991 paper "IMPACT: An Architectural Framework for Multiple Instruction Issue Processors" Young Alumni Award from the University of Illinois ECE Department (2007) As an educator, Dr. Mahlke has taught core computer systems courses including EECS 370 (Introduction to Computer Organization), EECS 483 (Compiler Construction), and EECS 583 (Advanced Compilers) since joining Michigan. His teaching philosophy follows Yale Patt's 10 commandments for teaching, emphasizing understanding over memorization, genuine respect for students, and taking responsibility for course content. He has received mixed but generally positive student evaluations, with students noting both his deep subject matter expertise and areas for improvement in lecture delivery. Dr. Mahlke maintains active research leadership through his affiliations with the Advanced Computer Architecture Laboratory and Software Systems Laboratory, where his team continues to explore innovative approaches to compiler and architecture challenges in modern computing systems.

Ruozhou YuView profile

Assistant Professor

• Computer Networks
• Distributed Systems
• Cybersecurity
• +10 more

Ruozhou Yu is an Assistant Professor in the Department of Computer Science and a Courtesy Assistant Professor in the Department of Electrical and Computer Engineering at NC State University. His research focuses on computer networks, distributed systems, and cybersecurity , with applications to quantum networking, blockchain, IoT, cloud/edge computing, and machine learning . He earned his PhD in Computer Science from Arizona State University (2019) and his BS from Beijing University of Posts and Telecommunications (2013). Education: PhD, Computer Science, Arizona State University, 2019 BS, Computer Science, Beijing University of Posts and Telecommunications, 2013 Yu's research spans quantum internet (high-fidelity entanglement distribution, satellite-assisted quantum networks), blockchain technologies (payment channel networks, smart contracts, layer-2 security), and edge computing (resource provisioning, SLA verification, market design). He also explores machine learning in distributed systems (LLM fine-tuning on graphs) and network security (data delay attacks, Byzantine-robust federated learning). His recent publications (2024–2025) emphasize quantum networking (LACE, QuESat), edge computing SLAs (VeriEdge, WolfPack), and blockchain security (Thor, Fence). Articles like AdaOrb (PerCom 2025) and Physics-Informed Scheduling (RTAS 2025) highlight cross-domain innovations. Awards & Recognition: NSF CAREER Award (2021) IEEE TNSE Excellent Editor Award (2024) IEEE INFOCOM Distinguished TPC Member (2024, 2022, 2020) Yu supervises PhD and Master's students in quantum networking (Huayue Gu), blockchain (Xiaojian Wang), and edge computing (Zhouyu Li). He serves as Associate Editor for IEEE Transactions on Network Science and Engineering and Area Editor for Elsevier Computer Networks .

Paul CorazzaView profile

Professor

• Set Theory
• Mathematical Logic
• Large Cardinals
• +5 more

Dr. Paul Corazza is a Professor of Computer Science and Mathematics at Maharishi University of Management (MUM). He holds a BA from Maharishi International University, an MS and PhD from Auburn University. His research explores the intersection of foundational mathematics (set theory, large cardinals, lambda calculus) with Maharishi Vedic Science principles, particularly the dynamics of wholeness and self-referral systems. Dr. Corazza's work includes pioneering the Wholeness Axiom, which addresses large cardinal foundations through self-referential embeddings. He also contributes to software engineering, designing rules engines for industries like insurance and localization frameworks for tech companies. Education: BA: Maharishi International University MS/PhD: Auburn University Research interests span set theory's infinitary structures, algorithmic foundations rooted in self-referral principles, and applications of Vedic Science to computational models. His work bridges abstract mathematics and practical software systems, emphasizing holistic computational frameworks inspired by universal dynamics. Dr. Corazza has over 15 years of industry experience, including roles at Google and e-Trade, focusing on large-scale software engineering and rules engines. He has authored over 15 papers in mathematical logic and a textbook on logic and computability. Key Contributions: Wholeness Axiom for large cardinal foundations Fixed-point principles in lambda calculus Design of enterprise rules engines using Jess language

Kaushik MallikView profile

Assistant Professor

• Controller Synthesis for Dynamical Systems
• Combinatorial Games on Graphs
• Algorithmic Fairness in AI
• +4 more

Kaushik Mallik is an Assistant Professor at the IMDEA Software Institute in Madrid, Spain. His research focuses on formal methods for ensuring safety and trustworthiness of AI systems, combining game theory, control theory, and machine learning. He holds a PhD in Computer Science from the Max Planck Institute for Software Systems (2022), an M.Tech in Systems and Control from IIT Roorkee (2015), and a B.Tech in Electrical Engineering from Meghnad Saha Institute of Technology (2012). His work addresses challenges in controller synthesis for cyber-physical systems, bidding games, and algorithmic fairness monitoring. Education: PhD in Computer Science, Max Planck Institute for Software Systems, Germany (2022) M.Tech in Systems and Control, IIT Roorkee (2015) B.Tech in Electrical Engineering, Meghnad Saha Institute of Technology (2012) Research Interests: Formal synthesis of safe AI systems Algorithmic fairness in decision-making algorithms Bidding games and stochastic control Symbolic control for cyber-physical systems His current projects include runtime fairness monitoring tools and theoretical advancements in auction-based scheduling algorithms. Key Achievements: Winner of the 2023 ETAPS Doctoral Dissertation Award Recipient of the DAAD IIT Master-Sandwich Programme Scholarship Lead developer of tools like Mascot-SDS and BOCoSy for symbolic control Ongoing research explores resilient abstraction-based controllers and fairness watchdog systems for AI applications.

• Systems
• Concurrency
• Memory Management
• +5 more

Christoph Kirsch is a Professor and Chair of the Department of Computer Science at the University of Salzburg. He also serves as Chair of the Programming Research Laboratory at the Faculty of Information Technology, CTU Prague. His research focuses on systems, concurrency, memory management, and formal methods, with notable contributions including the Selfie educational software project and work on symbolic execution. He is a prolific author with over 50 publications in top venues like LCTES and EMSOFT. Education: Ph.D. in Computer Science (details not specified). His teaching includes courses on elementary computer science concepts and curricula development. He advises students such as Anna Bolotina and has graduated over a dozen PhD students. Research highlights include the Selfie system (self-referential C compiler and emulator), work on concurrency primitives like Scal and Timestamped Stack, and contributions to real-time systems (Logical Execution Time, Variable-Bandwidth Servers). His recent focus includes teaching digital thinking and evaluating eval in R programs. He has organized conferences like MPLR’24 and served on program committees for EuroSys and RTNS. His book Elementary Computer Science emphasizes foundational concepts for broad audiences.

• Software Engineering
• Probabilistic Programming
• Security and Penetration Testing
• +5 more

Jürgen Cito is an Associate Professor in the Department of Software Engineering at the Faculty of Informatics, TU Wien, where he leads research in probabilistic programming, security, and configuration management. His work is supported by major grants from the Austrian Science Fund (FWF), European Commission, and Meta Platforms, Inc., with active projects spanning 2022-2027. His research focuses on the intersection of software engineering and machine learning, particularly in static analysis of probabilistic programs, AI-driven penetration testing, and infrastructure security. Key contributions include identifying secret exposure in configuration files, grammar inference for ad hoc parsers, and performance prediction from source code, often combining empirical studies with tool development. Analysis of his 15 most recent publications (2020-2024) reveals three dominant trends: (1) Security vulnerabilities in configuration management systems, especially secret leakage in dotfiles; (2) Application of large language models to offensive security testing; and (3) Machine learning techniques for performance prediction and AutoML optimization in software contexts. Cito has supervised 22 Master's students on cutting-edge topics including AI security, infrastructure as code, and program analysis. His current research portfolio includes: Types4Strings (FWF, 2024-2027): Type systems for string processing Cloud Open Source Research Mobility Network (EU, 2023-2026): Open-source cloud infrastructure Software Assistants for Probabilistic Programming (Meta, 2022-2026): AI tools for probabilistic code He is embedded in TU Wien's Institute of Software Technology and Interactive Systems (E194), collaborating on cross-institutional projects focused on software security and developer tooling, with particular emphasis on empirical validation of security practices and configuration management systems.

Josep CasanovasView profile

Professor

• Modelling and Simulation
• Internet and Information Systems
• Urban Mobility
• +4 more

Josep Casanovas is a Full Professor at the Statistics and Operations Research Department of the Technical University of Catalonia (UPC), affiliated with the Barcelona School of Informatics. He previously served as head of inLab FIB (2012-2020) and as dean (1998-2004) and vice-rector (2006-2011) of UPC, leading strategic initiatives in university governance and ICT policies. His research focuses on Modelling and Simulation , Internet and Information Systems , and Urban Mobility . He has led projects for the European Union, including C-ROADS Spain, REMEDiAL, and ECHORD++, addressing intelligent transport, software automation, and robotic innovation. Recent publications highlight his work on agent-based simulation for urban health, deep learning applications in traffic and energy savings, and wildfire management tools . He co-directs LogiSim and coordinates the Severo Ochoa Research Excellence Program at the Barcelona Supercomputing Center (BSC-CNS).

Quentin StiévenartView profile

Researcher

• Abstract Interpretation
• Concurrency
• Static Analysis

Quentin Stiévenart is a researcher at Université du Québec à Montréal, focusing on abstract interpretation, concurrency, and static analysis. His work spans programming language design, software verification, and tool development for WebAssembly and functional languages like Racket and Scheme. Active in organizing and reviewing for conferences including SPLASH, ICFP, ECOOP, and SAS Developed tools such as Wassail for WebAssembly static analysis and RacketLogger for educational purposes Contributions include theoretical work on effect-driven flow analysis and practical advancements in concolic execution abstraction His research addresses challenges in concurrency verification, cyclic reinforcement in incremental analysis, and security-focused taint tracking across multiple language paradigms.

Ichiro HasuoView profile

Professor

• Formal Verification
• Mathematical Structures
• Cyber-Physical Systems
• +3 more

Ichiro Hasuo is a Professor at the National Institute of Informatics (NII) in Tokyo, Japan, where he serves as Director of the Research Center for Mathematical Trust in Software and Systems. He holds a joint appointment at The Graduate University for Advanced Studies (SOKENDAI). Since 2016, he has been the Research Director of the JST ERATO Metamathematics for Systems Design Project, and founded Imiron Co., Ltd. in 2024. Education: PhD in Computer Science (cum laude) from Radboud University Nijmegen (2008) MSc in Mathematical and Computing Sciences from Tokyo Institute of Technology (2004) BSc in Mathematics from University of Tokyo (2002) His research focuses on foundational aspects of software science, particularly formal verification techniques using mathematical structures from category theory and coalgebra. He develops methods for ensuring reliability in cyber-physical systems and systems incorporating machine learning components. Current work emphasizes logical frameworks for autonomous vehicle safety and mathematical trust in complex systems. Hasuo's publications demonstrate consistent focus on theoretical foundations with practical applications. His recent work spans coalgebraic verification methods, temporal logic for hybrid systems, quantum programming semantics, and applications to autonomous driving systems. Key themes include compositional reasoning, probabilistic modeling, and the integration of discrete and continuous system verification. Awards and Honors: Best Paper Award at ICTAC 2024 Minister of Education, Culture, Sports, Science and Technology Commendation (2024) Distinguished Paper Award at CAV 2023 Outstanding Reviewer Award at EMSOFT 2022 Best Paper Award at ICECCS 2018 Best Paper Award at CONCUR 2014 Hiroshi Fujiwara Encouragement Prize (2012) PhD cum laude (2008) He leads multiple major research grants including: JST ASPIRE (2024-2029) for international collaboration on software trust JST START (2022-2025) for autonomous driving verification JST ERATO Metamathematics for Systems Design (2016-2025) Several JSPS KAKENHI grants As head of the MMM laboratory (Hasuo-Lab) at NII, he supervises PhD students and postdoctoral researchers in formal methods and mathematical systems design.

Veronika KuchtaView profile

Assistant Professor

• Post-Quantum Cryptography
• Mathematical Cryptography
• Blockchain Security
• +3 more

Dr. Veronika Kuchta is an Assistant Professor at Florida Atlantic University's Department of Mathematical Sciences, specializing in post-quantum cryptography and its applications to blockchain. She holds a PhD in applied cryptography from the University of Surrey (2016) and has held roles including Honorary Research Fellow at The University of Queensland (UQ) School of Mathematics and Physics (2020–2022), Research Fellow at Monash University (2018–2020), and postdoc at Université libre de Bruxelles (2016–2018). Education: PhD in Applied Cryptography, University of Surrey, UK (2016) Diploma in Mathematics, Heidelberg University, Germany (2010) Research Interests: Her work focuses on constructing quantum-resistant cryptographic primitives, including lattice-based schemes, zero-knowledge proofs, and their integration into real-world systems like blockchain. She explores topics such as post-quantum verifiable random functions, cryptographic accelerators, and privacy-preserving authentication protocols. Key Projects: Formal Verification of Post-Quantum Cryptographic Primitives (UQ Cyber Seed Funding, 2021–2023) Algorand Centre of Excellence on Sustainability Informatics (2022–2023) Grants & Funding: Noted for contributions to blockchain security and lattice-based protocols, her work is supported by industry and institutional grants, including the Monash University Open Grant for the Algorand Centre of Excellence. Labs/Teams: Collaborates with interdisciplinary teams on cryptographic protocol design and hardware-accelerated cryptography (e.g., TPU-based cryptographic acceleration).

Stefanie JasserView profile

Researcher

• Security by Design in Software Engineering
• Security in Software Architectures
• Architectural Constraints for Security and Conformance Checking
• +3 more

Stefanie Jasser, MSc, is a researcher in the Software Engineering and Construction Methods (SWK) group at the University of Hamburg, Department of Informatics. Her work focuses on integrating security into software architecture design and evolution, with a particular emphasis on modeling security constraints and ensuring conformance. Her research interests include: Security by Design in Software Engineering Architectural Constraints for Security Secure Software Evolution Mitigating Code Vulnerabilities Her publications highlight trends in architectural security rules, legacy system protection, and constraint-based approaches to software development. She also contributes to teaching roles in software engineering and architecture at both University of Hamburg and NORDAKADEMIE.

Christoph LüthView profile

Professor

• Advanced Systems Engineering
• Program Correctness
• Formal Methods
• +5 more

Christoph Lüth is a Professor of Computer Science at the University of Bremen and Deputy Head of the Cyber-Physical Systems research group at the German Research Center for Artificial Intelligence (DFKI) in Bremen. He has been affiliated with DFKI since 2006 and focuses on constructing provably correct software through theoretical foundations and practical tool development. Doctorate from University of Edinburgh Habilitation from University of Bremen His research spans advanced systems engineering , formal methods , and functional programming , with applications in robotics and hardware security. Recent work emphasizes open-source chip design , post-quantum cryptography , and memory protection for RISC-V architectures . Lüth contributes to projects like PROTECT (cybersecurity resilience), EASEPROFIT (post-quantum secure protocols), DI-OCDCPro (open-source chip design education), and SIGN-HEP (hardware security modules). He has authored over eighty scientific papers. At the University of Bremen, he teaches courses on functional programming , programming languages , and formal methods .

Eugene H. SpaffordView profile

Professor

• Information Security
• Cybersecurity
• Computer Forensics
• +2 more

Dr. Eugene H. Spafford ("Spaf") is a Distinguished Professor in the Department of Computer Sciences at Purdue University, serving since 1987. He holds courtesy appointments in Philosophy, Communication, Electrical and Computer Engineering, Nuclear Engineering, and Political Science. As founder and Executive Director Emeritus of CERIAS and the COAST Laboratory, he has shaped information security research and education. His research centers on information security, computer crime investigation, and information ethics. Spafford's work in cybersecurity, computer forensics, and computing ethics has established him as a leading figure in the field. He emphasizes practical security solutions and ethical considerations in technology. Recent publications address cybersecurity myths, deception-based security techniques, and password security, alongside memorials for computing pioneers. This blend reflects his dual focus on advancing security research and preserving the field's history. Spafford has advised numerous graduate students and secured significant funding for CERIAS, fostering interdisciplinary collaboration. He currently serves as Editor-in-Chief of Computers & Security and on the board of the Computing Research Association. Leading CERIAS, Spafford built one of the world's premier academic centers for information assurance, integrating expertise from computer science, engineering, and social sciences to address complex security challenges.

Zhenjiang HuView profile

Professor

• Programming Languages
• Software Engineering
• Functional Programming
• +7 more

Zhenjiang Hu is a Chair Professor and Dean of the School of Computer Science at Peking University. He serves as Director of the Programming Languages Laboratory and has held significant academic positions including Professor at the National Institute of Informatics and University of Tokyo. BS and MS from Shanghai Jiaotong University (1988, 1991) PhD from University of Tokyo (1996) Lecturer/Assistant Professor at University of Tokyo (1997) Associate Professor at University of Tokyo (2000) Full Professor at National Institute of Informatics (2008) Full Professor at University of Tokyo (2018-2019) Professor Hu's research primarily focuses on programming languages and software engineering, with special emphasis on functional programming, bidirectional transformation, and software adaptation. His work explores transformational programming approaches for automatic program optimization, systematic parallelization of sequential programs, efficient manipulation of structured documents, and bidirectional model transformation for software development. His research has significantly advanced the field of bidirectional programming, developing foundational theories and practical applications that enable more reliable and maintainable software systems. His recent publications demonstrate a strong trajectory in bidirectional programming, program synthesis, and graph processing. The research shows increasing sophistication in handling program transformations, with growing emphasis on practical applications in software engineering contexts. His work increasingly integrates formal methods with practical programming language design, creating systems that maintain theoretical soundness while addressing real-world software development challenges. The research spans multiple venues including top conferences like PLDI, POPL, ICFP, and OOPSLA, reflecting its broad impact across programming language research. Fellow of JFES (Japan Federation of Engineering Society, 2016) ACM Distinguished Scientist (2016) Member of Academia Europaea (2019) IEEE Fellow (2020) Member of Engineering Academy of Japan (2020) Professor Hu actively mentors students and has welcomed excellent candidates to join his group through Peking University's International Elite PhD Program and Boya Postdoctoral Fellowship Program. He serves on numerous program committees for major conferences including PLDI, POPL, ICFP, and OOPSLA, and holds editorial positions for prestigious journals such as Journal of Functional Programming and Science of Computer Programming. His leadership extends to conference organization, having served as PC Chair for CNCC 2024 and General Co-Chair for SoICT 2019. As Director of the Programming Languages Laboratory at Peking University, Professor Hu leads a research team focused on advancing programming language theory and practice. His lab has developed influential frameworks like BiGUL for bidirectional programming and Fregel for graph processing. The laboratory maintains strong international collaborations and contributes to both theoretical foundations and practical implementations in programming languages and software engineering.