Tian Zhong is an Assistant Professor of Molecular Engineering at the University of Chicago's Pritzker School of Molecular Engineering. His research focuses on quantum photonics and solid-state quantum technologies, particularly leveraging rare-earth doped materials for quantum networks and optical quantum memory. He completed his PhD in Electrical Engineering at MIT (2013) and a postdoc at Caltech’s Institute of Quantum Information and Matter. Key roles include pioneering rare-earth quantum nanophotonics and developing scalable quantum optical networks. Research interests include quantum entanglement purification, epitaxial thin films for quantum devices, and hardware-software co-design for quantum computing. Notable achievements include a DoD ARO Young Investigator Award (2020) and an NSF CAREER Award (2020). His lab, Zhong Quantum Lab, explores quantum interconnects and hybrid systems, with recent grants from the Betty Moore Foundation for novel quantum matter projects. Publications span quantum networking protocols, coherence properties of rare-earth ions, and interdisciplinary studies in microbiome-gut-brain interactions. Advising focuses on training students in quantum device fabrication and theoretical modeling, with active projects on dilution fridge setups and quantum repeater networks.
Karl Crary is an Associate Professor at the Computer Science Department of Carnegie Mellon University , where he also serves as Director of Doctoral Programs . His research focuses on Programming Languages , Security and Privacy , and Mechanized Metatheory , with emphasis on applying Type Theory to software verification and compiler design. Research Type Safety Proofs Certified Code Compiler Implementation His recent publications explore Substructural Parametricity , Hashgraph Consensus Verification , and Focused Logic applications. He has advised students including Derek Dreyer , Chris Martens , and Tom Murphy , with software projects like Istari proof assistant and CM-Lex/CM-Yacc for hygienic code generation. Current teaching includes Constructive Logic (15-317/657) and HOT Compilation (15-417).
Leonidas Lampropoulos is an Assistant Professor of Computer Science at the University of Maryland, with an appointment in the University of Maryland Institute for Advanced Computer Studies (UMIACS). He leads research in Programming Languages and Software Engineering, focusing on formal verification, proof assistants, and scalable software development methodologies. His work addresses challenges in formalizing security properties, optimizing proof workflows, and advancing verified software for critical systems like distributed systems and autonomous vehicles. He received the NSF CAREER Award in 2022 and co-led a $540K NSF-funded project (2021) to improve proof engineering tools and protocols. His academic contributions span programming language design, type systems, and testing frameworks, with notable collaborations through the Maryland Cybersecurity Center (MC²). Advised PhD students: Segev Elazar Mittelman, Alperen Keles, Oliwia Kempinski, Jacob Prinz, Finn Voichick. Key honors: NSF CAREER Award (2022), NSF Award for Proof Engineering (2021). Research partnerships: Collaborates with institutions like the University of Texas at Austin on proof assistant scalability. His grants emphasize bridging software engineering practices with formal verification to enhance reliability in large-scale projects. Current efforts include improving proof assistant usability and integrating formal methods into mainstream software development.
Michael Marsh is a Senior Lecturer in the Department of Computer Science at the University of Maryland. His roles include teaching courses such as Computer and Network Security (CMSC414), Computer Networking (CMSC417), and Advanced Data Structures (CMSC420). He has developed the Diptych application to assist in managing large courses on Canvas, offering cross-platform binaries and open-source code. His research interests span cybersecurity, distributed systems, and parallel programming, with a focus on peer-to-peer networks, load balancing, and cryptographic protocols. Marsh has advised students such as Cole Lashley on projects like Shellcode Compilers. His work includes contributions to desktop grid systems, trust management in distributed environments, and robust secret distribution mechanisms. He maintains an active GitHub repository for Diptych, addressing issues like group list rendering and grading reports. His publications reflect expertise in resource discovery, decentralized PKI, and network protocol optimization. Awards and grants are not explicitly listed, but his academic contributions are highlighted through his teaching innovations and open-source projects. He continues to develop educational materials, including free e-books for his courses, and supports students through detailed course expectations and supplementary resources.
Vassilios V. Dimakopoulos is a Professor of Parallel Processing at the Department of Computer Science and Engineering, University of Ioannina, Greece. He has been affiliated with the university since 1998, initially as an adjunct professor and later as a regular faculty member. Currently, he serves as the Dean of the School of Engineering and Chairman of the Technical Council of the University of Ioannina. His academic journey includes a Diploma in Computer Engineering from the University of Patras (1990), and M.A.Sc. and Ph.D. degrees in Electrical and Computer Engineering from the University of Victoria, Canada (1992 and 1996, respectively). His research focuses on parallel and distributed systems, parallel programming models, systems software, computer architecture, embedded systems, and performance analysis. He has held administrative roles such as Deputy Chairman of the Department (2014–2017) and Director of Graduate Studies (2016–2020). His contributions include pioneering work on OpenMP runtime systems, adaptive scheduling for embedded multicore architectures, and probabilistic search protocols in dynamic networks. Dimakopoulos is a member of the IEEE and the Technical Chamber of Greece. His work emphasizes bridging compiler design, runtime systems, and hardware constraints to optimize parallel computing efficiency. Recent research trends include hybrid OpenMP-MPI offloading strategies, adaptive task scheduling in heterogeneous environments, and fog computing cost modeling. His administrative leadership spans multiple institutional committees, reflecting his dual role as an academic leader and researcher. His research group collaborates on projects involving high-performance numerical optimization, task-based global optimization for protein folding, and embedded systems integration.
Jeffrey Foster is a Professor and Chair of the Department of Computer Science at Tufts University's School of Engineering. He holds a Ph.D. in Computer Science from the University of California, Berkeley (2002). His research focuses on programming languages, software engineering, and security, with notable contributions to program synthesis, static analysis, and formal verification. He leads efforts in developing tools like Dafny-based synthesis frameworks and Ruby type systems. His work emphasizes practical applications of formal methods, including security policy analysis for Android systems and improving software reliability through automated testing and machine learning-driven triaging. He has been recognized with awards such as the Outstanding Director of Graduate Studies Award (2017). Foster’s research spans theoretical advancements (e.g., abstract interpretation-guided synthesis) and empirical studies (e.g., REST API design practices). His publications address challenges in dynamic languages, static analysis, and ethical considerations in algorithmic systems like hiring tools. He actively contributes to the academic community through conference organization and pedagogical innovations in computer science education.
Dr. Tien Nguyen is an Associate Professor in the Department of Computer Science at UT Dallas' Erik Jonsson School of Engineering. His research focuses on software engineering innovations, particularly in machine learning applications for code analysis, vulnerability detection, and automated testing. He develops neural network approaches to enhance software quality and security. Recent publications demonstrate strong emphasis on AI-driven software solutions, including GPT-based test generation, neural vulnerability scanners, and code representation learning. His team's work bridges theoretical computer science with practical developer tools, evidenced by studies on syntactic sugar design and program dependence learning. Dr. Nguyen's lab maintains active industry collaborations, with translational research addressing real-world challenges in code maintenance and cybersecurity. Current projects explore context-aware code analysis and self-improving language models for programming assistance.
Shiyi Wei is an Associate Professor in the Department of Computer Science at the University of Texas at Dallas (UT Dallas), affiliated with the Erik Jonsson School of Engineering and Computer Science. He holds a Ph.D. in Computer Science from Virginia Tech (2015) and a B.E. in Software Engineering from Shanghai Jiao Tong University (2009). His postdoctoral research was conducted at the University of Maryland, College Park's PLUM Lab. His research focuses on enhancing software security and reliability through automated analysis, testing, and static/dynamic tool development. Key areas include configurable systems analysis, machine learning-driven static analysis, and fuzz testing benchmarking. Wei has received prestigious awards, including the NSF CAREER Award (2021) and a USENIX Security Distinguished Paper Award (2022). He teaches courses such as Compiler Construction (CS 6353), Compiler Design (CS 4386), and Software Maintenance and Evolution (CS/SE 6356). Current research projects involve improving fuzz testing methodologies, AI-driven vulnerability修复, and evaluating static analysis tools. His group has developed frameworks like ECSTATIC for configurable tool testing and FIXREVERTER for realistic bug injection. Wei has advised numerous students, including Austin Mordahl (Assistant Professor at UIC) and Zenong Zhang (Software Engineer at Google). His work is supported by NSF grants and AWS research credits. Notable recent contributions include studies on nondeterministic static analysis tools and feature-based fuzz testing benchmarking.
Zhoulai Fu is a tenured Associate Professor at the State University of New York (SUNY), Korea, specializing in programming languages and software security. He also holds joint appointments as a Research Associate Professor at Stony Brook University and is affiliated with the Electrical and Computer Engineering Department at Virginia Tech. His educational background includes: Ph.D., 2009-2013, INRIA – Université de Rennes 1, France M.Eng., 2008-2009, Télécom ParisTech, France M.S, B.S, and French engineer degrees (Ingénieur), 2005-2008, École Polytechnique, France Professor Fu's research focuses on the intersection of Programming Languages, Software Security, and Large Language Models, with special emphasis on improving software reliability through formal methods, numerical error analysis, and scalable verification techniques . His work spans abstract interpretation, automated testing, and verification tools development. He has made significant contributions to floating-point analysis and program verification, with publications at top-tier conferences including PLDI, POPL, OOPSLA, ICSE, and CAV. His publication record shows a consistent trajectory in programming language theory with increasing practical applications. Early work focused on foundational aspects of abstract interpretation and floating-point analysis, while recent papers address security concerns through programming language techniques and incorporate modern approaches like incorrectness logic. Key themes across his publications include formal verification of low-level code, numerical error analysis, and developing scalable analysis tools for real-world software systems. His notable achievements include: Principal Investigator for DARPA E-BOSS Program funding Sole Principal Investigator for National Research Foundation of Korea funding Program Committee membership for POPL 2026, FSE 2024, and PLDI 2023 Professor Fu actively mentors students and has taught courses including Foundations of Computer Science, Programming Abstractions, and Research in Computer Science. His research is supported by significant grants from DARPA and NRF, enabling him to lead the Data & Intelligent Computing Lab at SUNY Korea. He is currently seeking postdocs, PhD, and graduate students to join his research team. He leads the Data & Intelligent Computing Lab, which focuses on advancing programming language techniques for software reliability and security. The lab collaborates with institutions including Virginia Tech, Stony Brook University, and international partners across Europe, working on projects that bridge theoretical computer science with practical software engineering challenges.
Abid M. Malik is an Associate Professor in the Department of Computer Science at Stony Brook University, joining in September 2023. His research focuses on high-performance computing, parallel programming models, and compiler optimizations targeting LLVM and MLIR frameworks. Prior roles include positions at Brookhaven National Laboratory, the University of Houston, Rice University, INRIA (France), and IBM's Center for Advanced Studies in Toronto. Education: PhD from the University of Waterloo, Canada. Research interests span compiler technology, parallel programming languages, and constraint programming. He has over 15 years of academic and industry experience, combining theoretical and applied work in computing systems. Teaching responsibilities include courses such as CSE 220, CSE 307, CSE/ISE 337, CSE 416, and CSE 304. No specific scientific awards or grants are listed in the provided text.
Christopher Dutchyn is an Associate Professor in the Department of Computer Science at the University of Saskatchewan . He holds a Ph.D. and M.Sc. in Computer Science from the University of British Columbia and University of Alberta respectively, and a B.Sc. (honours) in Mathematics. His research spans programming language design and implementation , type theory , category theory , game semantics , and aspect-oriented programming . He has contributed to semantics for dynamic join points, continuation-based models, and multi-dispatch optimization in JVM. His recent publications focus on Aspect-Oriented Programming Programming Language Semantics Compiler Design Modularity in Software Category Theory Applications Multi-Dispatch Systems with citations in ACM, Elsevier, Springer, and Usenix. Scientific awards include Best Student Paper at COOTS 2001 for his work on multi-dispatch performance optimization. Dutchyn has developed open-source tools like AspectScheme and SLaTeX mode for Emacs , and maintains collaborations in programming language theory and software engineering principles.
Professor Martin Schoeberl is affiliated with the Department of Applied Mathematics and Computer Science at the Technical University of Denmark (DTU). His research focuses on real-time systems, worst-case execution time analysis, and embedded systems engineering. He is actively involved in projects such as Rigoletto, aiming to develop high-performance automotive processors using RISC-V architecture. Research Interests: Schoeberl's work spans time-predictable processors, network-on-chip architectures, and hardware-software co-design for cyber-physical systems. He explores methodologies to ensure deterministic behavior in multicore environments and develops tools for WCET analysis. His contributions include advancements in compiler optimizations for neural networks and temporal semantics in embedded systems. Advising & Grants: Schoeberl supervises PhD students such as E. Khodadad (on rigorous design of time-predictable systems) and A. Cerioli (on compiler optimizations for neural networks). He leads or participates in funded projects including Rigoletto (2025-2028) and Multi-Core Architecture for L1 Deterministic Processing (2022-2025). These projects aim to enhance real-time capabilities in embedded systems and automotive computing platforms. Labs & Teams: As part of the Embedded Systems Engineering group at DTU, Schoeberl collaborates on hardware generators using Chisel and designs reactor-oriented architectures for cyber-physical systems. His work integrates reconfigurable logic and synchronous models to create efficient, time-predictable solutions.
Dr. Emil Sekerinski is a Professor in the Department of Computing and Software at McMaster University. He holds the position of Undergraduate Advisor for Computer Science (Jan 1, 2025 – June 30, 2025). His expertise spans programming logic (verification, refinement), concurrency (components, implementation), embedded systems (modelling, analysis), and programming languages (run-time, compilation). He is actively involved in research clusters focused on Digital & Smart Systems. His research interests emphasize formal methods in computer science, concurrency theory, parallel algorithms, and embedded systems design. He has contributed to advancing methodologies for software quality assurance and system reliability through formal specifications and automated verification techniques. Recent work includes efficient synchronization mechanisms for object-oriented programming languages and formal development of delay-tolerant multicast protocols for wireless sensors. Dr. Sekerinski has organized and participated in major conferences such as FMTea'24 (Co-Chair) and ICTAC'24 (Program Committee). His teaching includes advanced courses like CAS 781 Advanced Topics: Advanced Compiler Design and Optimization and SFWR ENG 3BB4 Concurrent System Design . He maintains an active presence in academic outreach through LinkedIn, Instagram, and other platforms. His work bridges theoretical foundations with practical applications, including environmental sensor data analysis and holistic embedded system development. Despite no explicit mention of awards, his contributions to formal methods education and research are widely recognized in his field.
Associate Professor John Williams holds dual roles as Deputy Director of Cyber Security and faculty member at the School of Electrical Engineering and Computer Science, University of Queensland. His academic journey includes a PhD (2001) and undergraduate degrees (1995) in Electronic Engineering and Information Technology from Queensland University of Technology (QUT). Research Focus: Reconfigurable computing architectures Real-time embedded systems 3D computer vision and imaging Cyber security solutions Key Contributions: Edited the 2004 IEEE International Conference on Field Programmable Technology proceedings Developed the Egret platform for reconfigurable systems-on-chip Published 5 journal articles and over 20 conference papers Professional Affiliations: Member of IEEE for over 20 years, contributing to standards and interdisciplinary cyber security initiatives at UQ.
Roy Hermanns is a Researcher at RWTH Aachen University, affiliated with the Department of Computer Science. He is part of the Software Modeling and Verification Group led by Professor Joost-Pieter Katoen and collaborates closely with the Quantum Technology Group under Professor Hendrik Bluhm. His research focuses on quantum compilation, specifically addressing the generation, scheduling, and optimization of operations for quantum processors, particularly those employing shuttling-based qubit architectures. Key research interests include qubit routing via multi-agent pathfinding methods, quantum error correction, and device-level optimization for quantum processors. He is open to supervising Bachelor’s/Master’s theses in quantum compiler optimization, though no current openings are listed. Roy is not currently involved in formal teaching activities. His work contributes to advancements in quantum computing infrastructure, aiming to improve the practical implementation of quantum algorithms through hardware-aware compilation techniques.
