Find Academic Supervisors

Timothy RoscoeView profile

Professor

• Operating Systems
• Networking
• Distributed Systems
• +3 more

Prof. Dr. Timothy Roscoe is a Full Professor in the Department of Computer Science at ETH Zurich. His research focuses on operating systems, networking, and distributed systems. He was inducted as an ACM Fellow in 2014 for contributions to these fields. Previously, he worked at Intel Research Berkeley, UC Berkeley (Adjunct Professor), and Sprint Labs. His work includes foundational contributions to systems like PlanetLab, P2 Declarative Networking, and the Nemesis OS. Roscoe holds a PhD from the University of Cambridge and has led projects in cloud computing, wide-area network measurement, and secure systems design. His current research emphasizes hardware-software co-design, formal verification of systems, and scalable memory architectures. Education: PhD in Computer Science, University of Cambridge (1995) Key Roles: Principal Researcher at Intel Berkeley Lab, Visiting Researcher at National ICT Australia Research Highlights: Contributions to distributed systems (PlanetLab), declarative networking (P2), and secure microkernels (seL4 integration). Current projects address challenges in disaggregated memory systems, coherent interconnects, and trustworthy embedded systems. Awards: ACM Fellow (2014), numerous grants and industry collaborations. Labs/Teams: Systems Group at ETH Zurich, focusing on OS design, hardware architectures, and formal methods.

• Secure Decentralized Systems
• Blockchain Technology
• Systems Security
• +3 more

Prof. Bryan Ford leads the Decentralized/Distributed Systems (DEDIS) lab at EPFL. He focuses on secure decentralized systems, including blockchain technology, privacy, and systems security. He earned his Ph.D. from MIT and held faculty positions at Yale University and EPFL. His work spans distributed consensus protocols, peer-to-peer networking, and privacy-preserving systems. Key projects include QuePaxa (timeout-free consensus), UIA (global connectivity for mobile devices), and MedCo (secure healthcare data sharing). He advises numerous PhD students and contributes to open-source projects like Bitcoin collective signing and privacy networks like Riffle. Education: Ph.D., MIT; Postdoctoral work at Yale Research interests include blockchain scalability, consensus algorithms, and cryptographic privacy. His lab develops systems like TRIP for coercion-resistant voting and F3B to mitigate blockchain front-running. His work on NAT traversal and peer-to-peer protocols (e.g., STUN/ICE) remains foundational in network architecture. He emphasizes practical, auditable security solutions such as CertiKOS and atomic cross-chain transactions (Atom). Notable contributions: CoSi (collective signing), OmniLedger (sharded blockchain), and privacy-preserving protocols like PURBs (Protected Unsealable Recursive Boxes). His lab collaborates with Swiss Post to audit e-voting systems and designs democratic cryptocurrencies like PoPCoin.

Emin Gun SirerView profile

Associate Professor

• Operating Systems
• Networking
• Distributed Systems
• +3 more

Emin Gün Sirer is an Associate Professor at the Department of Computer Science , College of Engineering , Cornell University . He co-directs the Initiative for Cryptocurrencies and Smart Contracts and leads the Meridian and HyperDex projects. Research in operating systems, networking, and distributed systems Focus on secure operating systems, high-performance cloud infrastructure, and peer-to-peer networks Developed systems like Nexus (secure OS), OpenReplica (Paxos implementation), and Trickles (stateless network protocol) Prominent Projects : Meridian - Lightweight network location service without virtual coordinates Cubit - Decentralized peer-to-peer search Kimera - Network-centric Java verification SPIN - Extensible microkernel for application-specific services Scientific Contributions : Leading work in blockchain security and peer-to-peer systems Patents in executable content rewriting and distributed virtual machines Advising & Collaborations : Advises projects in network positioning and content distribution Collaborates with institutions like Usenix , SIGCOMM , and NSDI Personal Background : Ph.D. and M.S. in Computer Science from the University of Washington B.S.E. in Computer Science from Princeton University High school at Robert College

Andrea BastoniView profile

Research Fellow

• Real-Time Systems
• Cyber-Physical Systems
• Operating System Design
• +5 more

Dr. Andrea Bastoni is a Postdoctoral Researcher and Research Fellow at the Chair of Cyber-Physical Systems in Production Engineering at Technical University of Munich (TUM), Faculty of Mechanical Engineering. He is also the CTO and co-founder of Minerva Systems , developing operating system solutions for AI-ready embedded applications. His expertise spans real-time operating systems, cyber-physical systems, and predictable system design for heterogeneous platforms. His research focuses on enhancing predictability of memory hierarchies in complex SoCs through techniques like memory bandwidth regulation and cache partitioning. This work has industrial applications in safety-critical domains such as avionics and railways, where he contributes to certifiable hypervisors and operating systems. As former Software Architect of the PikeOS hypervisor at SYSGO GmbH (2012-2020), he specialized in DO-178C, IEC 61508, and EN 50128 standards. His academic background includes a Ph.D. in Computer Engineering from the University of Rome Tor Vergata (2007-2011), where he developed LITMUS^RT as part of UNC's Real-Time Systems Group during a visiting researcher period (2009-2010). His publications reflect ongoing work on Multicore Real-Time Scheduling , Mixed-Criticality Task Isolation, and Arm DynamIQ shared unit analysis. He actively participates in program committees for conferences like RTSS, DSN, and DATE.

• Software Engineering
• Industrial Automation
• Cloud Computing
• +7 more

David Hästbacka is an Associate Professor (tenure track) at the Department of Computing Sciences, Faculty of Information Technology and Communication Sciences at Tampere University. His research focuses on software engineering, industrial automation, and energy systems, emphasizing system architecture, interoperability frameworks, and dependable IoT solutions. He leads a research group exploring edge and cloud computing, semantic integration, and smart energy systems. Education & Professional Background : While specific educational details are not provided, his academic career includes roles such as Postdoctoral Researcher in the SEMIS project (2017-2020) and extensive involvement in EU-funded initiatives like COCOP (EU H2020) and Horizon Europe projects. Research Projects : Active in high-impact projects like Hedge-IoT (Horizon Europe, 2024-2027), TwinfFlow (Business Finland), and TRINEFLEX (Horizon Europe), with a focus on industrial automation, distributed systems, and energy grids. Past projects include FEMMa (Business Finland), DisMa (Academy of Finland), and Arrowhead (ECSEL). Teaching & Supervision : Specializes in Web/Cloud architectures, IoT systems, and dependable automation technologies. Supervises students in topics like edge computing frameworks and MLOps pipelines. Technical Contributions : Develops frameworks for industrial interoperability (e.g., OPC UA PubSub integration), edge-cloud toolchains, and MLOps methodologies. His work addresses challenges in microservices, Kubernetes distributions, and semantic data integration. Labs & Teams : Leads a research group advancing automation technologies through interdisciplinary collaboration, with partnerships in industry and academia to bridge theory and practice in smart systems.

Ron Van der MeydenView profile

Professor

• Computer Security
• Logic in Computer Science
• Logic of Knowledge and Belief
• +9 more

Professor Ron Van der Meyden is a faculty member at the School of Computer Science and Engineering at the University of New South Wales, Sydney. His work focuses on the intersection of logic, security, and distributed systems, with particular expertise in blockchain technology and smart contracts. He leads the UNSW Interest Group in Blockchain, Smart Contracts and Cryptocurrency and organizes related seminar series. Professor Van der Meyden's research spans formal methods, computer security, and distributed systems. His work on epistemic logic has been influential in understanding knowledge-based systems and security protocols. He has made significant contributions to the formal verification of blockchain protocols and smart contracts, bringing rigorous mathematical approaches to these emerging technologies. His recent work explores the application of knowledge-based reasoning to consensus protocols and intersection management in autonomous systems. ACM Distinguished Scientist, 2009 As an advisor, Professor Van der Meyden has mentored numerous PhD and Masters students who have gone on to successful careers in academia and industry. His research is supported by grants including Australia's Economic Accelerator Grant for developing a commercial version of a software model checker and an AFOSR/DST Australia grant for verification and synthesis of fault-tolerant autonomous systems. He has received multiple ARC Discovery and Linkage grants over the years. Professor Van der Meyden leads the UNSW Interest Group in Blockchain, Smart Contracts and Cryptocurrency, fostering interdisciplinary research in this area. He has played key roles in major research centers including Smart Internet CRC and National ICT Australia (NICTA), where he established and led the Formal Methods program. His work on the formal verification of the seL4 microkernel and the Goanna static analysis tool has had significant practical impact.

Bineet GhoshView profile

Assistant Professor

• Artificial Intelligence
• Autonomous Vehicles
• Deep Learning
• +5 more

Bineet Ghosh is an Assistant Professor in the Department of Computer Science at The University of Alabama's College of Engineering . He leads the Trustworthy Autonomy Lab , focusing on safety verification for autonomous systems with timing uncertainties. His educational background includes a PhD from UNC Chapel Hill (2023), an M.Sc. from Chennai Mathematical Institute, and a B.Sc. (First Class First with Gold Medal) from Ramakrishna Mission Vidyamandira. PhD in Computer Science (UNC Chapel Hill, 2023) M.Sc. in Computer Science (Chennai Mathematical Institute, 2016) B.Sc. (First Class First with Gold Medal) in Computer Science (Ramakrishna Mission Vidyamandira, 2014) His research spans Artificial Intelligence, Autonomous Vehicles, Deep Learning, Embedded Systems, Robotics, and Cyber-Physical Systems , with a focus on statistical verification methods and safety-aware scheduling. Recent publications analyze neural architecture sizing, GPU partitioning, and uncertainty-aware monitoring in autonomous systems. Scientific awards include the Chateaubriand Fellowship (2021), Best Presentation Award at ACM SIGBED (2022), and Best Paper Candidate at RTCSA (2022). He previously worked as a research intern at Tata Research Labs and software developer at Oracle.

• Embedded Systems
• Synchronous Languages
• Theorem Proving
• +8 more

Timothy Bourke is a Researcher at Inria in the PARKAS team , affiliated with the Informatics Department of École normale supérieure (ENS) . He also serves as an Adjunct Professor at the Informatics Department of École Polytechnique , contributing to both institutions' academic and research missions. Research Focus: His work centers on rigorous approaches to modeling, programming, and verifying embedded control systems. This includes developing and analyzing Vélus (Verified Lustre) and Zélus (synchrony + ODEs) , integrating formal methods with practical applications like robotic wheelchair control systems, infrared sensors, microkernel operating systems, microprinter components, and wireless routing protocols. Academic Service: Active in program committees for conferences including DAC , ECRTS , EMSOFT , iFM , JFLA , and SETTA , including chairs/co-chairs at ESOFT 2019 , JFLA 2022-2023 , and SETTA 2024 . Regular reviewer for journals like ACM Transactions on Embedded Computing Systems and Real-Time Systems . Students: Advised Guillaume Baudart (2013–2017), Lélio Brun (2016–2020), Paul Jeanmaire (2020–2024), and Basile Pesin (2020–2023). Labs/Teams: Core member of the PARKAS team at Inria, focusing on embedded systems and synchronous language design. His technical contributions include software tools like Muttlight , Sundials/ML , and Urpal for timed trace inclusion testing. He also teaches courses such as L3 at ENS , MPRI INF559 , and CSE205 at École Polytechnique .

RobbyView profile

Professor

• Formal Methods
• Software Engineering
• Programming Languages
• +3 more

Robby is a Professor in the Department of Computer Science at Kansas State University's College of Engineering, holding the Don and Linda Glaser - Carl and Mary Ice Keystone Research Scholar title. He maintains an active research profile through the SAnToS Lab and has been continuously affiliated with the university since 2004. His educational background includes: Ph.D. in Computer Science from Kansas State University (2004) M.S. in Computer Science from Kansas State University (2000) B.S. in Computer Science from Oklahoma State University (1998) Robby's research centers on formal methods and software engineering , specializing in specification and verification techniques for high-assurance systems. His work develops user-friendly formal languages and cost-efficient verification algorithms that significantly enhance software trustworthiness in safety-critical domains like aerospace and defense systems. This research bridges theoretical foundations with practical industrial applications through tools like the Sireum framework. His publication record (2021-2025) reveals a strong trajectory toward integrated verification ecosystems, particularly the Sireum suite (Logika, Slang) and HAMR toolset for AADL-based development. These works consistently address model-code verification gaps and contract-based testing in cyber-physical systems, demonstrating growing industry adoption through collaborations with organizations like Galois and NASA. Notable recognitions include: NASA Turning Goals into Reality award (2003) NSF CAREER award (2007) ICSE Most Influential Paper award (2000) ACM SIGSOFT Impact award (2010) FMICS Best Tool Paper Award (2024) Robby's research program combines significant funding from sources like the NSF CAREER grant with active industry partnerships. His SAnToS Lab serves as a hub for developing verification methodologies that scale from academic prototypes to real-world deployment in safety-critical systems, emphasizing practical toolchains for assurance engineering. He leads the SAnToS Lab (Software Analysis and Test Organization), which focuses on advancing formal verification techniques for high-integrity software through frameworks like Sireum and HAMR, with applications spanning microkernels, cyber-physical systems, and educational tools.

Mark P JonesView profile

Professor

• Programming Language Design
• Programming Language Implementation
• Low-Level Systems Programming
• +6 more

Mark P Jones is a Professor and Chair of the Maseeh College of Engineering & Computer Science at Portland State University . He holds a B.A. (Hons, first-class) in Mathematics and an M.Sc. and D.Phil. in Computation from the University of Oxford. His research spans programming language design, implementation, and application, with a focus on advanced language technologies for low-level systems programming and expressive type systems for secure, reliable software. He is best known for designing the Hugs interpreter and Gofer systems, which have been foundational in functional programming education. His work includes the NSF-funded CEMLaBS project (Award CNS-1422979) exploring language-based security via microkernels like seL4 and pork. Selected Courses: CS 410/510 Languages and Low-Level Programming CS 320 Principles of Programming Languages CS 457/557 Functional Programming Scientific Awards: Winner, British Computer Society Competition for Distinguished Dissertations in Computer Science (1993) He maintains the LLP Labs GitHub repository and has contributed to tools like mil-tools for systems programming education.

Gunnar TeegeView profile

Professor

• Formal Verification
• Virtualization
• Distributed Systems
• +7 more

Prof. Dr. Gunnar Teege is a faculty member at the Institute for Computer Engineering within the Faculty of Computer Science at Bundeswehr University Munich. His career spans over two decades, focusing on distributed systems, virtualization, and formal verification of operating system components. He has led numerous research projects, including collaborations with institutions like the Runder Tisch GIS eV and the Bavarian State Office for Surveying and Geoinformation. Education: Diploma in Computer Science from Technical University of Munich (1985), Doctorate in Computer Science from TUM (1991) Affiliations: Member of GI (Gesellschaft für Informatik) and ACM (Association for Computing Machinery) Research interests include formal verification of software components for secure systems, virtualization frameworks, distributed systems, military communications, geospatial data interoperability via OpenGIS standards, computer-supported cooperative work (CSCW), and E-Learning platforms. His work often bridges theoretical and applied domains, particularly in defense IT systems and education technology. He has contributed to projects like Targeteam (XML-based adaptable teaching materials), HoBIT (high-security embedded systems), and MiKscHA (microkernel applications for high-security environments). His publications emphasize modularity, tailorability, and security in software design. Teaching activities at Bundeswehr University Munich include courses on operating systems, distributed systems, virtualization, and cybersecurity. Previously, he taught problem-based learning in computer science at TU Munich and developed virtual lectures for the Virtual University of Bavaria (vhb) from 2001–2005.

Jim Alves-FossView profile

Professor

• Cybersecurity
• Formal Verification
• Operating Systems
• +2 more

Jim Alves-Foss is a University Distinguished Professor of Computer Science at University of Idaho's College of Engineering, specializing in high-assurance computing systems and cybersecurity. Core research domains: Formal methods for security verification Operating system security architectures Critical infrastructure protection Automated security policy enforcement Publications demonstrate consistent focus on: Rigorous verification of security properties (e.g., seL4 kernel) Development of automated analysis tools (fuzzing, SDN policy) Industrial control system protection frameworks Adversary-aware risk assessment methodologies

Francesco Zappa NardelliView profile

Associate Professor

• Formal Verification
• Programming Languages
• Type Systems
• +3 more

Francesco Zappa Nardelli is a part-time Associate Professor at École Polytechnique and a Research Scientist at Meta. He is currently on leave from Inria Paris, focusing on formal verification and programming language design. Member of the POPL'23 Program Committee Presented key research on formal verification of microkernel IPC and Julia subtyping algorithms Research Focus: His work bridges formal methods, programming language theory, and systems software. Recent efforts include compiler optimization, type system innovation, and safety-critical systems verification. Scientific Recognition: Recognized as an invited speaker at DeepSpec and ENTROPY workshops, with publications in top venues like CPP, OOPSLA, and ECOOP.

Peter W. O'HearnView profile

Professor

• Programming Languages
• Formal Verification
• Separation Logic
• +5 more

Peter W. O'Hearn is a Professor of Computer Science at University College London and a Research Scientist at Meta AI (FAIR). He has held academic positions at Syracuse University, Queen Mary University of London, and University College London, before joining Facebook (now Meta) in 2013 as part of the acquisition of the verification startup Monoidics. His career spans over 25 years of research in programming languages and logic, with significant contributions to both theoretical foundations and practical industrial applications. O'Hearn's research primarily focuses on formal reasoning about programs, with his most notable contributions being the co-invention (with John Reynolds) of Separation Logic and the development of Incorrectness Logic. His work bridges the gap between theoretical computer science and practical software engineering, emphasizing how fundamental theory, tool development, and real-world application can mutually reinforce each other. He has consistently advocated for the integration of formal methods into industrial software development practices. His research has led to the development of the Infer program analyzer, which runs internally on Meta's code bases and has detected over 100,000 bugs that have been fixed by developers. Infer is also used in production at other major companies including Amazon, Mozilla, Spotify, and Marks and Spencer. His recent work on Incorrectness Logic represents a paradigm shift from traditional program verification approaches, focusing on bug finding rather than correctness proving. O'Hearn has received numerous prestigious awards recognizing both his theoretical contributions and practical impact: Fellow of the Royal Society (elected 2018) Fellow of the Royal Academy of Engineering (2016) 2016 Gödel Prize 2016 CAV Award Two POPL MIP awards Honorary doctorate from Dalhousie University (2018) 2021 IEEE Cybersecurity Award for Practice Throughout his career, O'Hearn has successfully translated theoretical advances into practical tools used at scale in industry. His work on Separation Logic led directly to Infer, while his more recent work on Incorrectness Logic aims to provide foundations for next-generation bug catching tools. He has maintained a strong academic presence while working in industry, continuing his professorship at UCL alongside his role at Meta. O'Hearn leads research efforts at the intersection of formal methods and practical software engineering at Meta, focusing on scaling static analysis techniques to handle the massive codebases typical of modern technology companies. His work has significantly influenced how large tech companies approach software verification and bug detection.

• Operating Systems
• Distributed Systems
• Computer Networks
• +3 more

Andrew Tanenbaum is a Professor Emeritus at Vrije Universiteit Amsterdam, affiliated with the Faculty of Science's Computer Systems department. He holds a PhD in Physics from the University of California and a Bachelor's in Physics from MIT. His expertise spans operating systems, distributed systems, and computer networks, with a focus on fault tolerance and system security. Tanenbaum has authored seminal textbooks like 'Operating Systems: Design and Implementation' and 'Computer Networks.' He has been awarded the Eurosys Lifetime Achievement Award (2015), ACM Fellowship (1996), IEEE Fellowship (1998), and honorary doctorates (2008, 2011). His research emphasizes reliable system design, including projects like MINIX, and explores fault injection, storage systems, and live updating mechanisms. Tanenbaum has supervised 20 PhD theses and contributed to over 300 publications. His work bridges theoretical foundations with practical implementations, influencing modern operating system and network architecture.