Trevor E. Carlson is an Assistant Professor at the School of Computing, National University of Singapore (NUS), focusing on high-efficiency microarchitectures, hardware/software co-design, and secure chip design for IoT and server applications. He earned his Ph.D. in Computer Science from Ghent University (2014) and B.Sc./M.Sc. in Electrical & Computer Engineering from Carnegie Mellon University (2002/2003). Research Interests include energy-efficient processors, secure computing platforms, neuromorphic accelerators, and fast simulation methodologies. He co-developed the Sniper Multi-Core Simulator used globally for performance/power evaluation. Scientific Awards : Best Paper Award, International Conference on Embedded Computer Systems (2016) Best Paper Award, International Symposium on Performance Analysis of Systems and Software (2013) Heidelberg Laureate Forum participation (2015) HiPEAC Technology Transfer Award for Sniper Simulator (2013) Current Research involves secure Systems-on-Chip (SOCure project), hardware security for IoT, and simulation methodologies. He leads a lab with researchers working on topics like Capstone for trustless secure memory access and LABS for laser fault injection benchmarks.
Andrew Kwong is an Assistant Professor at the University of North Carolina at Chapel Hill in the Department of Computer Science. His research focuses on computer security and applied cryptography, particularly side-channel attacks and defenses, including Rowhammer, Spectre, and cache timing vulnerabilities. He teaches courses such as Hardware Security and Side-Channels and Research Topics in Computer Security , covering topics like transient execution attacks, speculative probing, and cryptographic implementation flaws. Department of Computer Science, UNC Chapel Hill Assistant Professor Teaching COMP 790-184 (Hardware Security) and COMP 790-185 (Computer Security Research) His research involves cutting-edge work on hardware vulnerabilities, including Rowhammer-based key recovery in post-quantum cryptography, cache eviction side-channels, and speculative execution attacks. His publications appear at top venues like IEEE S&P, CCS, and USENIX Security. He received a Best Paper Award Honorable Mention at CCS 2022 for his work on FrodoKEM exploitation. Key trends in his publications include leveraging hardware flaws for data leakage, cryptographic protocol breakdowns, and combining transient execution with memory corruption attacks. His work has implications for hardware design security and cryptographic implementation practices. Best Paper Award Honorable Mention, CCS 2022 Contact: andrew@cs.unc.edu
David Naumann is Professor and Department Chair of Computer Science at Stevens Institute of Technology. His leadership in the department and active research program positions him as a key figure in programming languages and formal methods research. Naumann's research focuses on formal methods and software security, with particular emphasis on relational and hyperproperty verification , fine-grained confidentiality/integrity policies , and program analysis and verification . His work bridges theoretical foundations with practical applications in security-critical systems. He has developed novel program logics and verification techniques that enable precise reasoning about information flow and security properties. His recent publications (2022-2025) reveal a strong trend toward modular relational verification techniques with applications to pointer programs, distributed systems, and concurrent applications. The research spans theoretical foundations (algebraic structures for alignment) to practical tools (WhyRel prototype), demonstrating both depth and breadth in addressing verification challenges. Naumann has served as program committee co-chair for IEEE Computer Security Foundations Symposium (2021-2022) and has been active on committees for POPL, CCS, CSF, ECOOP, and other top venues. His editorial service includes ACM Transactions on Programming Languages and Systems, Formal Aspects of Computing, and Journal of Object Technology. He leads the Cypress research group at Stevens Institute of Technology and has secured significant funding from NSF, Microsoft Research, and Siemens. His mentoring extends to numerous PhD students who have gone on to successful careers in academia and industry.
Bihuan Chen is an Associate Professor at the College of Computer Science and Artificial Intelligence, Fudan University, specializing in software engineering with focus on software supply chain security and trustworthy AI systems. His research spans multiple programming languages including JavaScript, Python, Java, and C/C++ across application and AI domains. Dr. Chen earned his B.Sc. and Ph.D. in Computer Science from Fudan University in 2009 and 2014 respectively, followed by postdoctoral research at Nanyang Technological University (2014-2017). His research interests include software supply chain risk assessment, trustworthy AI systems, and program analysis. His recent publications demonstrate strong focus on malicious package detection in NPM/PyPI ecosystems, vulnerability patch porting using LLMs, and safety verification for autonomous driving systems. The work shows increasing integration of machine learning techniques with traditional program analysis approaches, particularly evident in the 2024-2025 publications that leverage LLMs for vulnerability detection and code refinement. ACM SIGSOFT Distinguished Paper Award (FSE 2016, ASE 2018, ASE 2022, FSE 2025) IEEE TCSE Distinguished Paper Award (ICSME 2020, SANER 2023) CCF Prototype Competition Awards (2nd and 3rd Prizes) Dr. Chen has advised over 50 students including current PhD candidates and notable alumni now at Huawei, ByteDance, and other leading tech firms. His fuxi platform assesses security, legal, and maintenance risks across the software engineering lifecycle. He serves on program committees for major conferences including ICSE, FSE, ASE, and ISSTA, and as Associate Editor for the Journal of Software: Evolution and Process.
Isabella Di Lenardo is a Lecturer and Scientist at the Digital Humanities Institute (DHI) at École Polytechnique Fédérale de Lausanne (EPFL), where she also serves as the coordinator of the EPFL Time Machine Unit and the European Local Time Machines. She holds affiliations across multiple departments, including DHI-GE, SAR-ENS, SHS-ENS, and EDDH-ENS, reflecting her interdisciplinary role in teaching and research. Her educational background includes a PhD in Theories and Art History, with postdoctoral and faculty experience at institutions such as INHA (Paris), EPFL, and IUAV (Venice). Her research spans Digital Humanities, Art History, Urban History, and GIS , with a focus on digital urban reconstruction, historical cadastres, and AI applications in cultural heritage. She employs advanced computational methods including machine learning, 4D modeling, and semantic segmentation to analyze historical maps, cadastral records, and art archives. Her work bridges humanities scholarship with computer science, particularly in reconstructing urban evolution and analyzing visual patterns. The recent publications reveal a consistent trend in AI-powered historical data analysis , especially in processing non-standardized historical documents, reconstructing urban spaces, and developing open-source tools for digital heritage. Her work frequently involves large-scale datasets from Venice, Lausanne, Paris, and Jerusalem, demonstrating a transnational and interdisciplinary approach. She has contributed to significant collaborative projects such as the Venice Time Machine , Parcels of Venice , and Time Machine Organization , often acting as a principal investigator or project leader. Her role involves coordinating diverse teams of researchers, engineers, and cultural institutions. Scientific contributions include: Development of the Morphograph tool for visual pattern recognition in art archives Automatic vectorization and analysis of Napoleonic cadastres Creation of 4D models for historical cities AI-driven text and pattern extraction from historical maps Building discovery engines for digital art history She actively teaches ex cathedra courses in Digital Urban History and Art History at EPFL and internationally. Her work in grants and projects emphasizes open data, reproducibility, and interdisciplinary collaboration. She has led research funded by organizations supporting digital heritage innovation. She is a key member of the Digital Humanities Laboratory at EPFL and the Time Machine Organization , where she fosters collaboration between computer scientists, historians, and cultural institutions. Her work in the Replica Project and ARCHiVe center highlights her leadership in digitizing and making accessible large art historical archives.
Pedro Fonseca is an Assistant Professor at the Department of Computer Science, Purdue University. He leads the Reliable and Secure Systems Lab, focusing on building reliable and secure core software systems such as operating systems, hypervisors, and distributed systems. His research has been recognized with awards including the NSF CAREER Award and Google Faculty Research Awards. Before Purdue, he completed a postdoc at the University of Washington, working with Arvind Krishnamurthy, Hank Levy, and Xi Wang. He earned his PhD from MPI-SWS and the University of Saarland under Rodrigo Rodrigues. His academic contributions span over 30 peer-reviewed publications in top-tier conferences like SOSP, OSDI, EuroSys, and ASPLOS. He teaches courses including CS503 (Operating Systems), CS592 (Reliable and Secure Systems), and CS408 (Software Testing). He actively serves on program committees for major systems conferences including SOSP, OSDI, EuroSys, and ASPLOS.
Karim Ali is an Associate Professor of Computer Science at New York University Abu Dhabi (NYUAD), where he leads research in programming languages, static analysis, security, and compilers. He is affiliated with the Department of Computer Science within the College of Arts and Science. Prior to joining NYUAD, he served as an Associate Professor at the University of Alberta. His academic training includes a BSc from The American University in Cairo, and MMath and PhD degrees from the University of Waterloo, completed in 2014. BSc: The American University in Cairo MMath: University of Waterloo PhD: University of Waterloo (2014) His research focuses on making static analysis tools more practical by enhancing their scalability, precision, and usability. He investigates program analysis techniques applicable to real-world software, with applications in security, just-in-time compilation, and mobile app development. His work spans theoretical foundations and tool development, including the SWAN framework for Swift and contributions to secure cryptographic API usage through CogniCrypt. The recent publications reflect a strong trend in developer-centric static analysis, secure coding, energy efficiency in mobile apps, and compiler optimization. His work combines empirical studies with tool-building, emphasizing usability and integration into developer workflows. Scientific Awards: Dahl-Naygaard Junior Prize (2021) ACM SIGSOFT Distinguished Paper Award ACM SIGPLAN Distinguished Paper Award Distinguished Artifact Award, ECOOP 2014 Karim Ali has mentored numerous students and collaborated extensively with researchers worldwide. His lab has contributed tools adopted by major static analysis frameworks like Soot, WALA, and DOOP. He has secured research recognition through awards and industrial impact, including helping Symantec fix a security vulnerability. He teaches core courses such as Computer Systems Organization and supervises capstone projects, guiding students in original research. His lab conducts research on programming languages and static analysis, with projects including SWAN for Swift analysis, usability studies of static analysis tools, and development of precise pointer analysis techniques. The team works on both academic research and practical tooling for developers.
Jens Palsberg is a Professor and former Department Chair of Computer Science at the University of California, Los Angeles (UCLA), where he currently serves as Director of the UCLA-Amazon Science Hub for Humanity and Artificial Intelligence and co-director of UCLA's quantum research center. He chairs ACM SIGPLAN and is a member of the ACM Council. His research spans programming languages, software engineering, quantum computing, compilers, embedded systems, and information security. Palsberg has authored over 80 technical papers, co-authored the book Object-Oriented Type Systems , and revised Appel's textbook on Modern Compiler Implementation in Java . His recent work shows a significant shift toward quantum computing, including compiler techniques and program analysis for quantum systems. Analysis of his recent publications reveals a clear transition from traditional programming language research to quantum computing, with nearly half of his 2022-2024 publications focusing on quantum topics while maintaining strong work in software engineering and programming languages. His quantum research particularly emphasizes compiler optimization, abstract interpretation, and circuit analysis. ACM SIGPLAN Distinguished Service Award (2012) UCLA teaching award for quantum computing courses (2023) National Science Foundation CAREER and ITR awards Purdue University Faculty Scholar award IBM Faculty Award Okawa Foundation research award Palsberg has served in numerous leadership roles including general chair of POPL, conference chair of LICS, and vice chair of ACM SIGBED. His research has been supported by DARPA, Intel, British Telecom, and the National Science Foundation. He was instrumental in establishing UCLA's Masters degree in quantum science and has mentored numerous students through his legendary proof sessions. He leads a research group of over 30 professors in UCLA's quantum research center and maintains active collaborations across academia and industry, particularly with Amazon through the UCLA-Amazon Science Hub.
Peter Sewell is Professor of Computer Science at the University of Cambridge Computer Laboratory, where he builds rigorous foundations for real-world computer systems to enhance robustness, security, and formal verification of hardware-software interactions. His educational background includes undergraduate studies at the University of Cambridge and University of Oxford, followed by a PhD from the University of Edinburgh in 1995 under Robin Milner's supervision. Professor Sewell's research focuses on concurrency models (x86, ARM, Power, C/C++11), verified compilation, formal semantics for C/linking/filesystems/TLS, and applied semantics tools. He pioneers executable ISA specifications through projects like Sail and Cerberus, addressing relaxed-memory concurrency and capability-based security architectures. His 2020-2026 publications reveal a clear trajectory toward formal verification of hardware security properties, with increasing emphasis on capability systems (Arm Morello, CHERI) and real-world applicability of concurrency models across ARM, RISC-V, and MIPS architectures. Scientific recognition: Royal Society University Research Fellowship (1999-2007) He leads major research initiatives in systems security formalization, supported by Cambridge positions and collaborative projects with industry partners. His work bridges theoretical formal methods and practical systems engineering through executable semantics frameworks. As a core member of Cambridge's Systems Research Group, he directs projects including Sail (ISA semantics), Cerberus (C semantics), and verification frameworks for capability architectures, fostering interdisciplinary collaboration across hardware and software security domains.
Jörg Müller is a Professor in the Department of Computer Science at the University of Bayreuth, Germany. His research focuses on Human-Computer Interaction (HCI), Virtual Reality (VR), and Augmented Reality (AR), with a strong emphasis on interaction techniques, public displays, and multimodal interfaces. He has held academic positions at multiple institutions including Aarhus University, HIIG, and RWTH Aachen University. His work spans technical contributions in haptic interfaces, biomechanical modeling, and user behavior analysis in VR environments. Notable projects include OptiTrap for acoustic levitation displays, SIM2VR for biomechanical testing in VR, and the boomRoom system for mid-air sound interaction. Müller collaborates extensively with industry partners like Telekom Laboratories and Siemens. Research interests include: interaction design for immersive environments, embodied interaction, and the social impact of extended reality technologies. His publications demonstrate leadership in CHI, UIST, and IEEE Visualization venues, with over 120 peer-reviewed articles since 2006. Current research priorities include optimizing VR workspace ergonomics, developing tactile feedback systems for mid-air interaction, and exploring public display networks for urban environments. Müller leads the Interactive Systems group at Bayreuth, supervising PhD students in VR engineering and spatial computing.
Michael Sammler is an Assistant Professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA). He holds a PhD from the Max Planck Institute for Software Systems (MPI-SWS) and was a postdoctoral researcher at ETH Zürich. His research focuses on formal verification of low-level systems code, combining foundational proofs with automation. Key projects include RefinedC (C verification), Islaris (assembly code verification), and DimSum (multi-language interoperability). Education: PhD at MPI-SWS/Saarland Informatics Campus, postdoc at ETH Zürich. Research interests emphasize tool development for safety-critical systems, including Rust verification (RefinedRust), OCaml/C interoperability (Melocoton), and decentralized multi-language semantics (DimSum). Awards: Runner-Up for Informatics Europe 2024 Best Dissertation Award, Dr. Eduard Martin Prize, Distinguished Paper Awards at PLDI/POPL/USENIX, and Google PhD Fellowship. Labs/Teams: Programming Languages and Verification Group at ISTA, collaborations with MPI-SWS and international researchers. His work bridges foundational theory with practical tools for industry-relevant verification challenges.
Benjamin Lucien Kaminski is a Professor at Saarland University and a Lecturer at University College London . He specializes in quantitative aspects of formal program verification , with a focus on probabilistic and quantum programs , incorrectness logic , and non-classical computation models . His research includes semantics , probabilistic program verification , expected runtimes , and explainable verification . He leads the Examination Board for B.Sc. Computer Science (English) and actively mentors PhD, Master’s, and Bachelor’s students in logic and verification. 2025 : A Taxonomy of Hoare-Like Logics (POPL), Partial Incorrectness Logic (TPSA) 2024 : Quantitative Weakest Hyper Pre (OOPSLA), Caesar: A Verifier for Probabilistic Programs (Dafny), Hoare-Like Triples (Incorrectness-track) 2023 : A Deductive Verification Infrastructure (OOPSLA), Lower Bounds (OOPSLA), A Calculus for Amortized Expected Runtimes (POPL) He has received notable awards including the Ackermann Award (2020), Best Paper at LOPSTR 2020 , and EATCS Best Paper Award at ETAPS 2016 . He has also served on program committees for leading conferences like CAV , POPL , and LICS , and reviewed for prestigious journals such as Journal of the ACM and TOCL .
Andries "Andy" van Dam is a distinguished Dutch-American professor of computer science at Brown University, where he also served as vice-president for research. Born in Groningen, the Netherlands on December 8, 1938, van Dam has been instrumental in shaping computer science education and research for over five decades. He helped establish Brown's computer science program, serving as its first department chair from 1979 to 1985, and was appointed Thomas J. Watson, Jr. University Professor of Technology and Education in 1995. His educational background includes a B.S. with Honors in Engineering Sciences from Swarthmore College (1960) and M.S. and Ph.D. degrees from the University of Pennsylvania (1963, 1966), where he was the second person to receive a PhD in Computer Science. Van Dam's research interests span computer graphics, hypertext systems, virtual reality, and educational technology. He is particularly known for his pioneering work in hypertext systems, having co-developed the first hypertext system with Ted Nelson in the late 1960s. His influential textbook "Computer Graphics: Principles and Practice" is often referred to as the "Bible" of computer graphics. His work has consistently focused on making complex computing concepts accessible through innovative interfaces and educational approaches. His research publications demonstrate a consistent trajectory from foundational work in computer graphics and hypertext to more recent explorations in immersive virtual reality, digital visual literacy, and next-generation educational software. His work bridges theoretical computer science with practical applications in education, medicine, and scientific visualization. Among his notable honors are: IEEE Centennial Medal (1984) Fellow of the Association for Computing Machinery (1994) ACM SIGGRAPH Distinguished Educator Award (2019) Van Dam has mentored numerous students who have gone on to make significant contributions in computer science, including Randy Pausch, Danah boyd, Scott Draves, and Steven K. Feiner. His teaching extends beyond traditional academic settings, as evidenced by his influence on the character of Andy in the film Toy Story, which pays tribute to his pioneering work in computer graphics. He continues to serve on the technical board of Microsoft Research and as chairman of the Rhode Island Governor's Science and Technology Advisory Council. His research lab has been instrumental in developing innovative approaches to human-computer interaction, with particular focus on post-WIMP (Windows, Icons, Menus, Pointer) interfaces, immersive environments, and educational technologies that transform how we learn and interact with digital information.
Yvo Desmedt is the Jonsson Distinguished Professor in Computer Science at the University of Texas at Dallas and Director of the Cyber Security Research and Education Institute. An IACR Fellow and member of the Belgium Academy of Science, he invented e-Passports and e-Visas in 1988. His research spans cryptography, quantum computing, network security, and critical infrastructure protection. Desmedt pioneered techniques in binary software hardening including control-flow integrity and object flow integrity protections. Recent innovations include crook-sourcing for intrusion detection improvement and confidential computing for deep learning inference. His work bridges theoretical cryptography with practical security applications, earning recognition including the NSF IUCRC Technology Breakthrough Award. With over 200 publications, he has chaired major conferences including Crypto and Public Key Cryptography. Current projects examine vulnerability detection using graph learning and renewable control-flow integrity mechanisms for software security.
Jeff Huang is an Associate Professor in the Department of Computer Science & Engineering at Texas A&M University, affiliated with the College of Engineering. His research focuses on software engineering, programming languages, concurrency, and runtime verification, with notable contributions to static analysis, race detection, and vulnerability mitigation in concurrent systems. Education: Postdoc, Computer Science, University of Illinois at Urbana-Champaign (2013-2014) Ph.D., Computer Science, Hong Kong University of Science and Technology (2012) B.E., Electrical Engineering, National University of Defense Technology, China (2008) Research Interests: Huang's work bridges theoretical foundations and practical applications in concurrency debugging, static analysis tools, and cybersecurity for smart contracts. He emphasizes scalable solutions for pointer analysis, race detection, and vulnerability detection in distributed systems and blockchain technologies. Recent Trends in Publications: His recent work explores AI-driven program execution (e.g., SGLang), blockchain security (e.g., Smart Contract analysis), and dynamic/static analysis techniques for memory safety. These studies underscore advancements in automated tools for securing concurrent and distributed systems. Awards: 2023 ACM SIGSOFT Distinguished Paper Award 2019 DARPA Young Faculty Award 2016 NSF CAREER Award 2013 ACM SIGSOFT Outstanding Doctoral Dissertation Award Advising & Grants: Huang has advised PhD students including Bozhen Liu and Peiming Liu, who have contributed to OpenMP race detection and pointer analysis tools. His grants include NSF awards for pointer analysis as a service and DARPA funding for young faculty research. Labs & Teams: He leads the O2 Lab, focused on concurrency verification and cybersecurity, collaborating with industry partners like Coderrect Inc. and DOE on scalable static analysis frameworks.
