Nikolaos Foutris is a Researcher at The University of Manchester, specializing in dependable and energy-efficient computer architectures. His work emphasizes hardware/software co-design, focusing on systems and processors that balance performance with reliability. Key research areas include memory optimization, GPU acceleration for cryptographic computations, and radiation effects on MPSoC systems. His research intersects with UN Sustainable Development Goals, particularly through energy-efficient technologies and resilient computing infrastructure. Collaborations span academia and industry, addressing challenges in NUMA systems, blockchain, and cloud applications. Recent publications highlight trends in memory analysis for managed applications, SPIR-V code generation frameworks, and mitigating radiation-induced errors in advanced embedded systems. No scientific awards or grants are explicitly mentioned in the provided text.
Ronald Garcia is an Associate Professor in the Department of Computer Science at the University of British Columbia, affiliated with the Faculty of Science and the Software Practices Lab. His research focuses on programming language theory, emphasizing gradual typing, type systems, and end-user programming. He teaches courses such as Programming Language Principles (CPSC 509) and Compiler Construction (CPSC 411). Education details are not explicitly stated in the provided texts, but his extensive academic contributions span over two decades. Research interests include formal semantics of programming languages, typestate systems, dependent types, and improving software practices for end-users. He has advised numerous Ph.D. and Master's students, contributing to over 30 academic publications. Recent work explores hybrid programming environments for end-users, runtime type slicing for debugging, and foundational frameworks for gradual dependent types. Garcia actively participates in academic conferences as a PC member and keynote speaker, notably in PLDI, POPL, and ICFP. His lab and collaborations focus on advancing theoretical foundations while addressing practical challenges in software development and education.
Reid Holmes is a Professor in the Department of Computer Science at the University of British Columbia , part of the Faculty of Science . His research focuses on improving software engineering practices, particularly in end-user programming, developer tool design, and empirical software engineering. He leads the Software Practices Lab and has contributed extensively to understanding developer workflows, testing methodologies, and educational tools for programming. Education: PhD in Computer Science, University of Calgary (2008) MSc in Computer Science, University of British Columbia (2004) BSc in Computer Science, University of British Columbia (2002) Research Interests: End-user programming environments, software testing, developer productivity tools, human-centered AI, educational technology, and empirical studies on software development practices. His work emphasizes bridging the gap between theoretical advancements and practical usability for both professional developers and novice programmers. Recent Article Trends: Focus on hybrid programming environments (e.g., block-based and graph-based systems), human-AI collaboration in testing/assertion generation, and age-inclusive IDE design. His research often involves empirical evaluations of tool effectiveness and developer workflows. Awards: FSE Most Influential Paper Award ICSE Most Influential Paper Award UBC Computer Science Teaching Award CS-Can/Info-Can Outstanding Research Prize Advising & Grants: Supervised over 30 graduate students and postdocs. Noted for collaborative projects with industry partners (e.g., Mozilla, Microsoft). Active in curriculum development for software engineering education. Labs/Teams: Leader of the Software Practices Lab , collaborating with industry and academic partners on tools like CodeShovel , AutoAssert , and Devy (conversational developer assistant).
Wei Yang is an Associate Professor in the Department of Computer Science at the University of Texas at Dallas, working within the Erik Jonsson School of Engineering and Computer Science. He holds a regular faculty position with an office in ECSS 4.225 and is actively engaged in teaching, research, and mentoring graduate students. His academic journey spans multiple prestigious institutions, and he currently serves on editorial boards for major software engineering journals. Dr. Yang received his Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign in 2018, advised by Prof. Carl A. Gunter and Prof. Tao Xie. He earned his M.S. in Computer Science from North Carolina State University in 2013 under Prof. Tao Xie, and his B.E. in Software Engineering from Shanghai Jiao Tong University in 2011 under Prof. Jianjun Zhao. He was also a visiting researcher at the University of California, Berkeley, invited by Prof. Dawn Song. Dr. Yang's research spans multiple cutting-edge areas at the intersection of software engineering and security. His primary focus centers on software engineering for AI systems , particularly addressing challenges in deploying AI on edge devices like mobile phones, IoT devices, and autonomous vehicles. His pioneering work on efficiency robustness (initiated in 2019) explores how different inputs can trigger varying computational costs in neural networks, leading to novel attacks and defenses. He also develops infrastructure support for AI deployment , including compiler toolchains for dynamic-shaped neural networks and security analysis for IoT deployments. His research extends to mobile testing (since 2012), malware detection using expectation context analysis, and intelligent tools for software engineers and security researchers. Dr. Yang's publication record demonstrates a clear trajectory toward addressing critical challenges in AI security and efficiency. His recent work shows increasing focus on foundation models, large language models, and their security implications, while maintaining strong connections to practical software engineering challenges. The publications reveal a consistent pattern of high-impact research in top-tier venues across software engineering, AI, and security domains. NSF CAREER Award (2022) ACM SIGSOFT Distinguished Paper Award (2021) Amazon Research Award Dr. Yang actively mentors a large group of graduate and undergraduate students, with several PhD students currently working under his supervision. He serves as a faculty advisor for the ASTRO (AI Security and Trustworthiness Operations) team, which was selected as a red teaming participant in the Amazon Nova AI Challenge. His research is supported by significant grants, including the NSF CAREER award providing approximately $500,000 over five years. He emphasizes practical student development, helping them navigate the job market and transition from academic training to professional careers. Dr. Yang leads a vibrant research group focused on software engineering and security challenges in AI systems. His team, including the ASTRO group participating in the Amazon Nova AI Challenge, develops innovative techniques for testing, securing, and improving AI-based systems. The research environment fosters collaboration across multiple domains, with students working on projects ranging from mobile security to foundation model engineering.
Dmitriy Traytel is an Associate Professor in the Department of Computer Science at the University of Copenhagen, affiliated with the Software, Data, People & Society research section. His work bridges formal methods, programming languages, and runtime verification, with a strong emphasis on correctness and efficiency. His research focuses on the logical and formal foundations of programming systems, including syntax with bindings, higher-order logic, type systems, and temporal logics. He develops verified tools and frameworks for runtime monitoring, policy enforcement, and query evaluation, often using interactive theorem provers like Isabelle/HOL. His recent publications demonstrate a consistent contribution to top venues such as POPL, CAV, and TACAS. The trends in his recent articles show a deep engagement with runtime verification , particularly in developing explainable , efficient , and first-order monitoring techniques. He combines theoretical rigor with practical tool building, as seen in systems like WHYMON and TimelyMon. His work often intersects with security policies, functional programming, and formal semantics. He has not been mentioned in the text as receiving scientific awards, but his publication record in premier venues indicates high scholarly impact. While no students are explicitly listed, his role as an Associate Professor and active researcher suggests involvement in advising. There is no mention of specific grants, but his participation in a Promotion Programme implies institutional support. He is part of a vibrant research environment within the Department of Computer Science, which is involved in the SCIENCE AI Centre, suggesting interdisciplinary collaboration potential. Traytel maintains a personal website and ORCID profile, and his contact information is publicly available. He is actively contributing to the research output of the department, with 59 recorded publications, including journal articles and conference proceedings.
Quentin Stiévenart is a post-doctoral researcher at the Software Languages Lab of the Vrije Universiteit Brussel (VUB) in Belgium, specializing in programming languages and program analysis. His research spans multiple areas within static and dynamic analysis, with a particular focus on WebAssembly security and analysis techniques. His primary research interests include: Static and dynamic program analysis Abstract interpretation Type systems and effect systems Concurrent and higher-order programming languages WebAssembly security and analysis Interpreter and framework design Stiévenart's recent publications demonstrate a strong focus on compositional and modular analysis techniques, particularly applied to WebAssembly. His work addresses critical security concerns in WebAssembly, including information flow analysis, binary analysis, and vulnerability detection. He has also contributed to frameworks for static analysis of higher-order languages and techniques for improving analysis performance through parallelism and incremental computation. His academic service includes extensive peer review activities and program committee membership for major conferences including SAS, SCAM, ICFP, ECOOP, and OOPSLA, with a particular emphasis on artifact evaluation committees. Stiévenart has developed several research tools including Wassail (a static analysis tool for WebAssembly security), MAF (a framework for modular static analyses), and Scala-AM (a framework for developing static analyses in Scala).
Yu David Liu is a Professor at the School of Computing, State University of New York at Binghamton. He received his Ph.D. from Johns Hopkins University under Scott Smith. Research interests include Software Systems Energy Efficiency Reliability Performance Optimization Security Unmanned Aerial Vehicles Data-Intensive Software Side-Channel Attack Mitigation His work spans runtime systems, compilers, and programming languages for cross-cutting concerns. Key trends in recent publications: 2025-2024 focus on TEE security , UAV regulation , and energy-aware data processing . Earlier works explore secure caches , Green JVM methods , and SLAM system bottlenecks . Scientific Awards NSF CAREER Award (2010) Google Faculty Research Award (2011) Outstanding Research Achievement Award (2018, SUNY Binghamton CS Dept) Outstanding Research Achievement Award (2019, Watson School) Advising: Mentored 11 Ph.D. students (including 2025 Distinguished Dissertation Award winner Timur Babakol) and 14 M.S./B.S. students. Current advisees include Kerem Arikan (Ph.D.), Joseph Raskind (Ph.D.), and Huaxin Tang (Ph.D.). Grants: Funded by NSF awards 2053391 and 2215016 . Former NSF grants include 1910532, 1815949, and 1823260. Labs: Leads the programming language group at SUNY Binghamton, collaborating on UAV software (JCopter, ICRA'21), energy-efficient systems (Vesta, PLDI'24), and security (TEE-SHirT, NDSS'24).
Lucas Vincenzo Davi is a Professor of Computer Science at the University of Duisburg-Essen and Director of the paluno - the Ruhr Institute for Software Technology . He leads the SYSSEC research group and is a Principal Investigator (PI) in the SFB CROSSING and CASA excellence cluster. His work focuses on practical software and systems security, including memory corruption vulnerabilities, exploit mitigation, and blockchain smart contract security. Davi holds an ERC Starting Grant for Smart Contract Security research. Education: PhD in IT Security, TU Darmstadt (2011–2015), Dissertation: "Code-Reuse Attacks and Defenses" Master of Science in IT Security, Ruhr-Universität Bochum (2007–2009) Diplom (FH) in Business Informatics, FOM Neuss (2003–2007) Research: Davi's work emphasizes real-world security challenges like runtime attacks, trusted execution environments (TEE), and secure embedded systems. His contributions include Wemby (WebAssembly security analysis), HCC (smart contract hardening), and rowhammer mitigations like CATT. His research has influenced industry practices, e.g., Microsoft EMET v5.1 improvements. Awards: Best Teacher Award (2025) Finalist German IT Security Prize (2022, 2020) ACM SIGSAC Dissertation Award (2016) CAST Förderpreis (2010) Grants & Leadership: ERC Starting Grant (Smart Contracts), SFB CROSSING PI, CASA Cluster PI, and leadership in interdisciplinary initiatives like Nano Security (DFG Priority Program). Labs/Teams: Director of paluno, SYSSEC group leader, and collaborator in projects like HERA (hotpatching for embedded systems) and DMA’n’Play (DMA-based attestation).
Yuan Tian is a Visiting Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on security and privacy, with a particular emphasis on cyber-physical systems, machine learning applications in vulnerability detection, and human-computer interaction challenges in privacy preservation. He has collaborated with industry leaders such as Google, Facebook, Microsoft, Samsung, and others to address real-world security and privacy issues in mobile systems and IoT devices. His work spans theoretical frameworks for automated vulnerability repair to practical tools like AuthSaber for OAuth security verification. Key research areas include: Development of LLM-powered systems for vulnerability detection (e.g., VulBinLLM) Post-fuzzing analysis of firmware (FirmRCA) Privacy perception studies in smart environments (e.g., WiFi services and commercial buildings) Hardware/software co-design security for IoT His recent work bridges machine learning and cybersecurity, addressing threats in smart contracts, federated learning, and adversarial attacks. Notable contributions include frameworks for privacy-preserving inference in edge networks and sonar-based authentication systems for smart speakers. Awards and recognition: No specific awards listed, though his work has been widely adopted by industry partners. His research has been published in top-tier venues, including S&P, CCS, and IEEE S&P, reflecting its technical impact.
Dr. Julian Dermoudy is an Associate Professor and Associate Head (Learning and Teaching) in the School of Information and Communication Technology at the University of Tasmania. With over 25 years of teaching experience, he has received national and institutional recognition for his pedagogical contributions. His roles have included Head of School, Associate Dean, and Course Coordinator, reflecting his leadership in academic administration. His teaching spans the Bachelor of ICT and Master of ITS programs. Research Interests: Learning and Teaching Innovations Computing Education and Curriculum Design Serious Games and Gamification for Behavior Change Multimodal Analysis and Verification Parallelism and Software Engineering Funded Projects: UTAS Internal Funding: Embedding Indigenous Knowledge in Curriculum (2021-2021) Advising: Supervised 11 doctoral candidates across domains like biometric authentication, ICT curriculum design, and mobile technology impact. Recent students include Simon Stanton (Cooperative Intent) and Shahan Chowdhury (Collaborative In-Store Shopping). Labs/Teams: Active in curriculum redesign initiatives and educational technology innovation, particularly in VR and gamification applications.
José Cano Reyes is a Senior Lecturer (Associate Professor) at the University of Glasgow's School of Computing Science, leading the Glasgow Intelligent Computing Lab (gicLAB) and serving as deputy Head of the GLAsgow Systems Section (GLASS). His academic career includes postdoctoral roles at the University of Edinburgh (2014-2018) and Universitat Politècnica de Catalunya (2012-2013), with a PhD and engineering degree from Universitat Politècnica de Valencia (2004-2012). He has held visiting and guest lecturer positions at Edinburgh and Glasgow across computer architecture, compilers, and embedded systems topics. Research focuses on hardware-software co-design for edge AI, including DNN acceleration (FPGA/GPU), encrypted AI systems, and secure mission-critical SoCs. Key projects include EU's dAIEDGE, EPSRC IDEAL, and UKRI AppControl. He leads over 15 research staff and students in areas like quantization, sparsity exploitation, and robust AI deployment. Notable contributions span 100+ peer-reviewed publications across top venues (ISCA, IJCNN, IEEE TPDS) and 3 authored books on ad hoc networks and embedded systems. Academic service includes organizing 20+ conferences (ISPASS, Euro-Par, ASPLOS) and serving on editorial boards for ACM TACO and IEEE TPDS. His educational efforts include teaching Computer Architecture (Year 4), Computer Systems (Year 1), and supervising over 20 PhD/MSc students since 2017.
Anton Burtsev is an Associate Professor at the Kahlert School of Computing, University of Utah. His research focuses on redefining operating system architectures to address modern challenges like security attacks, data center workloads, and heterogeneous hardware. He leads the Mars Research Group, developing systems like the formally verified Atmosphere microkernel in Rust/Verus, and the high-performance DRAMHiT hash table. Key projects include Rust for Linux kernel integration, verified drivers (Veld), and isolation mechanisms like RedLeaf OS. Research interests include kernel isolation, formal verification, language safety (Rust), and overcoming the memory wall. Current work emphasizes clean-slate OS designs and retrofitted security solutions for existing kernels. Collaborative projects include Horizon (secure scientific cloud computing) and RedLeaf OS verification efforts. Advising undergraduate to PhD students interested in OS research. Notable grants include NSF CAREER (NgOS) and collaborative NSF grants on verified systems. Active in the MARS reading group and open-source contributions via repositories.
John Regehr is a Professor in the School of Computing at the University of Utah. His research focuses on compilers, formal verification, software testing, and embedded systems. He has contributed to tools like Alive2, YARPGen, and ARMor, which address compiler correctness, fuzz testing, and secure isolation. His work emphasizes uncovering compiler bugs, optimizing low-level code, and ensuring system reliability. Key collaborations include Eric Eide, Yang Chen, and Nuno P. Lopes. His articles span compiler verification, fuzzing techniques, and embedded system safety, reflecting a strong commitment to both academic rigor and practical impact. Research interests include compiler optimization validation, undefined behavior analysis, and program synthesis. His work on peephole optimizations and formal methods has influenced LLVM and industry practices. He also explores scheduling algorithms for real-time systems and memory safety in constrained environments like TinyOS. Notable contributions include foundational papers on compiler bug detection (e.g., 'Finding and understanding bugs in C compilers') and tools like Minotaur for SIMD optimization. His lab's work often bridges theory and practice, with applications in security, performance, and embedded software reliability.
Rodrigo Bruno is an Assistant Professor at Instituto Superior Técnico (University of Lisbon) and Senior Researcher at INESC-ID Lisbon. His research bridges Systems and Programming Languages with a focus on optimizing language runtimes for cloud environments (Microservices, Serverless). He previously worked at Oracle Labs Zurich and ETH Zurich. Research Areas Systems Programming Languages Cloud Computing Serverless Computing Operating Systems Key projects include Shell (FCT-funded serverless platform), Graalvisor (polyglot runtime virtualization), and Naos (RDMA networking in Java). His work appears in top venues like NSDI, EuroSys, ATC, and SoCC. Scientific awards include the EdgeEmu Best Paper Award , Best Young Researcher 2022 (INESC-ID), and multiple teaching excellence recognitions. He has served on program committees for EuroSys, NSDI, ATC, and more. Rodrigo Bruno leads a dynamic team including PhD candidates Vasyl Lanko, Bernardo Ribeiro (co-advised), and MSc students like André Páscoa. His research integrates with production systems such as the V8 JS Engine and OpenJDK HotSpot JVM. Current teaching includes Cloud Computing and Virtualization , Computer Systems Engineering , and IT Infrastructure Management . His service spans organizing committees for SESAME, MoreVMs, and artifact evaluation for SOSP.
William J. Bowman is an Assistant Professor in the Department of Computer Science at the University of British Columbia. He focuses on secure and verified compilation, dependently typed programming, and meta-programming systems. His work bridges high-level language design with low-level code generation to maintain correctness and security invariants throughout compilation. Education: PhD in Computer Science from Northeastern University Research spans type-preserving compilation, including: Typed closure conversion for dependently typed languages Allocation-aware type universes Hybrid embedding techniques Secure interoperability via multi-language semantics Recent publications examine: Heap allocation modeling through type universes Flat closure representations WebAssembly extensions with indexed types Control-effect semantics
