Prof. Dimitris Gizopoulos is a Professor at the Department of Informatics & Telecommunications, University of Athens, leading the Computer Architecture Laboratory. His research focuses on fault tolerance, design validation, performance, and energy efficiency in microprocessors, GPUs, and AI accelerators. He is an IEEE Fellow (2013) and ACM Distinguished Member (2022). His work is supported by Horizon Europe projects like DARE, Neuropuls, and Vitamin-V, alongside industry grants from AMD, Cisco, and Meta. He participates in networks like HiPEAC and Eurolab4HPC and serves on editorial boards of journals including ACM Computing Surveys and IEEE Transactions on Computers . Prof. Gizopoulos teaches Computer Architecture courses at both undergraduate and graduate levels. His research spans cross-layer reliability analysis, voltage scaling effects, and secure hardware design. Notable contributions include frameworks for GPU reliability assessment (GUFI, GPUI-4) and tools like MerLIN for microarchitecture-level analysis. His lab’s work has been funded by the EuroHPC Joint Undertaking and the Greek-China Research Collaboration program. Key Projects: DARE (RISC-V Europe), Neuropuls (neuromorphic accelerators), Vitamin-V (RISC-V cloud environments). Awards: IEEE Fellow (2013), ACM Distinguished Member (2022), IEEE Golden Core (since 2002). Industry Partnerships: AMD, Cisco, Bosch, NVIDIA, Intel, IBM Research. Labs: Leads the Computer Architecture Lab, focusing on fault tolerance and energy-efficient computing. His work emphasizes bridging hardware-software co-design challenges, with publications in top venues like IEEE Transactions on Computers and ACM Computing Surveys . Recent efforts include analyzing silent data corruptions (SDCs) in CPUs and GPUs, and developing validation frameworks for cloud-native architectures.
Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.
Dimitris Mitropoulos is an Assistant Professor at the National and Kapodistrian University of Athens (NKUA) in the Department of Business Administration, where he teaches courses on Distributed Ledger Technologies, Data Security and Privacy, Algorithms and Business Analytics, and Introduction to Programming. He also serves as Head of the Reliability Engineering Directorate at the National Infrastructures for Research and Technology (GRNET), Greece's national research and education network organization. Previously, he was a Postdoctoral Researcher in the Computer Science Department at Columbia University. Dr. Mitropoulos received his Ph.D. degree in Secure Software Development Technologies from the Athens University of Economics and Business (AUEB) in 2014. His doctoral research was supported by the Heracleitus II Scholarship, co-financed by the European Union and Greek national funds. He is a member of prestigious professional organizations including ACM, IEEE, and USENIX. Dr. Mitropoulos conducts pioneering research at the intersection of software engineering and cybersecurity, with particular expertise in secure software development, vulnerability analysis, and blockchain security. His work spans multiple dimensions of software security including code injection attacks, infrastructure as code security, smart contract analysis, and dependency management in software ecosystems. His research methodology combines static and dynamic analysis techniques with empirical studies of real-world software systems, particularly focusing on Java, Python, and Solidity ecosystems. His recent work has made significant contributions to understanding security vulnerabilities in modern software development practices and infrastructure management. Dr. Mitropoulos has received numerous prestigious awards for his research contributions, including the Research Excellence Award from NKUA (2025), Distinguished Paper and Artifact Awards at PLDI '22, Best Data Showcase Award at MSR 2018, and multiple postdoctoral research funding scholarships. His work on "Finding typing compiler bugs" was recognized with both Distinguished Paper and Artifact Awards at PLDI '22, highlighting the significance and reproducibility of his research. He has also received recognition for his service to the academic community, including a Certificate of Appreciation from ESEC/FSE '21 for his contributions to conference organization. Dr. Mitropoulos has been actively involved in securing research funding and leading significant research projects. He currently serves as Principal Investigator for the SecOPERA project (2023-Today), funded by the European Commission under Horizon Europe. Previously, he contributed to several major EU and US-funded projects including eSSIF-Lab (2019-2022), FASTEN (2019-2022), PRIViLEDGE (2018-2021), CERTCOOP (2017-2020), PANORAMIX (2016-2019), and TREDISEC (2016-2018). His research has been supported by diverse funding sources including the European Commission's Horizon 2020 program, the National Science Foundation, and the Defense Advanced Research Projects Agency (DARPA). Dr. Mitropoulos plays an active role in the international research community through various leadership positions. He serves on program committees for top-tier conferences including OOPSLA (2026), ICSE (2026), ESEC/FSE (2025), and ISSTA (2025). He has previously served as Workshop Co-Chair for ISSTA 2025 and Student Volunteer Chair for ESEC/FSE 2021. His contributions to mentoring the next generation of researchers include serving as a mentor for the ICSE Student Mentoring Workshop (2022) and supervising Google Summer of Code projects (2017).
Timothy M. Jones is a Professor of Computer Architecture and Compilation at the University of Cambridge Computer Laboratory, where he leads research in systems-level computing. He is also a Fellow at Gonville and Caius College, contributing to academic leadership and student mentorship within the collegiate system. His primary affiliation with the Computer Laboratory positions him at the forefront of systems research within the university. Dr. Jones's research focuses on extracting various forms of parallelism (thread-level, data-level, memory-level) to enhance computational performance while addressing energy efficiency and reliability challenges. His work spans compiler design, binary translation, and microarchitecture optimization, with specific interest areas including: Compiler technologies for functional and parallel programming Hardware reliability and fault tolerance mechanisms Binary analysis and instrumentation frameworks Memory system optimization and virtual memory management Security enhancements through binary modification Runtime systems for heterogeneous architectures Analysis of his recent publications reveals strong emphasis on systems-level innovation, particularly in fault tolerance techniques, binary analysis tools, memory optimization, and parallel execution frameworks. His work consistently bridges theoretical computer science with practical hardware implementation challenges. Dr. Jones maintains active participation in the academic community through conference leadership roles, including serving as Program Co-Chair for CGO 2026 and committee positions at premier venues including ISMM, CGO, and ECOOP. He contributes to open-source academic resources through GitHub and maintains professional engagement via Twitter.
Theodora Varvarigou is a Professor in the Department of Electrical and Computer Engineering at the National Technical University of Athens (NTUA). She holds a B.Eng. from NTUA and M.Eng. and Ph.D. degrees from Stanford University. Her career includes research at AT&T Bell Labs and roles at the Technical University of Crete. From 2008-2012, she served as director of NTUA's 'Technoeconomic Systems' postgraduate program. Her research focuses on Cloud Computing, Multimedia Content Processing, Social Networking Technologies, and emerging areas like blockchain, edge computing, and cybersecurity. She has published over 200 papers and led numerous European research projects, emphasizing scalable systems, data management, and smart infrastructure applications. Her work spans technical innovations such as intrusion detection systems, edge resource optimization, and blockchain-based solutions for IoT, healthcare, and smart cities. Recent publications highlight advancements in AI-driven resource allocation, privacy-preserving blockchain designs, and predictive analytics for edge computing environments. Professor Varvarigou has contributed to interdisciplinary initiatives, including cohort data harmonization in biomedical research and social media analytics for urban planning. Her teaching includes courses on digital systems, network programming, and fault-tolerant systems.
Matthias Bucher is a Professor at the Department of Electronics and Computer Engineering, Technical University of Crete. He specializes in analog/RF integrated circuits design, MOSFET compact modeling, and device characterization. His research focuses on nanoscale CMOS, wide-band semiconductor devices, and high-voltage MOSFETs. He leads the Electronics Laboratory and teaches courses such as Electronics II and CMOS Analog IC Design. Education: Ph.D. in Electrical Engineering, Swiss Federal Institute of Technology (EPFL), 1999 M.S. in Electrical Engineering, Swiss Federal Institute of Technology, 1993 Research Interests: Prof. Bucher’s work emphasizes charge-based compact models (e.g., EKV3), RF device modeling, and noise analysis in MOSFETs/JFETs. His contributions include open-source tools for Verilog-A modeling and parameter extraction methodologies for advanced CMOS technologies. Labs/Teams: He directs the Electronics Laboratory , focusing on nanoelectronics and high-reliability circuits. His team collaborates on semiconductor device modeling for aerospace and industrial applications. Grants/Awards: While not explicitly listed, his extensive publication record and leadership in open-source projects indicate sustained recognition in semiconductor research communities.
Kyprianos Papadimitriou is a Researcher at the Microprocessor and Hardware Laboratory within the School of Electrical and Computer Engineering at the Technical University of Crete . He holds a PhD in Electronic and Computer Engineering (2012) and has been involved in teaching laboratory courses such as Logic Design , Computer Architecture , and VLSI/ASIC Circuit Design . Research Areas : His work spans Reconfigurable Systems , Hardware Design , Computer Architecture , RFID Systems , and Real-Time Systems . He has developed innovative approaches in FPGA-based dynamic reconfiguration, MPSoC security, and 3D stereo vision for surveillance. Key Trends : Runtime reconfiguration for FPGAs Security frameworks for NoC-based MPSoCs Low-cost embedded vision systems Optimization of reconfiguration overhead Hardware task scheduling methodologies Genetic algorithm implementations on FPGAs Scientific Contributions : 1 USA patent (2005) Co-author of VLSI-SoC 2013 paper nominated for 1st Prize Active member of scientific committees (FPL, ReConFig) Peer reviewer for IEEE, Elsevier, and Springer journals Session chair at IEEE CNS and HPCC conferences Grants & Projects : Participated in competitive European and national programs, serving as scientific manager, coordinator, and technical coordinator. Developed spin-off company (2003-2005) to commercialize master's thesis research. Laboratory & Teaching : Affiliated with the Microprocessor and Hardware Laboratory , focusing on practical training in digital systems, processor-based systems, and VLSI design.
Manos Kapritsos is an Associate Professor in the Department of Computer Science and Engineering at the University of Michigan's College of Engineering. He leads the GLaDOS research group focusing on reliability of distributed systems through formal verification and fault-tolerant replication techniques. His research spans: Formal verification of concurrent and distributed systems Fault-tolerant replication protocols beyond client-server models Automation of verification processes for complex systems Performance verification including latency properties Reliable cryptographic code implementation Analysis of his publications reveals strong emphasis on: developing automated verification tools (Armada, Vale, IronFleet), creating novel replication protocols (Aegean), verifying performance characteristics (Performal), and improving specification reliability (IronSpec). His work consistently bridges theoretical formal methods with practical systems implementation. Awards and honors include: Jay Lepreau Best Paper Award at OSDI 2025 Jon R. and Beverly S. Holt Award for Excellence in Teaching (2022) NSF CAREER Award (2021) Distinguished Paper Award at PLDI 2020 Google Faculty Award (2017) Distinguished Paper Award at USENIX Security 2017 Grant support includes NSF FMitF grants (2020, 2023), NSF Large grant (2021), DARPA grant (2020), and Google Faculty Award (2017). He advises PhD students through the GLaDOS group, focusing on distributed systems verification. He directs the GLaDOS lab at University of Michigan, developing verification frameworks and reliable distributed systems. Current projects include automated proof generation (Basilisk) and efficient communication protocols (Scrooge).
Emmanouel (Manos) Varvarigos is a Professor at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), where he leads the High Speed Communication Networks Laboratory. He holds a Diploma from NTUA (1988) and an M.S./Ph.D. from MIT (1990/1992). Prior roles include Professorships at UC Santa Barbara (1992-1998) and Delft University (1998-1999), and leadership at the University of Patras (1999-2015). He has coordinated over 30 EU research projects, including H2020 initiatives like ORCHESTRA and FLEXGRID. His research focuses on optical networking, cloud computing, smart energy grids, and high-speed network protocols. He has published over 450 papers and serves on numerous conference committees. Awards include the NSF Research Initiation Award. His lab employs 5 postdocs and 10+ PhD students, addressing challenges in networking, data centers, and grid computing. Education: Ph.D., Electrical Engineering and Computer Science, MIT, 1992 M.S., Electrical Engineering and Computer Science, MIT, 1990 Diploma in Electrical and Computer Engineering, NTUA, 1988 Research Interests: Optical networking, high-speed network protocols, data center architectures, cloud computing, smart energy grids, wireless networks, and distributed systems. Grants & Projects: Coordinated 7 EU projects (e.g., FLEXGRID, ORCHESTRA) and participated in 35+ others. National projects include roles as Scientific Director of the Greek School Network and CTI’s Network Technologies Division. Labs & Teams: Directs the High Speed Communication Networks Lab (HSCNL), collaborating with global institutions on optical networks, edge cloud, and smart grids. The lab’s work includes EU-funded projects on 5G, data centers, and renewable energy integration.
Pavlos S. Georgilakis is a Professor at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), specializing in modern techniques for power system analysis, optimization, and renewable energy integration. He holds a Diploma (1990) and PhD (2000) in Electrical Engineering from NTUA. His career includes roles as Lecturer (2009) and Associate Professor (2018–2023) at NTUA, and Assistant Professor at the Technical University of Crete (2004–2009). Research focuses on power transmission/distribution systems, transformer design, and applying AI/optimization for grid efficiency. He led 10 research projects, including Horizon 2020 initiatives SHAR-Q, WiseGRID, and NobelGrid. He authored 3 books and over 230 publications (SCOPUS citations: >5,500). Editor of IET Smart Grid, Energies, and Electricity journals; senior IEEE member. He supervised 4 doctoral, 9 master’s, and 76 diploma theses. Awards include the 2013 Best Reviewer Award from Electric Power Systems Research. Active in energy storage, smart grids, and decentralized energy resource integration.
Eleni Stai is an Assistant Professor at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), affiliated with the Division of Communication, Electronic and Information Engineering. She holds advanced degrees in Electrical Engineering, Mathematics, and Applied Mathematical Sciences from NTUA and the National and Kapodistrian University of Athens. Her academic credentials include: Diploma in Electrical and Computer Engineering, NTUA (2009) B.Sc. in Mathematics, National and Kapodistrian University of Athens (2013) M.Sc. in Applied Mathematical Sciences, NTUA (2014) Ph.D. in Electrical Engineering, NTUA (2015) Dr. Stai's research integrates advanced optimization techniques with communications networks and energy systems. She develops stochastic and deterministic optimization frameworks for network resource allocation, data analytics on complex topologies, and smart-grid control applications. Her work bridges theoretical foundations with practical implementations in energy-harvesting networks, network slicing, and reinforcement learning for distributed systems. Analysis of her recent publications reveals dominant research thrusts in AI-driven network management (particularly O-RAN and network slicing), energy-integrated communications, and optimization of energy communities. A significant portion of her work addresses the convergence of 5G/6G networking with power systems, emphasizing real-time control and sustainability. Her scientific contributions have been recognized through prestigious awards: Chorafas Foundation Best Ph.D. Thesis award Thomaidis Foundation Best M.Sc. Thesis award Best Paper Award at ICT 2016 Best Presenter Award at IEEE ENERGYCON 2022 Dr. Stai serves on technical program committees for major international conferences and has co-authored the book "Evolutionary Dynamics of Complex Communications Networks". She teaches undergraduate courses in Queuing Systems, Computer Networks, and Social Network Analysis, reflecting her expertise in network theory and applications. Her research trajectory demonstrates continuous evolution from fundamental network optimization to AI-enhanced solutions for next-generation communication-energy systems. Her work builds upon her postdoctoral experience at EPFL (2016-2020) and ETH Zurich (2020-2023), where she developed advanced frameworks for communications networks and energy systems.
Scott Mahlke is a Professor and Associate Chair in the Electrical Engineering and Computer Science Department at the University of Michigan. He is affiliated with the Advanced Computer Architecture Laboratory and the Software Systems Laboratory, where he leads the Compilers Creating Custom Processors (CCCP) research group. His research focuses on compilers, computer architecture, and high-level synthesis, with particular emphasis on designing next-generation computer systems that overcome challenges in performance, power consumption, and reliability. His work bridges the gap between hardware and software through innovative compiler technology that enables customized processors and accelerators. Mahlke's publications demonstrate a strong focus on compiler techniques for exploiting instruction-level parallelism, memory system optimization, and application-specific processor design. His research spans from fundamental compiler algorithms to practical implementations in both general-purpose and embedded systems. National Science Foundation CAREER Award (2003) Morris Wellman Faculty Development Assistant Professor (2004) 2006 ISCA Most Influential Paper Award Multiple best paper awards at major architecture conferences As an advisor, Mahlke has chaired numerous Ph.D. dissertations and actively mentors graduate students in the CCCP group. His research is generously funded by the National Science Foundation, Gigascale Systems Research Center, ARM Ltd., Samsung Advanced Institute of Technology, and other major organizations. The CCCP group maintains strong industry partnerships that facilitate the transfer of research innovations to practical applications.
Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA). He served as the Computer Science Department Chair from 2022-2025 and is also an Amazon Scholar. His research focuses on making software systems more reliable through programming languages techniques, with significant contributions to network verification and probabilistic programming. Millstein received his Ph.D. from the University of Washington Department of Computer Science, where he was a member of the Cecil group led by Craig Chambers. Prior to that, he completed his undergraduate studies at Brown University under the guidance of Paris Kanellakis and Pascal Van Hentenryck. Millstein's research spans several areas of programming languages and systems with a focus on reliability. He has made significant contributions to network verification, developing the Batfish network configuration analyzer which is now managed by Amazon Web Services and forms the basis of Oracle Cloud's Network Path Analyzer. His work has been recognized with the ACM SIGCOMM Networking Systems Award in 2025. He also works on interactive program verification through lemma synthesis and scalable reasoning methods for probabilistic programming languages. His research bridges programming languages theory with practical systems challenges, as highlighted in his SPLASH/OOPSLA 2024 keynote "Everything is a Program (even if it's not)". Millstein's recent publications demonstrate a consistent focus on verification and reliability across multiple domains. His work shows a progression from foundational programming language techniques to practical applications in networking and probabilistic systems. Key themes include data-driven approaches to program analysis, synthesis of verification artifacts, and applying programming languages techniques to non-traditional domains like network configuration. Millstein's scientific achievements have been recognized with numerous prestigious awards including an NSF CAREER Award, an ACM SIGPLAN Most Influential PLDI Paper Award, an ACM SIGCOMM Networking Systems Award, IEEE Micro Top Picks selection, best-paper awards from PLDI, OOPSLA, and SIGCOMM, a Microsoft Research Outstanding Collaborator Award, an Okawa Foundation Research Grant, an IBM Faculty Award, and a Facebook Research Award. He has also received both the Northrop Grumman Excellence in Teaching Award (for junior faculty) and the Eon Instrumentation Inc. Excellence in Teaching Award (for senior faculty) from UCLA Engineering. Millstein advises several Ph.D. students including Ana Brendel, Poorva Garg (co-advised with Guy Van den Broeck), Rajdeep Mondal (co-advised with George Varghese), and Rathin Singha (co-advised with George Varghese). His research has been supported by various grants including an NSF CAREER Award, Okawa Foundation Research Grant, IBM Faculty Award, and Facebook Research Award. He has also been a Co-Founder and Chief Scientist of Intentionet, which was later acquired by Amazon Web Services. Millstein is actively involved in the Batfish project, an open-source network configuration analyzer that has had significant practical impact. Batfish is now managed by AWS, powers Oracle Cloud's Network Path Analyzer, and is used by dozens of companies. His research group continues to work on network reliability, developing techniques for scalable BGP policy verification and behavioral testing of protocol implementations.
Maria Virvou serves as Professor and Chair of the Department of Informatics at the University of Piraeus, where she also directs the Graduate Program in Informatics and leads the Research Laboratory 'Software Technology'. She holds significant institutional leadership roles including membership in the University Senate and has chaired the Department of Informatics for multiple terms. As Editor-in-Chief of Springer book series 'Learning and Analytics in Intelligent Systems' and 'Artificial Intelligence-Enhanced Software and Systems Engineering', she maintains substantial academic influence across international scholarly platforms. Dr. Virvou earned her PhD in Computer Science and Artificial Intelligence from the University of Sussex with a scholarship from the State Scholarships Foundation, a Master of Science in Computer Science from University College London, and her undergraduate degree from the Department of Mathematics at the National and Kapodistrian University of Athens. Her educational background in both mathematics and computer science has provided a strong foundation for her interdisciplinary research approach. Professor Virvou's research spans Software Technology, Artificial Intelligence, Educational Software and Games, User Modeling, and Human-Computer Interaction. She has pioneered work in personalized interactive software systems, applying fuzzy logic and machine learning techniques to create adaptive educational environments. Her recent work demonstrates a strategic expansion into AI applications for healthcare, with significant contributions to medical diagnostics using large language models and multimodal AI systems. She has also made notable advances in smart tourism applications through personalization techniques. With over 400 publications to her name, Professor Virvou's scholarly output shows a clear progression from foundational work in user modeling toward increasingly sophisticated AI applications across multiple domains. Her publication trends reveal a strategic focus on explainable AI, multimodal systems, and practical implementations that bridge theoretical advances with real-world applications, particularly in healthcare and education sectors. Ranked #1 worldwide in 'User Modelling' publications (147,450 total publications) according to Scopus Ranked #1 worldwide in 'Educational Software' publications according to both Scopus and Microsoft Academic Search Recognized among the top 2% of most influential Artificial Intelligence scientists worldwide by Stanford University General Co-Chair at the 14th IISA Conference 2023 Invited Keynote Speaker at the 35th IEEE International Conference on Software Engineering Education and Training (CSEE&T 2023) As Director of the Research Laboratory 'Software Technology', Professor Virvou has built a robust research team focused on AI applications across multiple domains. She co-founded and co-chairs the IEEE Intelligent Information Systems and Applications international conference series, creating a significant platform for scholarly exchange. Her leadership extends to editorial roles with major academic publishers and active participation in international research collaborations that have secured substantial funding for innovative projects in AI and software engineering.
Fei He is an Associate Professor at Tsinghua University's School of Software, where he leads the THUFV research lab focused on formal verification and program analysis. His research spans formal methods, automated reasoning, and program verification, with applications in concurrent systems, networking (P4 programs), and probabilistic systems. Education & Employment: PhD from Tsinghua University (2008) Visiting Scholar at Carnegie Mellon University (2010-2011) and Politecnico di Milano (2006-2007) Faculty positions at Tsinghua since 2008 (Assistant Professor 2008-2011, Associate Professor 2011-present) Research: He's developed innovative techniques in SMT solving for concurrency verification, termination analysis, and regression verification. His tools like Deagle have won gold medals at SV-COMP. Current work focuses on probabilistic program verification and network program analysis. Publications: His 80+ publications demonstrate consistent contributions across formal methods (PLDI, OOPSLA, ICSE), networking (NSDI, INFOCOM), and software engineering (TSE, TOSEM), with recent emphasis on data-driven verification and automated invariant inference. Awards: Gold Medals in SV-COMP ConcurrencySafety (2022, 2023, 2025) Best Paper Awards at PPoPP 2022 and SETTA 2022 Advising: Mentors 13 PhD/Master's students in THUFV lab, with graduates joining Huawei, MPI-SP, and research institutions. Secured multiple NSF China grants for trustworthy software research. Service: Associate Editor for Theory of Computing Systems, program committees for PLDI/ICSE/OOPSLA, and former Local Chair for ISSTA 2019.
