Find Academic Supervisors

Andrej BogdanovView profile

Professor

• Cryptography
• Computational Complexity
• Pseudorandomness
• +6 more

Andrej Bogdanov is a Professor at the University of Ottawa in the School of Electrical Engineering and Computer Science . He earned his B.S. and M.Eng. from MIT and Ph.D. from UC Berkeley . Before joining Ottawa, he held positions at the Chinese University of Hong Kong , ITCS (Tsinghua) , DIMACS (Rutgers) , and the Institute for Advanced Study . He has served as a Visiting Professor at the Tokyo Institute of Technology (2013) and the Simons Institute (2017, 2021). Research Interests : Computational complexity, cryptography foundations, pseudorandomness, one-way functions, property testing, quantum algorithms, and sublinear-time algorithms. Teaching : Courses on Discrete Mathematics, Great Algorithms, Computational Complexity, and Cryptography at University of Ottawa, Chinese University of Hong Kong, and Rutgers University. Publications : 15+ recent works in TCC , CRYPTO , ICALP , RANDOM , and journals like Journal of Cryptology and Theory of Computing . Service : Program co-chair for SAC 2026 , and committee member for major conferences including CRYPTO , TCC , Eurocrypt , and FOCS . Advising : 12 current and former Ph.D./M.Phil. students, with postdoctoral advisees at institutions like IIT Palakkad and Academia Sinica . His work bridges theoretical computer science with applications in cryptography, quantum computing, and network security.

Sandrine BlazyView profile

Professor

• Formal verification
• Semantics of programming languages
• Compilers
• +3 more

Sandrine Blazy is a Professor in the Computer Science Department at the University of Rennes, France. She is a member of CELTIQUE (also referred to as Epicure), a joint project-team with Inria Rennes Bretagne Atlantique and the IRISA laboratory. Since 2021, she has served as deputy director of the IRISA CNRS UMR 6074 laboratory and will be the general chair for POPL 2026, which will be held in Rennes. She is also a member of the editorial board of the LMCS journal. Dr. Blazy completed her PhD at CNAM (Conservatoire National des Arts et Métiers) in 1993 with a thesis titled "La spécialisation de programmes pour l'aide à la maintenance du logiciel" (Program Specialization for Software Maintenance Assistance). She later completed her Habilitation à diriger des recherches (HDR) in 2008 at the University of Évry Val d'Essonne with a thesis titled "Sémantiques formelles" (Formal Semantics). Her research focuses on the formal verification of program transformations and semantic properties of programming languages, particularly in the context of the CompCert compiler and Verasco static analyzer. She develops mechanized semantics using the Coq (or Rocq) proof assistant to ensure software correctness and security. A prime application domain of her work is software security, including constant-time programming for cryptographic applications and software obfuscation techniques. Her teaching includes mechanized semantics (in Coq), functional programming (in OCaml), formal methods (using Why3), and software vulnerabilities. Dr. Blazy's publication record from 2019-2025 shows a sustained focus on verified compilation techniques, particularly in preserving security properties during compilation. Her work bridges theoretical formal methods with practical compiler implementation, resulting in tools that have real-world impact in safety-critical systems. She has made significant contributions to the CompCert formally verified compiler project, with particular attention to constant-time preservation for cryptographic applications and JIT compilation verification. Her scientific achievements have been recognized with several major awards: CNRS Silver Medal (2023) Lucas Award from Formal Methods Europe (2023) ACM SIGPLAN Programming Languages Software Award for CompCert (2022) ACM Software System Award for CompCert (2021) Dr. Blazy has been actively involved in the programming languages research community, serving on numerous program committees for major conferences including POPL, ICFP, PLDI, and CPP. She has mentored students and contributed to education through teaching mechanized semantics and formal methods. Her work with the CompCert compiler has led to practical applications in safety-critical systems, with industry collaborations documented in publications like "CompCert: Practical experience on integrating and qualifying a formally verified optimizing compiler" (ERTS 2018). She leads research within the CELTIQUE project team, which focuses on developing trustworthy software using deductive verification. Her team works on advancing the state of the art in formal verification of compilers and static analyzers, with applications in security-critical domains including cryptographic implementations and safety-critical embedded systems.

Brigitte PientkaView profile

Professor

• Programming Languages
• Verification
• Type Theory
• +6 more

Brigitte Pientka is a Professor at McGill University's School of Computer Science , where she leads the Computation and Logic group . She earned her PhD from Carnegie Mellon University in 2003 and previously studied at the University of Edinburgh and Technical University of Darmstadt. Education PhD in Computer Science, Carnegie Mellon University (2003) University of Edinburgh Technical University of Darmstadt Research Interests Her work focuses on the theoretical and practical foundations for building reliable software systems, combining logic, type theory, and verification with system-building. Key areas include: Type Theory and Dependent Types Logical Frameworks and Mechanized Metatheory Session-Typed Concurrency and Linear Logic Metaprogramming and Contextual Type Systems Theorem Proving and Formal Verification Functional Programming and Language-Based Security Professional Roles She has served as: PC Chair for ICFP'24 and CPP'24 General Chair for POPL'20 Executive Editor of Logical Methods in Computer Science Steering Committee Member for LICS, POPL, and ESOP Scientific Awards Dr. Pientka has received: Test of Time Award at PPDP'18 Humboldt Fellowship for research at MPI-SWS, Germany Labs & Teams She actively develops the Beluga programming language , a tool for mechanizing meta-theory proofs and type-driven program manipulation.

Xuehai QianView profile

Professor

• Computer Architecture
• Computer Systems
• Hardware Security
• +3 more

Xuehai Qian is a Tenured Full Professor in the Department of Computer Science at Tsinghua University since July 2024. Prior to this, he served as an Associate Professor at Purdue University (2022-2024), Assistant Professor at the University of Southern California (2015-2022), and Postdoctoral Researcher at the University of California Berkeley (2013-2015). Ph.D. in Computer Science, University of Illinois at Urbana-Champaign, USA (2013) ME in Computer Science and Technology, Institute of Computing Technology, Chinese Academy of Sciences, China (2007) BE in Computer Science and Technology, Beihang University, China (2004) His research focuses on parallel computer architecture , hardware/software co-designed domain-specific architectures for graph analytics and machine learning , hardware security , and quantum computer architecture . He has pioneered scalable cache coherence protocols for atomic block execution, hardware sequential consistency violation detection, and distributed frameworks for graph processing leveraging emerging memory technologies. Xuehai Qian’s publications span computer architecture , graph analytics , machine learning systems , and quantum computing , with a strong emphasis on distributed systems , accelerators , and memory optimization . His work includes novel architectures for graph processing, decentralized training protocols, and ReRAM-based accelerators for deep learning. NSF CAREER Award (2018) ACSIC (American Chinese Scholar In Computing) Rising Star Award (2019) IEEE Senior Member (2019) Hall of Fame inductions: ASPLOS (2018), HPCA (2019), ISCA (2021), MICRO (2021) W.J. Poppelbaum Memorial Award (2013) He has advised students who have received Microsoft Research Lovelace Fellowships , Ph.D. Fellowships , and Facebook Fellowships . His research has been supported by grants such as the NSF SPX project on FPGA-based machine learning platforms and smaller NSF grants. Notably, he has served as an Associate Editor for Science China (Information Sciences) since 2023 and as a Guest Editor for IEEE Transactions on Parallel and Distributed Systems (2019).

Alexander PretschnerView profile

Professor

• Software Engineering
• Information Security
• Testing
• +5 more

Prof. Dr. Alexander Pretschner is a leading academic in software and systems engineering at the Technical University of Munich, with additional roles as Chair of the bidt Board of Directors, Member of the Executive Committee, and Chair of the Scientific Directorate at fortiss (Bavarian Research Institute for Software-Intensive Systems). His expertise spans software engineering, information security, and ethical deliberation in agile processes. Professor for Software & Systems Engineering, TUM Founding Director and Chairman of bidt Chair of Scientific Directorate at fortiss Research interests focus on software engineering with emphasis on testing and information security , alongside pioneering work in AI ethics , digital sustainability , and data privacy . Key projects include EDAP (Ethical Deliberation for Agile Processes), DetDat (Determinants of Data Disclosure), and AIffectiveness in Education. Publications and lectures address critical issues like "What makes Munich attractive for Open AI?" , "How generative AI transforms creative work" , and "Balancing benefits and risks of AI assistants in workplaces" . Collaborations include prominent researchers like Julian Nida-Rümelin and Niina Zuber.

• Software Verification
• Formal Methods
• Program Synthesis
• +4 more

Madhusudan Parthasarathy is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, College of Engineering. His research focuses on software verification, formal methods, and logic in computer science, with significant contributions to trustworthy AI systems, program synthesis, and security. Ph.D. in Theoretical Computer Science (2002), Institute of Mathematical Sciences, University of Madras Research interests include automating software verification, building correct-by-design systems, and exploring synergies between machine learning and program synthesis. He pioneered visibly pushdown languages , impacting XML processing and program verification. His tools like VEX and Strand advanced security and heap reasoning. Recent articles focus on blockchain verification, timed automata, and learning logics from data. His work has been widely cited, with the visibly pushdown language paper alone generating over 940 scholarly entries. Best Paper Award, 19th USENIX Security Symposium (2010) He has advised numerous students and postdocs, with former advisees now at institutions like Purdue University and Google. His outreach initiatives include the ConTraIL privacy-preserving contact tracing project and the MASSIVELY EMPOWERED CLASSROOMS MOOC platform for Indian undergraduates. He teaches courses like CS 521: Advanced Topics in Programming Systems and CS 474: Logic in Computer Science , while actively serving on program committees for top-tier conferences such as POPL and PLDI.

James C. DavisView profile

Assistant Professor

• Software Engineering
• Cybersecurity
• Human-Computer Interaction
• +5 more

James C. Davis is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering (Purdue University). His research focuses on socio-technical approaches to software engineering , emphasizing security , correctness , and usability in software-intensive systems. He leads the Duality Lab , which publishes in top venues like ICSE , USENIX Security , and EMSE , with funding from the NSF , Google , Cisco , and Rolls Royce . PhD in Computer Science from Virginia Tech Current research themes: software supply chain security, pre-trained model engineering, and empirical studies of developer practices His recent publications (2025) analyze LLM jailbreaking , software signing (Sigstore), IoT model optimization , and deep learning reproducibility . Supported by grants from NSF OAC Core (multi-modal deep learning infrastructure) and RFE (prompt engineering education). Recognized with the ASEE Best Paper Award (2024) for trust engineering research. Current students include Paschal Amusuo (PhD candidate), Wenxin Jiang (now at Socket), and Dharun Venkatraman (Chateaubriand Fellow). Advising highlights : Guided 7 PhD/MSc theses (2022-2025) Developed CodeQL experience report (709 defects in 258 projects) Industry collaborations: Google , Microsoft Research , Qualcomm Research trends from 2022-2025 show sustained focus on: Software security (supply chains, signing, ReDoS) Model engineering (IoT optimization, naming conventions) Empirical methods (interview studies, defect analysis) Human factors (developer practices, training effectiveness)

Eric Van WykView profile

Professor

• Programming Languages
• Extensible Languages
• Attribute Grammars
• +3 more

Eric Van Wyk is a Professor in the Department of Computer Science and Engineering at the University of Minnesota's College of Science and Engineering. His research focuses on programming languages, particularly extensible languages and language tools. He leads the Minnesota Extensible Language Tools (MELT) group and has made significant contributions to attribute grammars, compiler design, and language specification techniques. Professor Van Wyk's research centers on programming languages, especially extensible languages. His team has developed techniques for specifying languages and extensions that add new syntax and semantics to a "host" language. His work focuses on mechanisms guaranteeing that independently-developed domain-specific extensions can be automatically composed into well-defined languages. He has created two major systems: Silver, an attribute grammar specification language enabling highly-modular language specification, and Copper, an integrated parser and context-aware scanner generator that uses parser information to return more discriminating tokens. His publication record shows a clear progression from foundational work on language composition to increasingly sophisticated techniques for metatheoretic reasoning, scope management, and strategic tree rewriting. The research demonstrates a consistent pattern of developing practical tools (Silver, Copper, ableC) alongside theoretical advances in language specification and composition, bridging the gap between formal methods and practical language implementation. Distinguished Paper award at SLE2020 Professor Van Wyk has advised multiple Ph.D. students including Ted Kaminski (2017), Lijesh Krishnan (2012), August Schwerdfeger (2010), Jimin Gao (2007), and Dawn Michaelson (2024). His research has received substantial support from the National Science Foundation through projects such as "FMitF: Track I: ComScaN" (2021-2026), "XPS: EXPL: Enabling An Ecosystem of Parallel Programming" (2016-2021), and "SI2-SSE: Collaborative: Extensible Languages for Sustainability" (2010-2015). He leads the Minnesota Extensible Language Tools (MELT) group, which has developed influential systems for language specification while advancing theoretical understanding of language composition and extensibility. The group's work has established significant contributions to the field of software language engineering with particular expertise in attribute grammars and language composition techniques.

Raine ViitalaView profile

Assistant Professor

• Mechanical Engineering
• Electromagnetic Analysis
• Vibration Analysis
• +2 more

Raine Viitala is an Assistant Professor at Aalto University's Department of Energy and Mechanical Engineering. His research focuses on mechanical vibration analysis, electromagnetic influence in rotating systems, and sustainable energy management in industrial applications. Aalto University Department of Energy and Mechanical Engineering His work spans mechanical engineering , fluid dynamics , and machine learning applications . Recent publications address torsional vibration modeling, aerostatic bearing design, and AI integration in pulp & paper industry energy systems. Viitala's research trends include digital twin technology for collaborative design, eddy current sensing for tool monitoring, and nonlinear damping solutions for mechanical systems.

Oum El Kheir AktoufView profile

Professor

• Dependability
• Safety
• Security
• +5 more

Oum El Kheir Aktouf is a Professor in Computer Science at Grenoble Institute of Technology (Esisar Engineering School) and a member of the LCIS laboratory, France. She previously served as a Visiting Professor at San José State University, USA, during a sabbatical leave. Education : Master and PhD in Computer Science from Grenoble Institute of Technology Her research focuses on dependability, safety, and security of embedded and interconnected systems, including sensor-based applications and multi-agent architectures. She employs runtime testing, diagnosis, and monitoring approaches. Her work spans mobile application testing, fault diagnosis in RFID and wireless sensor networks, and security frameworks for autonomous systems. Recent publications highlight trends in Android security benchmarking , decentralized cryptography , and multi-agent resilience . She has participated in 12 funded national and international research projects and supervised courses in operating systems, real-time systems, distributed computing, and system dependability.

Tarik GrabaView profile

Lecturer

• Hardware Security
• Embedded Systems Design
• Integrated Circuit Reliability
• +3 more

Tarik Graba is a Lecturer at Télécom Paris and a member of the Secure and Safe Hardware (SSH) research team within the Information Processing and Communication Laboratory (LTCI) department. His work focuses on hardware security, embedded systems, and cryptographic implementation. Education: Not explicitly mentioned Current Affiliations: Télécom Paris (Faculty), LTCI, SSH Team His research explores designing secure and reliable integrated systems , with emphasis on managing complexity, power consumption, and flexibility in embedded environments. He contributes to side-channel analysis , lightweight cryptographic algorithms , and hardware-based security mechanisms . The 15 most recent publications highlight his work in lightweight cryptography , hardware security , and embedded system optimization , particularly focusing on RISC-V extensions , side-channel leakage , TRNG circuits , and secure cryptographic processors . Scientific Awards Academic Palms award, Télécom Paris (2021) Tarik Graba collaborates extensively in hardware security research and has advised multiple projects on physical security countermeasures and embedded cryptographic systems . He works with teams like the SSH Laboratory to develop secure hardware architectures.

Pontus EkbergView profile

Associate Professor

• Algorithms
• Real-Time Scheduling Theory
• Computational Complexity
• +3 more

Pontus Ekberg is an Associate Professor at Uppsala University's Department of Information Technology. His email address is pontus.ekberg@it.uu.se , and he can be reached at +46 18 471 73 41. He is affiliated with the Division of Computer Systems and holds the academic merit 'Docent' in real-time scheduling theory. Ekberg's research focuses on algorithms and computational problems in real-time scheduling theory. His work addresses NP-hardness in scheduling, fixed-priority algorithms, and formal verification of task feasibility. Current projects include applying pseudo-polynomial time analysis, combating butterfly attacks, and integrating deep learning for schedulability verification in safety-critical systems. His recent publications span topics like pseudo-polynomial time analysis (2025), optimistic period predictions (2024), and explainability in real-time schedulability (2023). He collaborates frequently with Sanjoy Baruah and others on uniprocessor and multiprocessor scheduling models. Although no formal awards are listed, his contributions to real-time scheduling theory are evident through 15+ publications in top conferences like RTSS and ECRTS.

Lei BuView profile

Professor

• Model Checking
• Bounded Model Checking
• Formal Methods
• +7 more

Lei Bu is a Professor and Vice Dean at the Software Institute , Nanjing University . He leads research in formal verification, cyber-physical systems, and software engineering, with a focus on bounded model checking and hybrid system analysis. B.Sc. and Ph.D. in Computer Science from Nanjing University (2004, 2010) Visiting student at Carnegie Mellon University and University of Texas at Dallas His research integrates formal methods and machine learning for verifying complex systems like IoT and software with real-time constraints. Key projects include BACH Toolset and BRICK for reachability analysis. Recent publications demonstrate expertise in hybrid system verification , cache side-channel detection , and parallel code analysis frameworks . His work bridges theoretical advancements with practical applications in safety-critical systems. Zhongchuang Software Talent Award (2023) CCF-IEEE CS Young Computer Scientist Award (2022) High-Tech Software Innovation Awards (2019-2023) As Principal Investigator, he leads major projects funded by National Science Foundation of China and Jiangsu Natural Science Foundation (2020-2027). Current tools include BACH for hybrid systems and MLB for Java symbolic execution.

Eugene Y. VassermanView profile

Associate Professor

• Network and distributed system security
• Privacy and anonymity
• Censorship resistance
• +4 more

Eugene Y. Vasserman is an Associate Professor in the Department of Computer Science at Kansas State University's College of Engineering, where he also serves as Director of the Center for Cybersecurity and Trustworthy Systems. His office is located in 2171 Engineering Hall, and he holds office hours on Tuesdays from 2:30 pm to 4:00 pm and Wednesdays from 11:30 am to 1:00 pm during the Fall 2025 semester. Dr. Vasserman's research spans multiple critical areas of cybersecurity including network and distributed system security, privacy and anonymity, censorship resistance, operating system security, medical and IoT security, usable security, and applied cryptography. His work bridges theoretical security concepts with practical implementations, addressing real-world challenges in diverse domains from medical systems to blockchain technologies. His recent publications reveal a research trajectory that has evolved from foundational network security work to increasingly interdisciplinary research intersecting with artificial intelligence, medical systems, and cybersecurity education. The 15 most recent publications demonstrate his ongoing commitment to both theoretical advances and practical security solutions across multiple domains. Outstanding short paper award for 'Hypersparse Traffic Matrix Construction using GraphBLAS on a DPU' at IEEE HPEC 2023 Best graduate student poster award for 'Empowering pre-service teachers to utilize programming in the classroom' at ASEE Midwest Conference 2013 Dr. Vasserman has mentored numerous graduate students through the Systems and Network Security (SyNeSec) Lab, with alumni now working at organizations including Paycom, Corelight, Sandia National Labs, Microsoft, and Cerner. He teaches multiple cybersecurity courses each semester including CIS 525: Introduction to Network Programming, CIS 755: Systems Security, and CIS 351: Cyber Defense Basics, demonstrating his long-term commitment to cybersecurity education since at least 2010. As Director of the Center for Cybersecurity and Trustworthy Systems, he leads initiatives that address critical security challenges across multiple domains, fostering collaboration between researchers, students, and industry partners to develop trustworthy systems for the future.

• Software Engineering
• Software Testing
• Program Analysis
• +4 more

Alessandro (Alex) Orso is the Dean and Professor at the University of Georgia College of Engineering , starting in 2025. Previously, he spent 25 years at Georgia Institute of Technology , where he served as a Professor in the College of Computing , Director of the Scientific Software Engineering Center , and Associate Dean for Off-Campus and Special Initiatives . Education: Ph.D. in Computer Science – Politecnico di Milano, Italy M.S. in Electrical Engineering – Politecnico di Milano, Italy B.S. in Electrical Engineering – Politecnico di Milano, Italy Research Focus: Alex Orso is a leading expert in software engineering , with a focus on software testing , program analysis , and debugging . His work aims to improve software reliability, security, and trustworthiness , and has been validated on real-world systems. He has led initiatives to integrate AI and large language models into testing workflows, particularly for REST APIs and mobile applications . Scientific Recognition: Distinguished Member of the Association for Computing Machinery (ACM) Fellow of the Institute of Electrical and Electronics Engineers (IEEE) ISSTA Impact Paper Award (2021) Research Funding & Leadership: Orso has secured major funding from Google, IBM, Microsoft , and government agencies. In 2021, he led the acquisition of $11 million from Schmidt Futures to establish the Scientific Software Engineering Center at Georgia Tech, where he served as inaugural director. Teaching & Innovation: He was an early advocate of Georgia Tech’s Online Master of Science in Computer Science (OMSCS) and has taught a virtual software engineering course since its launch in 2014.