Charles-Henry Bertrand Van Ouytsel is a Research Assistant and Visiting Lecturer at Université catholique de Louvain , affiliated with the Louvain Polytechnic School (EPL) and the Computer Engineering Center (INGI) . His work focuses on malware analysis , symbolic execution , and machine learning for cybersecurity applications. Research Areas : Packing detection, intrusion detection systems, side-channel security, and adversarial machine learning. Teaching : Involved in courses like Secured systems engineering (LINFO2144) and Software engineering and programming systems seminar (LINFO2359) . His recent publications emphasize malware obfuscation techniques and security evaluation frameworks . Collaborations with Axel Legay and others highlight his contributions to tool development (e.g., Packing-Box , SEMA ). No scientific awards are explicitly mentioned.
Yepang Liu is a tenured Associate Professor in the Department of Computer Science and Engineering at Southern University of Science and Technology (SUSTech) in Shenzhen, China. He leads the Software Quality Lab and serves as director of the Trustworthy Software Research Center within the Research Institute of Trustworthy Autonomous Systems. His educational background includes a B.Sc. with honors from Nanjing University (2010) and a Ph.D. from the Hong Kong University of Science and Technology (2015), where he was supervised by Prof. Shing-Chi Cheung. Prior to joining SUSTech, he worked as a postdoc at HKUST's CASTLE Lab and Cybersecurity Lab. Liu's research primarily focuses on software testing and analysis, empirical software engineering, AI for SE, software security, and trustworthy AI. His work bridges traditional software engineering with cutting-edge AI technologies, particularly in automated testing, security analysis, and quality assurance for mobile, blockchain, and extended reality applications. Recent projects explore how large language models can enhance bug detection, improve testing automation, and address fairness issues in machine learning systems. His contributions have been recognized with three ACM SIGSOFT Distinguished Paper awards (ICSE 2021, ASE 2016, ICSE 2014) and one Distinguished Artifact award (ICSE 2019). He has also received the ACM SIGSOFT Service Award and Distinguished Reviewer Award for his extensive service to the software engineering community. Top-10 Most Active Early-Stage Software Engineering Researcher (2013-2020) Top-10 Most Popular Instructor Among 2024 Undergraduate Graduates at SUSTech Junior Faculty of the Year (2021) SUSTech Teaching Excellence Award (2021) Outstanding Mentor Award (2020, 2024) Liu actively serves on the editorial boards of Empirical Software Engineering (EMSE) and Journal of Computer Science and Technology (JCST). He has participated in over 80 conference committees including leadership roles in ICSE, FSE, ASE, and ISSTA. His research is supported by the National Natural Science Foundation of China, National Key Research and Development Program, and leading Chinese IT companies. He regularly mentors PhD and MSc students and has guided multiple national competition award-winning teams. The Software Quality Lab under Liu's direction focuses on innovative approaches to software testing, security analysis, and quality assurance across various platforms including mobile, blockchain, and extended reality applications. Current projects emphasize the integration of AI techniques with traditional software engineering practices to address emerging challenges in software quality.
Benjamin J. Delaware is an Assistant Professor of Computer Science at Purdue University. His research focuses on programming languages, formal verification, and tools for ensuring software correctness using mechanized theorem provers. He holds a Ph.D. from The University of Texas at Austin (2013), an MSc from Washington University in St. Louis (2007), and a B.S. from Truman State University (2005). His work emphasizes practical formal methods, including static enforcement of privacy policies, compiler design for oblivious computation, and automated verification techniques. Key contributions include tools like Taypsi, KestRel, and HACCLE. His research bridges theory and practice, addressing challenges in software security, correctness, and efficiency. Publications span top venues like POPL, PLDI, and OOPSLA, reflecting a strong focus on foundational programming language concepts. Collaborations with researchers like Suresh Jagannathan and Qianchuan Ye drive advancements in automated reasoning and secure computation.
Vassilios Tzerpos is an Associate Professor at the Lassonde School of Engineering, York University, where he has been since 2001. He holds a Ph.D. in Computer Science from the University of Toronto (2001). His research focuses on audio processing for musical applications, deep learning, digital signal processing, machine listening, and software engineering education. He directs the APTLY lab exploring music-technology intersections and leads the LaSSoftE lab developing socially-oriented software solutions. Education: Ph.D. in Computer Science, University of Toronto, 2001 Research Highlights: Dr. Tzerpos' work spans music information retrieval (e.g., automatic music classification), synthetic speech detection using neural networks, and software engineering pedagogy. His recent projects include Music-STAR for audio re-instrumentation and OER-based learning path creation systems. He has pioneered methods in design pattern detection and software clustering evaluation. Grants & Labs: Leads two research groups: APTLY (music-tech) and LaSSoftE (social impact software). Active in developing adaptive cybersecurity solutions against DoS attacks and refining software architecture recovery techniques. Key Themes in Publications: Recent work emphasizes machine learning applications in music technology and cybersecurity, with foundational contributions to software clustering methodologies and design pattern detection algorithms. His work bridges theoretical computer science with practical applications in education and creative industries.
Bo Wu is an Associate Professor in the Department of Computer Science at Colorado School of Mines. His research focuses on compilers and programming systems, particularly program optimizations for heterogeneous computing and emerging architectures, with applications in machine learning and graph processing. He joined Mines in 2014 after earning a Ph.D. from The College of William and Mary and earlier degrees from Central South University in China. Education : B.S. in Computational Science and Technology (Central South University, 2005) M.S. in Computer Science (Central South University, 2008) Ph.D. in Computer Science (The College of William and Mary, 2014) Research Interests : Wu's work emphasizes enhancing data locality in heterogeneous systems, GPU scheduling, and optimizing applications for emerging architectures. His contributions include frameworks like GraphZero for efficient graph mining and FLEP for GPU preemption. Awards & Grants : NSF SPX Award (2018) NSF CAREER Award (2018) Supercomputing Best Paper Award (2015) Multiple NSF grants for GPU-related research Advising & Grants : Wu has led several NSF-funded projects and actively participates in conference program committees (e.g., PPoPP, SC, ICS). His research spans compiler optimizations, parallel computing, and high-performance systems. Labs & Teams : While specific labs aren’t named, his work involves collaborations on GPU-based systems, graph processing frameworks, and compiler toolchains.
Carlo A. Furia is an Associate Professor at the Software Institute within the Faculty of Informatics at Università della Svizzera italiana (USI). He leads the ATOM research group and is actively involved in advancing formal methods in software engineering. His work bridges theoretical rigor with practical applicability, particularly in verification, automated repair, and empirical analysis of software systems. PhD in Computer Science, Politecnico di Milano Master of Science in Computer Science, University of Illinois at Chicago Laurea in Computer Science and Engineering, Politecnico di Milano His research focuses on making formal methods practical through automation, combining diverse techniques, and conducting thorough empirical evaluations. He is particularly interested in using Bayesian data analysis to assess software engineering data. His work spans program verification (e.g., AutoProof), contract inference, API usability, and multilingual program analysis. His recent publications highlight trends in automated program repair, JVM bytecode analysis, Android security, and empirical methodologies. These works reflect a consistent emphasis on correctness, reliability, and empirical validation in software development. Scientific service includes: Associate Editor, Empirical Software Engineering (EMSE) journal Program Committee member, FM 2026, FormaliSE 2026, ASE 2025, iFM 2025 He has advised students and leads the ATOM group, which develops tools for software analysis. He teaches courses such as Software Analysis, Programming Fundamentals, and Software Design & Modeling. Current research directions include improving empirical evaluation rigor and enhancing verification at lower code levels like bytecode.
Michael Pradel is a full professor at the University of Stuttgart, specializing in software engineering, programming languages, and machine learning. He will join CISPA as a faculty member from September 2025 while retaining his Stuttgart position. His research focuses on: Neuro-symbolic software analysis Web application analysis Dynamic analysis and test generation Quantum software testing Machine learning for code Recent publications address: LLM-based program repair (RepairAgent, Treefix) WebAssembly analysis (Wasm-R3, LintQ) Python security and analysis (DyLin, DyPyBench) Quantum program analysis (LintQ) Scientific awards: Ernst-Denert Software Engineering Award Emmy Noether grant (1.3M Euro) ERC Starting Grant (1.5M Euro) 3x ACM SIGSOFT Distinguished Paper Award at FSE ACM Distinguished Member Best Paper/Distinguished Paper Awards at ISSTA, ASE, ASPLOS, MSR Key contributions include: DeepBugs for name-based bug detection Getafix for automated bug fixing LintQ for quantum program analysis DyLin for Python dynamic analysis Neuro-symbolic developer tools
Dr. Geoffrey L. Herman serves as the Severns Teaching Professor in the School of Computing and Data Science at the University of Illinois at Urbana-Champaign. He earned his Ph.D. in Electrical and Computer Engineering from UIUC as a Mavis Future Faculty Fellow and completed postdoctoral research at Purdue University's School of Engineering Education. His research focuses on understanding how students learn engineering and computing concepts and developing systemic approaches to improve teaching methods in higher education. With over $7 million in research funding and more than 120 peer-reviewed publications, his work spans educational technology, cognitive aspects of learning, and faculty development initiatives. His recent publications demonstrate a consistent focus on evidence-based instructional practices, assessment methodologies, and collaborative learning approaches, with particular emphasis on computer science education, proof writing tools like Proof Blocks, and mastery learning techniques. These works collectively advance the understanding of effective educational strategies in STEM fields. IEEE Education Society Mac Van Valkenburg Early Career Teaching Award Scott H. Fisher Computer Science Teaching Award Best paper award in the first 50 years of the ACM Special Interest Group, Computer Science Education As a mentor, Dr. Herman guides graduate students interested in engineering and computing education research, focusing on designing better instruction. He also works with undergraduates on improving educational experiences through platforms like PrairieLearn. His leadership extends to founding the Grainger College of Engineering's Strategic Instructional Innovations Program, which has secured millions in external funding. He serves on the Computer Research Association Education committee and as associate editor for the Journal of Engineering Education. Dr. Herman leads national workshops on professional development for computer science teaching faculty and has created peer mentoring networks through the Teaching Professionals Program, significantly impacting faculty development in engineering education.
Yuning Jiang is a Visiting Professor at the École Polytechnique Fédérale de Lausanne (EPFL), affiliated with the Automatic Control Laboratory (LA3) within the School of Engineering (STI). He teaches the doctoral course Optimal Control for Dynamic Systems and contributes to research in distributed optimization, model predictive control (MPC), and smart grid technologies. His work bridges theoretical advancements in control systems with practical applications in power networks and autonomous systems. Current research emphasizes scalable solutions for AC optimal power flow, real-time MPC for embedded systems, and robust optimization under uncertainty. His research interests span Optimal Control , Power Systems , Smart Grids , and Federated Learning . Notable contributions include distributed algorithms for large-scale power systems and privacy-preserving co-simulation frameworks. Recent publications focus on microservice deployment in satellite-terrestrial networks and real-time pricing mechanisms for vehicle-to-grid (V2G) integration. Yuning holds a position in the EDEE-ENS unit under EPFL’s Academic Affairs division (VPA-AVP-DLE), reflecting his role in academic administration and teaching infrastructure. His lab, the Automatic Control Laboratory, focuses on cutting-edge research in control theory and its interdisciplinary applications.
Nuno Santos is an Associate Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico (IST), University of Lisbon, and a senior researcher at INESC-ID Lisbon. He leads the SysSec team, focusing on systems security and privacy. His research spans secure enclaves, network security, and censorship-resistant systems. Education: Ph.D. in Computer Science (2013) from Max Planck Institute for Software Systems (MPI-SWS) in affiliation with Saarland University. Visiting research stints at Vrije Universiteit Amsterdam (2018) and Technical University of Munich (2024). Research Interests: Systems security, privacy, trusted execution environments (TEEs), network security, censorship resistance, AI security, and secure cloud computing. He has pioneered work on mitigating vulnerabilities in TrustZone-based TEEs and enhancing confidential computing. Publications: Over 30+ peer-reviewed articles in top-tier venues like S&P, USENIX Security, CCS, and NDSS. Recent trends focus on AI-driven security (e.g., automated exploit generation, prompt-to-SQL injections) and confidential computing (e.g., AMD SEV-SNP analysis). Awards: IST Outstanding Teaching Award (2019/2020), 2024 Prémio Científico Universidade de Lisboa/Caixa Geral de Depósitos. Advising & Grants: Supervised MSc theses in areas like AI-powered vishing attacks and confidential VMs. Active in conference organization (e.g., USENIX Security’25 Vice Chair, IEEE EuroSP’26 Co-Chair). Labs/Teams: Leads the SysSec team at INESC-ID Lisbon, collaborating on projects like AnyTEE (TEE framework) and FlowLens (network security tool).
Dr. John Wickerson is an Associate Professor in the Circuits and Systems group at the Department of Electrical and Electronic Engineering, Imperial College London. His research focuses on improving the reliability of high-performance computing through formal methods, with contributions to high-level synthesis, memory models, and concurrency verification. He holds leadership roles including Course Director for the Electrical and Information Engineering degree and Deputy Tutor for PhD students. Research Interests: Formal Verification of Hardware/Software Systems High-Level Synthesis (HLS) and FPGA Compilation Weak Memory Models and Concurrency Semantics Fuzz Testing for Hardware Tools Compiler Optimization and Correctness Digit Elision and Arbitrary-Precision Arithmetic Notable Achievements: Best Paper Award at EuroSys 2024 (database isolation validation) Pioneered formal methods for HLS tools (e.g., QuteFuzz, C4) Co-developed the C4 C compiler concurrency checker Published over 60 peer-reviewed papers across top venues (ASPLOS, PLDI, FPGA) Lab/Team: Part of the Circuits and Systems group at Imperial College, collaborating with industry partners like Kaihong Yann and ARM.
Prof. Ryan Keith Shosted is a full-time tenured Professor at the University of Illinois at Urbana-Champaign , affiliated with the Department of Linguistics , Spanish and Portuguese , American Indian Studies Program , Beckman Institute , Lemann Center for Brazilian Studies , Center for Latin American and Caribbean Studies , and Center for African Studies . He serves as Director of the Program in Translation and Interpreting Studies and leads the Chin-Woo Kim Phonetics Laboratory . Education: Ph.D. , Linguistics, University of California, Berkeley (2006) M.A. , Linguistics, University of California, Berkeley (2003) B.A. , Linguistics, Brigham Young University (2000) Shosted's research focuses on the intersection of phonetics , phonology , and historical linguistics . He pioneered the application of ultrafast dynamic MRI to study the vocal tract's physiological-acoustic mapping in diverse languages, including Hittite cuneiform , Deseret Alphabet , and endangered languages like Q'anjob'al. His work spans speech production modeling , nasalization mechanisms , and cross-linguistic articulatory analysis . The 15 most recent publications demonstrate his leadership in dynamic speech imaging , phonetic-aerodynamic modeling , and historical sound change analysis . Key trends include advanced MRI techniques for speech study, phonetic universals , and historical writing systems as tools for linguistic reconstruction. Scientific Awards: Campus Award for Excellence in Undergraduate Teaching (2021) Dean's Award for Excellence in Undergraduate Teaching (2021) Arnold O. Beckman Award (2009, 2010) Jacob K. Javits Fellowship (2001-2005) Shosted's grant portfolio includes NSF funding for nasalization research (BCS-1651197, BCS-1121780) and NIH collaboration (1R01DE027989-01A1) on cleft palate speech. He has directed 12 graduate students and taught courses ranging from Hittite language to quantitative phonetic methods . The Chin-Woo Kim Phonetics Laboratory , under his directorship since 2007, expanded in 2010 to include articulatory phonetics facilities with EPG, ultrasound, and MRI analysis capabilities. He continues to lead Beckman Institute collaborations in speech imaging technology.
Victor Vianu is a Professor of Computer Science and Engineering at the University of California, San Diego and holds the INRIA International Chair at INRIA-Saclay in Paris. He has maintained continuous faculty status at UC San Diego since 1983 while developing extensive international collaborations, particularly with French research institutions including INRIA, ENST-Paris, ENS-Paris, and the University of Paris. His academic credentials include a Ph.D. in Computer Science from the University of Southern California (1983) and undergraduate studies in Mathematics and Informatics at the University of Bucharest (1974-1977). Professor Vianu's research spans computational logic, database systems and theory, and automatic verification. His work uniquely bridges theoretical foundations with practical applications in XML processing, workflow systems, and data-driven applications. He has made seminal contributions to understanding the theoretical underpinnings of database query languages and their expressive power, particularly in the context of XML technologies and workflow systems. His research demonstrates a consistent trajectory from theoretical computer science to practical database systems applications. His publication record reveals significant contributions to database theory spanning over three decades, with particular emphasis on XML technologies, workflow systems, and formal methods for data-driven applications. His work shows a clear evolution from foundational theoretical work to practical applications in business processes and web technologies. INRIA International Chair (2013) Fellow of the American Association for the Advancement of Science (AAAS) (2013) ACM PODS Alberto O. Mendelzon Test-of-Time Award (2010) Fellow of the Association for Computing Machinery (ACM) (2006) Professor Vianu has held significant leadership roles including Editor-in-Chief of the prestigious Journal of the ACM, numerous program committee chair positions for major database conferences (PODS, ICDT, ASIAN), and General Chair for ACM SIGMOD conferences. He has served on the executive committees of SIGMOD (1998-2000) and PODS (1993-2004), and was a member of the ICDT Council (1997-2007), demonstrating sustained influence in the theoretical database community. His extensive invited talks at major conferences including College de France, ACM PODS, and International Conference on Database Theory highlight his international recognition.
Pavel Panchekha is an Assistant Professor in the School of Computing at the University of Utah, where he holds the Warnock Chair for Junior Faculty. His research spans programming languages, web browsers, and numerical analysis, with a focus on developing programming language techniques to address challenges across computer science. Dr. Panchekha received his educational training at prestigious institutions: PhD in Computer Science from the Paul G. Allen School for Computer Science and Engineering at the University of Washington, advised by Michael D. Ernst and Zachary Tatlock BS in Mathematics from MIT Panchekha's research program has two major thrusts. First, he works on web browser internals , with projects including fuzzing layout invalidation, multi-tenant garbage collection, and optimizing 2D graphics. He is also authoring a textbook on web browsers that informs much of this research. Second, he focuses on automatic numerical analysis , with projects such as automatic accuracy improvement, synthesis via term rewriting, scalable static accuracy analysis, and math library implementation. He leads the FPBench and Herbie projects, which are major deployments of his research. His scholarly output demonstrates consistent contributions across programming languages, verification, and numerical methods. Recent work shows a growing emphasis on bidirectional typing systems, layout invalidation in browsers, and robust floating-point error analysis. His publications reveal a trajectory from foundational work on floating-point accuracy (notably the Herbie tool that won a Distinguished Paper Award at PLDI 2015) toward more comprehensive systems for program synthesis, verification, and browser optimization. Panchekha has received significant recognition for his research contributions: NSF Fellowship ARCS Foundation Fellowship Adobe Research Fellowship Wissner-Slivka Foundation Fellowship 2015 PLDI Distinguished Paper Award for work on the Herbie numerical analysis and repair tool As an advisor, Panchekha mentors a substantial group of students across multiple levels. He currently advises six students: Marisa Kirisame (PhD), Bhargav Kulkarni (PhD), Yumeng He (PhD), Artem Yadrov (MS), Jesus Ponce (BS), and Jonas Regehr (BS). Previously, he has advised over twenty students including PhD candidates like Ian Briggs and numerous MS and BS students. His advising spans theoretical topics in programming languages and practical applications in web browsers and numerical computing. Panchekha leads research groups focused on programming languages applications to web browsers and numerical analysis. His work on the Herbie tool for floating-point accuracy improvement has become influential in the programming languages community, and his more recent work on browser internals is shaping how researchers understand and optimize modern web rendering engines. He is currently developing a textbook on web browsers that aims to synthesize knowledge about browser architecture and implementation.
Dr. Yu Huang is an Assistant Professor in the Department of Computer Science at Vanderbilt University's School of Engineering, with a secondary appointment in the Department of Teaching and Learning at the Peabody School of Education. She is affiliated with the Institute for Software Integrated Systems, the Frist Center for Autism and Innovation, the Vanderbilt Lab for Immersive AI Translation (VALIANT), and the Vanderbilt LIVE Learning Innovation Incubator. Her academic journey began with a BS in Aerospace Engineering from Harbin Institute of Technology in China (2011), followed by an MS in Computer Engineering from the University of Virginia (2015), and culminated with a PhD in Computer Science and Engineering from the University of Michigan in 2021 under Professor Westley Weimer. Dr. Huang's research bridges human cognition and machine intelligence to enhance software development. Her work spans software, hardware, AI, medical imaging (fMRI/fNIRS), eye tracking, and mobile sensing through collaborations with Security, Education, Psychology, and Neuroscience researchers. She leads the MIND Lab (Mixed INtelligence Development for programming lab), investigating programming expertise formation, code comprehension processes, cognitive error patterns, and diversity in programming communities. Her innovative approach combines empirical human studies with AI model development to create more effective programming tools. Her recent publications reveal a growing emphasis on leveraging human attention data to improve code language models, analyzing cognitive biases in security contexts, and examining social factors in technical communication. The research shows strong interdisciplinary connections between neuroscience, psychology, and software engineering, with increasing applications of LLMs in developer tooling. Dr. Huang's work consistently demonstrates how understanding human cognition can inform better AI systems for programming tasks. Dr. Huang has received numerous prestigious recognitions including the 2025 ICPC Vaclav Rajlich Early Career Achievement Award and three ACM SIGSOFT Distinguished Paper Awards (ICSE 2019, FSE 2023, ICSE 2024). Her lab has earned the Best Presentation Award at GI2024, while her students have received the Richard Bennett/Dorothy Danforth Compton Prize scholarship and the C. F. Chen Best Paper award. She actively mentors a diverse team of graduate students (Yifan Zhang, Zach Karas, Zihan Fang, Yueke Zhang, Jiahao Zhang) and undergraduate researchers, with many former students advancing to top institutions (Stanford, Harvard, Duke, UC Berkeley) and organizations (NASA JPL). Her research is supported by a 4-year NSF grant, GitHub Tech for Social Good funding, and the Provost's Faculty Immersion Vanderbilt Grant, enabling comprehensive studies of human-AI collaboration in software engineering. The MIND Lab maintains a strong collaborative culture, frequently working with Professor Kevin Leach's research group and organizing retreats to locations like Radnor State Park and the Great Smoky Mountains. This environment fosters innovation at the intersection of human cognition and software engineering while supporting the professional development of emerging researchers in the field.
