Find Academic Supervisors

Robert RinkerView profile

Associate Professor

• Computer Architecture
• Reconfigurable Computing
• Embedded Systems Security
• +3 more

Robert Rinker, Ph.D., is an Associate Professor and Associate Chair in the Department of Computer Science at the University of Idaho, part of the College of Engineering. His office is located in Hedlund Building 202D, and he can be reached at rinker@uidaho.edu. Rinker holds a Ph.D. in Computer Science from Colorado State University, and both Master's and Bachelor's degrees in Electrical Engineering from the University of Idaho. His teaching responsibilities include courses such as Computer Science I (CS 120), Computer Organization and Architecture (CS 150), System Software (CS 270), Advanced Computer Architecture (CS 451/551), and Real-Time Operating Systems (CS 452/552). His research focuses on reconfigurable computing, embedded systems security, computational biology pipelines, and hardware compilation techniques. Specific contributions include work on FPGA-based systems, resilient multi-core architectures, and formal verification methodologies. Rinker’s research trends emphasize the intersection of hardware-software co-design and cybersecurity, with notable contributions to VANET security and computational density optimization in embedded systems. His publications span topics from workflow automation in bioinformatics to compiler-driven FPGA optimization strategies. While no formal awards or grants are listed, his extensive academic service as Associate Chair highlights his leadership in departmental operations. He advises courses but no listed students or active lab teams are mentioned in the provided materials.

• Secure Systems
• Operating Systems
• Distributed Systems
• +5 more

Nickolai Zeldovich is the Joan and Irwin M. (1957) Jacobs Professor of Electrical Engineering and Computer Science at MIT and a member of the Computer Science and Artificial Intelligence Laboratory (CSAIL). His research focuses on building practical secure systems through the integration of formal methods with real-world system design. His research interests span secure systems, operating systems, distributed systems, formal verification, and cryptography. Recent work emphasizes automated reasoning for distributed system liveness, leakage-free hardware security modules, and privacy-preserving web technologies. Projects include CryptDB (encrypted databases), FSCQ (verified file systems), Algorand (cryptocurrency), and Vuvuzela (private messaging). His publication trends show consistent output in formal verification of distributed systems (Shipwright, Grove), hardware security (K2 Architecture), and privacy technologies (Tiptoe). Recent work increasingly combines theoretical verification with practical implementation constraints. Best Paper Awards at ACM SOSP (2013, 2015, 2017) Sloan Research Fellowship (2010) NSF CAREER Award (2011) MIT EECS Jamieson Award for Excellence in Teaching (2024) ACM SIGOPS Mark Weiser Award (2017) Amazon Research Award (2023) He advises PhD students through the PDOS research group with active grants from Amazon, Google, NSF, and DARPA. His teaching includes core courses like Computer Systems Security and Operating System Engineering, emphasizing hands-on security analysis. The PDOS lab maintains strong industry connections with multiple startup spin-offs and regular technology transfer to production systems. He leads the PDOS (Parallel and Distributed Operating Systems) Research Group, which focuses on building verified, secure, and high-performance systems through close collaboration between theory and practice.

• Software Reliability
• Software Security
• Symbolic Execution
• +6 more

Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group. He holds an ERC Consolidator Grant and is an EPSRC Early-Career Fellow. His research focuses on enhancing software reliability and security through techniques like symbolic execution and dynamic analysis. Education: PhD in Computer Science (Stanford University), M.Eng. and B.S. in Computer Science and Mathematics (MIT). Research interests include software engineering, computer systems, and security, with a focus on practical tools for testing and verification. His work has led to advancements in symbolic execution, compiler testing, and dynamic software updates. Key publications span topics like KLEE, symbolic execution optimization, and compiler fuzzing. Awards include the BCS Roger Needham Award, Humboldt Research Award, and SIGOPS Hall of Fame recognition. He advises PhD students and postdocs, focusing on systems programming and compilers. His lab develops tools like KLEE and explores multi-version execution and greybox fuzzing.

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

Prof. Ralf Jung is an Assistant Professor at ETH Zürich's Department of Computer Science, leading the Programming Language Foundations Lab under the Institute for Programming Languages and Systems. His work focuses on formal verification of programming languages, particularly Rust and Iris. Previously, he earned his PhD at Saarland University and MPI-SWS, advised by Derek Dreyer, followed by a postdoc at MIT CSAIL's PDOS group. Research Interests: Formal foundations of Rust, including tools like Miri for detecting undefined behavior and MiniRust for precise specification. Iris logical framework for modular verification of programming languages at scale. Concurrent and distributed systems verification using separation logic. Advising & Labs: He leads the Programming Language Foundations Lab and is hiring postdocs. His work integrates theoretical rigor with practical tooling for real-world language verification challenges. Labs/Teams: Programming Language Foundations Lab at ETH Zürich, collaborating with the Rust language team and global research community.

Mark van den BrandView profile

Professor

• Software Engineering
• Digital Twin Engineering
• Model-Driven Engineering
• +4 more

Mark van den Brand is a Full Professor of Software Engineering and Technology at Eindhoven University of Technology (TU/e), where he holds the chair in Software Engineering and serves as Scientific Director of the Digital Twin Lab (part of EAISI). He concurrently holds a Visiting Professorship at Royal Holloway University of London. His academic journey includes a PhD in Computer Science from Radboud University (1992), prior roles as part-time Associate Professor at Vrije Universiteit Amsterdam, and senior research positions at CWI. He also serves as Editor-in-Chief of the Journal on Software Engineering of Autonomous Systems (JSEAS) and editorial board member of Computer Languages, Systems and Structures . His research focuses on software engineering fundamentals, digital twins, model-driven engineering, safety-critical systems, and automotive software. Key contributions include work on domain-specific languages, model consistency, and safety assessment frameworks. He leads the Software Engineering and Technology cluster at TU/e and directs educational initiatives in the Department of Mathematics and Computer Science. Recent publications emphasize digital twin engineering, model management, and automotive systems safety. He collaborates internationally on projects like the C-ITS reference architecture and functional safety for autonomous driving. His work bridges academic research with industrial challenges through tools like SAMOS and COGENT, addressing scalability and consistency in large-scale systems. Current educational responsibilities include courses on programming, digital systems, and data science. He actively engages with industry through the TU/e innovation ecosystem, focusing on impactful research solutions for modern software engineering problems.