Find Academic Supervisors

John D. KubiatowiczView profile

Professor

• Computer Architecture
• Quantum Computing
• Distributed Systems
• +7 more

Professor John D. Kubiatowicz is a faculty member at the University of California at Berkeley in the Department of Electrical Engineering and Computer Sciences since 1998. He holds a PhD in Electrical Engineering and Computer Science (minor in Physics) from MIT (1998), an M.S. in EECS (1993), and a double B.S. in Electrical Engineering and Physics (1987) from MIT. His research interests span Quantum Computing Architectures Distributed Systems and Storage Network Security and Peer-to-Peer Protocols Introspective and Manycore Operating Systems Edge and Fog Computing Hardware-Assisted Security He has pioneered systems like OceanStore , a global-scale distributed file system, and Tessellation , a manycore OS with continuous adaptation. The scientific awards he has received include Presidential Early Career Award (PECASE, 2000) Scientific American 50 (2002) Diane S. McEntyre Teaching Award (2003) IEEE ICRA Best Paper (2025) George M. Sprowls Award for MIT PhD thesis (1998) Okawa Research Grant (1998) Best Paper at International Conference on Supercomputing (1993) His recent publications focus on Quantum Circuit Design and Optimization Edge/Fog Computing Architectures Secure Runtime Systems Distributed Garbage Collection Manycore OS Innovations Hardware-Assisted Security Mechanisms He leads the Quantum Architecture Research Center and co-founded the SWARM Lab at Berkeley, advancing a vision of self-adapting, secure systems from the chip level to internet scale.

Heather MillerView profile

Assistant Professor

• Distributed Systems
• Concurrent Programming
• Programming Languages
• +4 more

Heather Miller is a tenure-track Assistant Professor in the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science. Her academic journey includes prior roles as an Assistant Clinical Professor at Northeastern University's College of Computer and Information Science and as Executive Director of the Scala Center at EPFL. Miller's research centers on distributed and concurrent computation through the lens of programming languages, with particular emphasis on data-centric systems, big data processing, and edge computing. A defining theme throughout her work is composability - enabling construction of complex distributed systems through composition of components that are correct by construction. Her projects span distributable closures, flexible serialization techniques, futures and promises for asynchronous programming, and deterministic concurrent dataflow models. Her recent publications demonstrate strong trends in applying programming language theory to practical distributed systems challenges, with increasing focus on WebAssembly instrumentation, microservice resilience, and language model pipelines. This evolution reflects her commitment to bridging theoretical foundations with real-world system requirements. Dahl-Nygaard Junior Prize (2023) Mentorship forms a significant component of Miller's academic work. She actively supervises multiple PhD, MS, and undergraduate researchers at CMU, including Christopher Meiklejohn, Matthew Weidner, Huairui Qui, Ria Pradeep, and Luke Dramko. Her service contributions span numerous top-tier conferences including PLDI, SPLASH, ECOOP, and ICSE where she has served as committee member, chair, and keynote speaker. Miller co-founded the Curry On conference to foster industry-academia dialogue, hosting successful editions in Prague, Rome, Barcelona, Amsterdam, and London. She leads research groups focused on distributed programming models and maintains strong industry connections through Two Sigma, where she holds an affiliation. Her work consistently emphasizes practical open-source implementations, primarily within the Scala ecosystem where she's been a core contributor since 2011.

Koushik SenView profile

Professor

• Software Engineering
• Programming Languages
• Formal Methods

Koushik Sen is a Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research focuses on developing software tools and methodologies to enhance programmer productivity and software quality, with expertise in Software Engineering, Programming Languages, and Formal Methods. Education: B.Tech from Indian Institute of Technology, Kanpur M.S. and Ph.D. in Computer Science from University of Illinois at Urbana-Champaign Research Focus: Professor Sen pioneers automated testing techniques including concolic testing and DART (Directed Automated Random Testing). His work bridges formal methods with practical software development, emphasizing bug detection, program synthesis, and AI-driven software analysis tools. Recent innovations include machine learning approaches for code recommendation and fuzzing. Publication Trends: His recent publications (2019-2023) demonstrate strong emphasis on fuzzing techniques, program synthesis, and AI/ML applications in software engineering. Notable domains include smart contract security, automated testing, and developer tooling, with frequent collaborations in top-tier conferences. Awards and Honors: NSF CAREER Award (2008) Sloan Foundation Fellowship (2011) IFIP TC2 Manfred Paul Award (2010) Okawa Foundation Research Grant (2015) Multiple ACM SIGSOFT Distinguished Paper Awards UIUC Distinguished Alumni Educator Award (2014) Leadership: Active program committee member for premier conferences (PLDI, ICSE, ISSTA) and keynote speaker. His research is supported by NSF, Okawa Foundation, and Sloan Foundation.

Robert CartwrightView profile

Professor

• Programming Languages
• Parallel Programming
• Software Engineering
• +3 more

Robert 'Corky' Cartwright is a Professor of Computer Science at Rice University, specializing in programming languages and software engineering. His research focuses on parallel programming extensions for Java/Scala/Swift, smart programming environments for error-free code, pedagogic tools like DrJava, and intent-driven programming in the FAST language. He has contributed to cyber-physical systems modeling through frameworks like Acumen and DrHJ. Education: PhD (Computer Science, Stanford University, 1976), BA (Applied Mathematics, Harvard College, 1971). Awards include ACM Fellow (1998). Teaching emphasizes principles of programming languages and program design. His work bridges theoretical foundations (domain theory, formal semantics) with practical tools for education and industry.

Ondřej LhotákView profile

Professor

• Programming Languages
• Compilers
• Program Analysis
• +2 more

Ondřej Lhoták is a Professor and Director of Undergraduate Studies at the Cheriton School of Computer Science, University of Waterloo. He holds a Ph.D. and M.Sc. from McGill University, and a B.Math from the University of Waterloo. His research focuses on: Programming language design and implementation Compiler optimization techniques Static and dynamic program analysis Object-oriented language semantics Scala programming ecosystem development As Director of Undergraduate Studies, he oversees academic programs and curriculum development for computer science students. His office is located in the Davis Centre (DC 2520) on the Waterloo campus.

Tiark RompfView profile

Assistant Professor

• Compiler Design
• Programming Languages
• Runtime Code Generation
• +8 more

Tiark Rompf is an Assistant Professor at Purdue University , with research spanning programming languages, compilers, and systems. His work bridges domains including architecture, databases, machine learning, and AI through projects like Reachability Types and Rhyme. Co-director of the Purdue Center for Programming Principles and Software Systems (PurPL) Scientific Advisor at SambaNova Systems Previously a member of the Scala team at EPFL His research focuses on: Runtime code generation and advanced compiler technology Expressive data-centric query languages (Rhyme, Datalog) Reachability type systems for memory safety and effect handling Metaprogramming and logical relations for formal verification Recent publications highlight contributions to Datalog compilation (Flan), nested data structures (Rhyme), and polymorphic reachability types. He leads projects exploring: Compiler optimizations for emerging architectures (GPU, TPU, FPGA) ML-driven compiler improvements Secure multi-party computation via metaprogramming Scientific awards include: NSF CAREER Award (2016) Google Faculty Research Awards (2017, 2018) DOE Early Career Research Award (2017) ACM SIGPLAN PL Software Award (2019) GPCE Test of Time Award (2020) Students and alumni from his group have joined institutions like Databricks, DeepMind, Galois, and Meta. He teaches advanced compiler courses including: CS 590 - Advanced Topics in Compilers CS 352 - Compilers CS 502 - Graduate Compilers

Martin OderskyView profile

Professor

• Programming languages
• Object-oriented programming
• Functional programming
• +6 more

Martin Odersky is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences, where he heads the Programming Methods Laboratory (LAMP1). He maintains dual teaching appointments in the Systems and Software Engineering (SIN) and Software and Systems Engineering (SSC) sections. Education: Doctorate from ETH Zurich (1989) Odersky's research fundamentally explores the unification of object-oriented and functional programming paradigms. His work spans language design, type theory, compiler construction, and semantic foundations, driven by the thesis that these paradigms are complementary facets of a single computational model. This vision materialized in the Scala programming language, engineered for seamless Java/.NET interoperability while advancing type-safe abstractions for modern software development. His publication trajectory (1997-2005) reveals consistent innovation in bridging theoretical rigor with industrial applicability. Key themes include component-based modularity (Scalable Component Abstractions), dependent type systems for objects, and practical implementations of generics and functional constructs, all converging toward expressive yet safe programming models. Advising and Funding: Odersky has mentored 29 PhD students across his career, including 5 current candidates. His research sustains major funding from the Swiss National Science Foundation, European Commission, and Hasler Foundation, enabling foundational work in language design and implementation. Laboratory: He directs EPFL's Programming Methods Laboratory (LAMP), which drives Scala's evolution and investigates next-generation programming abstractions for concurrency, modularity, and type-driven development.

Robbert KrebbersView profile

Associate Professor

• Semantics
• Separation logic
• Theorem proving
• +7 more

Robbert Krebbers is an associate professor at the Department of Software Science at Radboud University Nijmegen, Netherlands. He is a leading researcher in program verification, specializing in separation logic and the Coq proof assistant. Krebbers is a core contributor to the Iris framework, a higher-order concurrent separation logic framework implemented in Coq. His research spans theoretical foundations of programming languages and practical applications to real-world languages including C, Rust, and Scala. His research interests focus on scaling program verification techniques to challenging programming paradigms like concurrency, higher-order functions, and modules. Krebbers' work bridges formal methods with practical language implementation, particularly in verifying memory safety and concurrency properties. He has made significant contributions to Rust verification through the RustBelt project and has pioneered techniques for verifying concurrent data structures and message-passing systems. Krebbers' recent publications demonstrate a strong trend toward verifying complex concurrency patterns, developing automated proof techniques, and applying separation logic to practical programming language features. His work frequently appears in top-tier programming languages conferences including POPL, PLDI, and ICFP, with several papers receiving distinguished paper awards. The research spans from foundational logic development to practical verification tools for real-world programming languages. As a principal investigator in the Iris project, Krebbers has secured significant research funding including the ERC Consolidator Grant for the RustBelt project. His work has influenced both academic research and industrial practice, particularly in the Rust programming language ecosystem. The Iris framework he helped develop has been adopted by numerous verification projects worldwide. Krebbers has advised PhD students including Ike Mulder (focusing on proof automation for concurrent separation logic) and Jules Jacobs (working on guarantees by construction). He has been actively involved in the programming languages research community, serving on program committees for major conferences and organizing workshops on formal methods and verification. He leads research in the Department of Software Science at Radboud University, where his group focuses on developing foundational techniques for program verification. The group collaborates closely with the Logic and Semantics Group and Foundations of Programming Group across institutions, contributing to a vibrant research ecosystem around formal methods and programming languages.

Frank PiessensView profile

Professor

• Software Security
• System Security
• Formal Methods
• +2 more

Frank Piessens is a Professor in the Department of Computer Science at Katholieke Universiteit Leuven (Belgium). His work bridges software security, systems security, formal methods, and programming languages. He actively investigates information flow security, with a dual focus on attack techniques and defense mechanisms. Current role: Professor at KU Leuven (Belgium) Research areas: Software Security, System Security, Formal Verification, Programming Languages Research Interests: His defense work includes formal verification for C-like languages, memory safety hardening, micro-architectural side-channel mitigation, and embedded security architectures. On the attack side, he studies transient execution attacks, memory safety exploits, and controlled channel attacks. Recent Article Trends: His publications span secure compilation techniques (2025), control-flow linearization (2024), functional reactive programming (2021-2014), formal verification (2020-2016), and hardware/software co-design security (2022). Keywords cluster around Computer Science , Security , and Programming Languages .

Michael EichbergView profile

Professor

• Software Engineering
• Static Analysis
• Software Development Tools
• +3 more

Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues. Research Interests: Static program analysis and its scalability to real-world code bases Software security, particularly cryptographic API misuse and Android app repackaging detection Concurrent and parallel programming models, including deterministic concurrency in Scala Software architecture conformance, drift and erosion detection, and rule reuse Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC) Publication Trends: His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse. Tools & Frameworks: OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019) LectureDoc 2 – Web-based lecture material authoring and presentation system QScope – Open extensible metrics framework for modern software projects Sextant – Eclipse-integrated software exploration tool XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints

Francesca ScalaView profile

Professor

• Gender and Public Policy
• Reproductive Politics and Policy
• Work-Care Reconciliation Policy
• +3 more

Francesca Scala is a Professor of Political Science and Associate Dean of Research and Graduate Studies at Concordia University's Faculty of Arts & Science. She holds a PhD from Carleton University, an MPPA from Concordia, and a B.A. in Political Science from McGill University. Her research focuses on gender and public policy, with specialties in reproductive politics, work-care reconciliation, and the role of expertise in policy-making. Current research includes SSHRC-funded projects on work-care reconciliation programs and menstrual equity activism, as well as collaborative work on Gender-Based Analysis (GBA) in Canada. She has authored/co-authored articles in journals like the Canadian Journal of Political Science and Policy Sciences, and her 2019 book *Delivering Policy* explores assisted reproductive technologies in Canada. Recipient of the 2018 Faculty of Arts and Science Dean's Award for Excellence in Academic Service Teaches courses including POLI 498 Gender and Public Policy, POLI 600 Public Policy Processes, and POLI 636 Theories of Public Policy Dr. Scala collaborates extensively with scholars like Dr. Stephanie Paterson on projects analyzing feminist policy frameworks and digital governance. Her work bridges academic research with public outreach, addressing contemporary issues such as the 'tampon tax' campaign and pandemic-era policy learning through social media.

• Knowledge Representation
• Ontology Engineering
• Semantic Web
• +6 more

Cassia Trojahn is a permanent Lecturer at the University of Toulouse 2 Jean Jaurès , affiliated with IRIT - UMR 5505, Department of Mathematics and Computer Science. Her career spans institutions in France, Portugal, Brazil, and the Netherlands, with roles including Expert Engineer at Joseph Fourier University and Post-Doc at INRIA Rhône-Alpes. Education Semantic Web, Ontology Alignment, Business Intelligence (University of Toulouse) Functional Programming (Haskell, Scala), Information Extraction (Pierre Mendès University) Graph Theory and Complexity (University of Évora) Research Interests : Knowledge representation and semantic web technologies Ontology alignment methodologies (argumentation, complex alignments, holistic approaches) Earth observation data integration with contextual information Open science and FAIR data principles Argumentation frameworks for mapping reconciliation Query rewriting with complex correspondences Advising : Co-supervised 5 PhD theses across France and Brazil, including: Jordane Dorne (2018-2021) - Earth observation semantic change detection Élodie Thiéblin (2016-2019) - Complex ontology alignment Roger Granada (2011-2015) - Hierarchical relations extraction Projects : Participated in international (CAMELEON, MULTIFARM) and European (EFFECTOR, CANDELA, SEALS) projects focused on multilingual ontology alignment, maritime situational awareness, and semantic earth observation data analysis.

Frank PiessensView profile

Professor

• Software Security
• Systems Security
• Formal Methods
• +2 more

Frank Piessens is a Professor in the Department of Computer Science at KU Leuven, Belgium. His work spans both offensive and defensive aspects of software and systems security, with a focus on formal verification, programming languages, and security architectures. He has served as program chair for major security conferences like POST 2016, IEEE Euro S&P 2018-2019, and IEEE SecDev 2021-2022. Software Security Systems Security Formal Methods Programming Languages Information Flow Security His research bridges theoretical and practical domains. On the defensive side, he has advanced formal verification for C-like languages, memory safety hardening, and micro-architectural side-channel mitigation. On the attack side, he has contributed to transient execution and memory safety exploitation frameworks. His recent work (2024) explores compiler support for control-flow linearization using architectural mimicry, while earlier publications (2021-2014) cover functional reactive programming, secure compilation, and dependently typed verification. Frank has consistently engaged with academic communities, serving on program committees for ACM CCS, Usenix Security, and IEEE Security & Privacy. He co-authored key papers in venues like POPL, ICFP, and PriSC. His lab, Distrinet, focuses on distributed systems and security research. No explicit details about scientific awards or student advisement are present in the provided data.

Michael E. CotterellView profile

Senior Lecturer

• Computer Science Education
• Active Learning
• Big Data Analytics
• +3 more

Michael E. Cotterell is a Senior Lecturer of Computer Science and Undergraduate Coordinator at the University of Georgia's School of Computing. He holds a B.S. (2011) and Ph.D. (2017) in Computer Science from UGA. His roles include directing the Computer Science Undergraduate Assistant (CSUA) and UGAHacks experiential learning programs. He chairs the Undergraduate Program & Curriculum Committee and serves on UGA’s University Council. Dr. Cotterell’s teaching career began in 2012 with Software Development courses, transitioning to full-time instructor in 2015. He has won multiple teaching awards, including the Teaching Excellence in Computer Science Award (2018, 2020) and was promoted to Senior Lecturer in 2021. He has also served as a UGA Online Learning Fellow, Writing Fellow, and Teaching Academy Fellow. His research interests span computational education, active learning methodologies, and technical fields like big data analytics, ontology-based semantics, and energy informatics. His work bridges pedagogical innovation with applied computational science. Dr. Cotterell’s publications focus on improving educational practices, predictive analytics, and interdisciplinary applications of computer science. His most recent work emphasizes student sentiment analysis in active learning environments and scalable energy systems modeling. Awards include the 2016 Outstanding Faculty Teaching Award and multiple fellowships recognizing his contributions to pedagogy and online education. He oversees undergraduate program development and coordinates experiential learning initiatives, emphasizing hands-on learning through hackathons and assistantship programs.

• Machine Learning
• Intention Mining
• Sentiment Analysis
• +7 more

Qadri Mishael is a Lecturer in Data Analytics at De Montfort University, affiliated with the School of Computer Science and Informatics within the Faculty of Computing, Engineering and Media. He holds a PhD in Computer Science from DMU and has over 18 years of experience in academia across Jordan, Saudi Arabia, and the UK. His educational background includes: BSc in Computer Science MSc in Computer Science PhD in Computer Science (De Montfort University) Dr. Mishael's research centers on intelligent data analysis, with a focus on Machine Learning, Intention Mining, Sentiment Analysis, Natural Language Processing, Fuzzy Logic, and Social Network Analysis . His work leverages text analytics to understand user behavior on social media platforms, particularly Twitter. He applies advanced classification and feature selection techniques to extract user intentions from textual data, contributing to the fields of AI and social computing. His recent publications demonstrate a consistent focus on mining user intentions from Twitter using machine learning and text analytics. These works explore feature engineering, classification models, and the interplay between linguistic patterns and user intent in social media content. He is affiliated with the Cyber Technology Institute (CTI) at DMU and is a member of the Institute of Electrical and Electronics Engineers (IEEE) . Dr. Mishael teaches a wide range of computer science courses including Data Structures and Algorithms, Object-Oriented Design, Concurrent and Parallel Algorithms, E-commerce Software Development, and Programming in Java, Python, Scala, and C#. He also supervises final-year BSc and MSc projects, contributing to student research and development. He has presented his work at international conferences such as IDEAL 2019 in Manchester.