Find Academic Supervisors

Gleb NazarikovView profile

Researcher

• Optical Communication Systems
• Terahertz Technology
• Quantum Engineering
• +6 more

Gleb Nazarikov is a Researcher in the Department of Electrical Engineering at Eindhoven University of Technology (TU/e), with a focus on Terahertz Photonic Systems and Quantum & Terahertz Systems. His primary roles include postdoctoral research involving optical communication systems, photonics integration, and millimeter-wave technologies. He earned his MSc and PhD in Electrical Engineering, with his doctoral thesis titled "Optical Injection Locking for Enhanced Performance of Optical Communication Systems" (2023). His research spans interdisciplinary areas such as nanophotonic devices, optical injection locking techniques, and high-speed data transmission systems. Key research interests include: Optical Communication Systems Terahertz and Millimeter-Wave Technologies Quantum Engineering Applications Integrated Photonics and Nanotechnology Signal Processing and Noise Reduction Recent work highlights advancements in PAM4 modulation for 40 Gbit/s transmissions, nanophotonic InP membrane devices, and bidirectional 5G fronthaul solutions. He collaborates on projects like HiCONNECTS (2023–2026) and FREEPOWER (2019–2023), addressing connectivity sustainability and free-space electromagnetic modulation. Labs and teams: Active in TU/e’s Quantum & Terahertz Systems group under Prof. I. Tafur Monroy, contributing to photonic integration and terahertz systems development.

Mark C. JeffreyView profile

Assistant Professor

• Computer Architecture
• Parallel Computing
• Computer Systems
• +3 more

Mark C. Jeffrey is an Assistant Professor in the Edward S. Rogers Sr. Department of Electrical and Computer Engineering at the University of Toronto, cross-appointed to the Department of Computer Science. His research focuses on computer architecture and systems, aiming to simplify parallel programming for software engineers through novel compilers and large-scale multicore architectures. Previously, he was a Research Scientist at Facebook AI Research and earned his PhD from MIT under Daniel Sanchez. He holds a MASc and BASc from the University of Toronto. Education: PhD in Computer Science, MIT (2019) MASc in Computer Engineering, University of Toronto (2011) BASc in Engineering Science, University of Toronto (2009) Research interests include parallel computing, compilers, multicore architectures, and energy-efficient systems. His work bridges hardware-software co-design to enable scalable parallelism in modern systems. Notable awards include the George M. Sprowls PhD Thesis Award (2nd place, 2019), Best Paper at NoCArc 2023, and a Best Paper Award at ARC 2010. He teaches advanced courses in computer architecture and parallel programming (ECE1755, ECE552). His GitHub repository bf-intersect explores Bloom filter configurations for address-set disambiguation, tied to his SPAA 2011 and MASc thesis work.

• Computer Architecture
• Multi-core Systems
• Fault-Tolerant Computing
• +4 more

Dr. Işıl Öz is an Assistant Professor in the Computer Engineering Department at Izmir Institute of Technology (IZTECH). She holds a B.Sc. and M.Sc. in Computer Engineering from Marmara University and a Ph.D. from Boğaziçi University. Before joining IZTECH in 2018, she worked as a postdoctoral researcher and ERCIM/Marie Curie Fellow at the Swedish Institute of Computer Science (SICS). Her research focuses on computer architecture, performance optimization, and reliability of multi-core systems, with a strong emphasis on fault-tolerant computing and GPGPU applications. Key projects include the TÜBİTAK-funded FTGPGPU initiative analyzing hardware fault tolerance for GPU applications. She teaches courses such as Operating Systems, Advanced Computer Architecture, and Parallel Programming Patterns. Her work spans machine learning-based vulnerability prediction, compiler design for reliable execution, and approximation techniques for efficient parallel computing. Publications appear in venues like ACM Computing Surveys, The Journal of Supercomputing, and International Journal of Parallel Programming. Awards: ERCIM/Marie Curie Fellowship Labs/Teams: Parsiyte Research Group (focused on parallel and distributed systems) Grants: TÜBİTAK ARDEB 3501 (FTGPGPU project)

Serap ŞahinView profile

Assistant Professor

• Cybersecurity
• Information Systems Security
• Cryptology
• +5 more

Serap Şahin is an Assistant Professor in the Computer Engineering Department at Izmir Institute of Technology. She holds a B.S. (1987), M.Sc. (1989), and Ph.D. (2006) in Computer Engineering from Ege University. Her academic career began in 2002 after working at Arkas Holding as an Information Systems Coordinator, where she managed transportation and logistics systems. She completed a postdoctoral fellowship at the European Commission’s Joint Research Center (2010) focusing on Next Generation Network Security, supported by TUBITAK. Her research interests span cybersecurity, information systems security, cryptology, and cloud computing security. Notable contributions include studies on social network privacy, blockchain applications, forensic data analysis, and homomorphic encryption systems like EDU-VOTING. She has published widely in journals such as the International Journal of Information Security Science and Turkish Journal of Electrical Engineering and Computer Sciences. Key achievements include a TUBITAK Postdoctoral Fellowship (2010) and leadership in projects like “Homomorphic Cryptosystem Based Electronic Election System Solution” funded by BAP. Her work bridges theoretical cryptography with practical applications in secure communication, data privacy, and network security.

Zhong ShaoView profile

Professor

• Programming Languages
• Formal Methods
• Operating Systems
• +5 more

Zhong Shao is the Thomas L. Kempner Professor of Computer Science at Yale University, leading the FLINT research group. His work focuses on certified software systems, formal methods, and secure system design. He is known for pioneering research in certified assembly programming (CAP) and the development of the CertiKOS verified operating system kernel. Research Interests: Formal semantics, concurrency and coordination, certified compilation, language-based security, and verified system software. Recent Contributions: Pioneered deep specifications for layered system software, developed the VeriML proof automation framework, and advanced formal verification for distributed systems and smart contracts. Current efforts include verified blockchain systems and compositional verification techniques for concurrent programs. Teaching: Currently teaches CS430 Formal Semantics in Spring 2025 and has previously taught courses on compilers, operating systems, and programming languages. Labs/Teams: Director of the FLINT Group, collaborating with researchers from Princeton, UPenn, and MIT on NSF Expedition projects in deep specifications. Involved in systems seminars like APLAR and SPAM.

• High-Performance Computing (HPC)
• Grid Computing
• Parallel Programming
• +4 more

Professor Mark Baker is a faculty member at the University of Reading's Department of Computer Science, specializing in High-Performance Computing (HPC), Grid Computing, and Distributed Systems. His research focuses on optimizing parallel and distributed applications, virtualization technologies, and semantic web frameworks. He has contributed to projects like the VERA information environment for archaeological informatics and the MPJ Express messaging library for Java HPC. Research interests include para-virtualization performance analysis, cloud computing resource utilization, and scalable grid information services. He has published extensively on topics such as parallel programming models, distributed system architectures, and benchmarking methodologies. His work integrates semantic web technologies for profiling systems and enhancing collaborative environments in e-Science. Key contributions include the development of wide-area messaging frameworks (e.g., Tycho), cluster computing fundamentals, and grid portal technology. He has collaborated on projects involving supercomputing infrastructure (e.g., Thamesblue supercomputer) and cloud-based HPC applications. His research emphasizes practical applications of virtualization and distributed computing in academic and industrial contexts.

Simão Melo de SousaView profile

Associate Professor

• Formal Methods
• Software Reliability
• Software Security
• +7 more

Simão Melo de Sousa is an Associate Professor at the Computer Science Department of the Engineering Faculty at the University of Beira Interior (UBI) , where he leads the RELEASE (RELiablE And SEcure Computation) research group under Nova-Lincs. He holds a Habilitation ( Agregação ) in Computer Science from UBI, a PhD from Nice-Sophia Antipolis University (France), and advanced degrees from Orléans University (France). Research Focus: Formal methods, software reliability/security, blockchain, computational logic, programming language design, deductive verification Teaching: Courses: Proof and Programming Theory , Certified Programming , Formal Methods , Functional Programming Projects include GreenStamp , HORUS , and COPES (PI roles), alongside contributions to LEAF , FRESCO , and European COST Networks . His work bridges theory and practice through co-developed tools like Why3 , ARMY , and LISSOM , targeting safety-critical systems (avionics, railways, medical) and cloud/ubiquitous security. He actively contributes to educational platforms like Learn-OCaml and co-authored books such as Rigorous Software Development (Springer, 2011). Scientific Collaborations : Key partnerships with Tezos Foundation , OCaml Foundation , Nova-Lincs , and institutions including Critical Software , EFACEC , and INRIA . His publications span journals ( Science of Computer Programming , Journal of Automated Reasoning ) and conferences ( LICS , ISoLA , ACISP ).

Sadiq JafferView profile

Research Fellow

• Artificial Intelligence
• Climate Science
• Environmental Policy
• +3 more

Dr. Sadiq Jaffer is a Bernstein Planetary Computing Fellow and Senior Research Associate at the University of Cambridge's Department of Computer Science and Technology, where he focuses on applying AI/ML to environmental challenges. He leads technology initiatives for the Cambridge Centre for Carbon Credits, developing methodologies for nature-based carbon projects. His research spans planetary computing, conservation AI, and programming language innovation (e.g., OCaml runtime development). Education: MEng in Computer Systems Engineering (University of Warwick) PhD in Autonomous Mobile Robotics (University of Warwick) Research Interests: AI-driven conservation strategies Climate change mitigation via digital tools OCaml compiler and runtime optimization Privacy-preserving carbon accounting systems Professional Roles: OCaml Core Developer (Garbage Collector maintenance) Former CEO of Opsian (Java performance monitoring) Key Projects: Multicore OCaml integration into the upstream compiler PACT methodology for tropical forest carbon accreditation LLM-driven evidence synthesis for conservation science

• High-performance Computing
• Parallel Algorithms
• Scientific Computing

Professor Tobias Weinzierl heads the Scientific Computing research group at Durham University's Department of Computer Science. He is Co-director of the Institute for Data Science (IDAS) with responsibility for Large-Scale Computing initiatives and serves as inaugural director of the Master in Scientific Computing and Data Analysis (MISCADA). Professor Weinzierl is a reviewer for the EuroHPC JU and principal investigator on multiple ExCALIBUR projects. His research focuses on parallel algorithms, high-performance computing, and scientific computing methodologies. Key areas include adaptive mesh refinement, task-based parallelism, and exascale computing frameworks. Professor Weinzierl develops the Peano software framework for parallel grid traversals and contributes to the ExaHyPE engine for hyperbolic PDEs. His publications span parallel computing paradigms, performance optimization, and applications in computational geophysics. Research trends include GPU offloading, fault tolerance in HPC, and SYCL programming models. Professor Weinzierl has authored books including Principles of Parallel Scientific Computing and edited volumes such as Advanced Computing . He regularly presents at major HPC conferences and workshops worldwide. He advises postgraduate students working on parallel algorithms, GPU acceleration, and computational science applications. Research groups include the Scientific Computing and Data Analysis initiatives at Durham.

Yuanhao WeiView profile

Assistant Professor

• Parallel Algorithms
• Concurrent Data Structures
• Multicore Computing
• +3 more

Yuanhao Wei is an Assistant Professor in the Department of Computer Science at the University of British Columbia (UBC). Previously, he was a Postdoctoral Researcher at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL), working with Julian Shun. He earned his Ph.D. from Carnegie Mellon University under Guy Blelloch and completed his undergraduate studies at the University of Toronto, mentored by Faith Ellen and Toniann Pitassi. His research focuses on developing efficient parallel and concurrent algorithms for multicore systems, with a strong emphasis on both theoretical foundations and practical implementations. Education: Ph.D., Carnegie Mellon University (2023) Bachelor's Degree, University of Toronto Research interests include concurrent data structures, memory management (e.g., garbage collection), persistent algorithms, and efficient implementations of concurrency primitives such as atomic operations and locks. His work bridges the gap between theory and practice, aiming to create algorithms that are both theoretically sound and performant in real-world multicore environments. Awards: Best Paper Award at PPoPP’22 for Lock-free Locks: Revisited Principles of Distributed Computing Doctoral Dissertation Award (2023) He currently teaches CPSC 320: Intermediate Algorithm Design and Analysis and is actively recruiting self-motivated MSc/PhD students interested in parallel/concurrent algorithms. His research contributions span topics like multiversioning, concurrent memory reclamation, and efficient NVRAM data structures.

• Cyber/Physical Security
• Information Technology
• Web-Based Education Technology
• +5 more

John Williams is a Professor at the Massachusetts Institute of Technology (MIT) in the Resilient Systems & Mobility department. He holds a BA in Physics from Oxford University (1971), an M.S. in Physics from the University of California, Los Angeles (1973), and a Ph.D. in Numerical Methods from Swansea University (1977). His research focuses on Cyber/Physical Security, Information Technology, Web-Based Education Technology, Large-Scale Network Simulation, GeoNumerics of Granular Systems, and Computational Fluid Dynamics. He has contributed to pioneering work on high-performance computing resilience, particle-based numerical methods, and smart grid security. Notably, he received the Best Overall Paper and Best Paper awards at the SpringSim 2011 conference for his work on parallel computation and reservoir characterization. His research integrates computational methods with real-world applications in energy systems, porous media, and cyber-physical systems. Dr. Williams’ academic contributions span over four decades, with a strong emphasis on interdisciplinary collaboration. His lab (geospatial.mit.edu) explores geospatial visualization and big data analytics in cyber-physical systems. He has advised on projects involving container migration in HPC, lattice Boltzmann simulations, and smart grid security protocols. His work bridges theoretical numerical methods with practical engineering challenges, such as optimizing oil reservoir simulations and improving cybersecurity for critical infrastructure. Education: BA Physics (Oxford, 1971), M.S. Physics (UCLA, 1973), Ph.D. Numerical Methods (Swansea, 1977) Affiliations: MIT Resilient Systems & Mobility, Geospatial Lab Awards: Best Paper (SpringSim 2011), Best Overall Paper (SpringSim 2011)

Dean M. TullsenView profile

Professor

• Computer Architecture
• Multithreading
• Multicore Processors
• +7 more

Dean M. Tullsen is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego. He leads the High Performance Processor Architecture and Compilation Lab and focuses on computer architecture, particularly multithreading, multicore processors, secure execution, and energy-efficient design. His research bridges hardware and software for parallel computing, security, and resource optimization. Education: Ph.D. from the University of Washington (1996), B.S. and M.S. from UCLA. Research Interests: Computer architecture, multithreading, speculative execution, hardware security, energy efficiency, and heterogeneous computing. Scientific Awards: Best Paper Awards at USENIX Security Symposium (2024), IEEE S&P (2023), and Distinguished Paper Awards at POPL (2021), ASPLOS (2023), plus the 2020 ACM SIGARCH/IEEE-CS TCCA Influential ISCA Paper Award. Students: Advised 30+ graduate students, including Craig Disselkoen, Mohammadkazem Taram, and Ashish Venkat, who now hold positions at Google, Microsoft, and academia. Lab: Leads the High Performance Processor Architecture and Compilation Lab, advancing techniques in secure execution and parallel computing.

• Compiler Optimization
• Static Program Analysis
• Datalog Systems
• +5 more

Professor Bernhard Scholz is a faculty member in the School of Computer Science at the University of Sydney . He specializes in compiler optimization, static program analysis, Datalog systems, blockchain technology, and parallel processing. His research focuses on improving compiler efficiency, analyzing complex programs, and developing tools for smart contract security. He holds a professorial position and has been involved in significant projects like the Fantom blockchain partnership, which funds specialized blockchain research. His work includes developing the Soufflé Datalog compiler and tools like MadMax for smart contract analysis. Research interests span compiler design, formal verification, distributed systems, and energy-efficient computing. His recent work emphasizes blockchain security, Datalog scalability, and parallel execution optimization. Notable contributions include EVMTracer for Ethereum analysis and Julia Cloud Matrix Machine for cloud-based matrix computations. Key grants include ARC Discovery Projects on heterogeneous systems and smart contracts. Awards include industry partnerships and sustained research funding. He advises on large-scale program analysis and has collaborated globally with institutions like ETH Zurich and Fantom Foundation. Labs and collaborations include the University of Sydney's Blockchain Lab and Fantom-funded projects. His work bridges theoretical compiler research with practical applications in security and distributed systems.

Jason MarsView profile

Professor

• Computer Architecture
• Warehouse-Scale Computing
• Machine Learning Systems
• +3 more

Jason Mars is a Professor at the University of Michigan's Department of Electrical Engineering and Computer Science, leading the Clarity-Lab. His research focuses on cross-layer architectures and runtimes for future computing systems, particularly in warehouse-scale computers. He has pioneered projects like Sirius (an open voice/vision personal assistant), Protean Code (dynamic code transformations), and Adrenaline (tail latency management). His work addresses challenges in energy efficiency, resource allocation, and performance optimization in large-scale systems. Key contributions include architectural designs for AI services, thermal management strategies, and compiler techniques for approximate computing. Mars collaborates with industry leaders like IBM and has advised numerous students who have published at top conferences such as ASPLOS and HPCA. Recent research spans AI ethics, scalable programming models (e.g., Data Spatial Programming), and edge-cloud collaboration frameworks like Neurosurgeon. He has delivered invited talks at Baidu, IBM Watson, and conferences worldwide, emphasizing the societal impact of computing systems.

Gerd von CöllnView profile

Professor

• Energy-Efficient Systems
• Embedded Systems
• Cyber-Physical Systems
• +5 more

Prof. Gerd von Cölln is a Professor of Computer Architecture at the School of Technology, Electrical Engineering and Computer Science, University of Applied Sciences Emden/Leer. His primary focus is on energy-efficient and autonomous systems, particularly in embedded and cyber-physical systems. He leads research in energy-autonomous sensors, low-power electronics, and IoT applications. Education details are not explicitly provided in the text, but his academic role suggests advanced qualifications in electrical engineering or computer science. His research projects include Sichere Offshore-Operationen (SOOP), Energieautarke Sensorsysteme (ID3AS), and LoRaWAN-based sensors (ELVIS), demonstrating expertise in industrial automation, sensor networks, and energy harvesting. Publications emphasize sensor design, wireless communication protocols, and optimization algorithms for complex environments. While no awards are listed, his extensive project portfolio highlights contributions to applied engineering research. Advising details are unavailable, but his role implies supervision of technical projects involving students and industry partners. Prof. von Cölln collaborates on labs and teams focused on maritime automation, industrial IoT, and embedded systems, with projects addressing challenges like harsh environmental conditions and energy sustainability.