Find Academic Supervisors

• Optical Networking
• High-Speed Networks
• Data Center Technologies
• +6 more

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.

George VasilakopoulosView profile

Professor

• Health Informatics
• Cloud Computing
• Emergency Healthcare Systems
• +4 more

George Vasilakopoulos is a Professor in the Department of Digital Systems at the University of Piraeus , where he also serves as Vice-Chancellor for Academic Affairs and Personnel. By law, he is President of the Quality Assurance Unit (MODIP) and the Employment and Career Structure (DASTA) of the university, overseeing the development of modern information systems. He earned his PhD from the University of London and has held leadership roles including Department President, Director of Postgraduate Programs, and Scientific Director of the Digital Health Services Laboratory. PhD: University of London Current Roles: Vice-Chancellor, Department of Digital Systems Professor Labs: Digital Health Services Laboratory His research focuses on Health Informatics , Cloud Computing , and Medical Data Security , with key contributions to: Emergency healthcare process automation Privacy-preserving personal health record systems Context-aware authorization models Cloud-based medical service frameworks Machine learning in clinical data analysis Interoperable health information systems The trends in his 15 most recent articles (2010-2015) reveal a consistent emphasis on integrating cloud infrastructure , semantic technologies , and mobile platforms to enhance emergency care, chronic disease management, and patient data security. His work bridges biomedical engineering , software architecture , and public health policy . He has held advisory roles for the Minister of Health on IT issues, served on hospital boards, and contributed to national committees for healthcare technology standards. His professional activities include project evaluation for Greek and European research programs and authoring three books on health informatics.

Ioanna KantzavelouView profile

Associate Professor

• Cybersecurity
• Intrusion Detection
• Game Theoretic Approaches
• +7 more

Dr. Ioanna Kantzavelou is an Associate Professor at the Department of Informatics and Computer Engineering, School of Engineering, University of West Attica. She leads the INSSec Research Group, focusing on Information, Networks, and Systems Security. Her expertise spans Cybersecurity, Game Theoretic approaches in Intrusion Detection, and Critical Infrastructure Protection. She holds a Ph.D. from the University of the Aegean (2011), an M.Sc. from University College Dublin (1994), and a B.Sc. from the Technological Educational Institution of Athens (1991). Education: Ph.D. in Intrusion Detection with Game Theoretic Approaches – University of the Aegean (2011) M.Sc. in Computer Security – University College Dublin (1994) B.Sc. in Informatics – TEI of Athens (1991) Research Interests: Intrusion Detection in IoT/Wireless Sensor Networks (WSN) and Cyber-Physical Systems Cyber Ranges for Education and Research Cybersecurity for Merchant Shipping and Critical Infrastructures Hybrid Threats, Cyberterrorism, and Cyberwarfare Digital Forensics and Blockchain-Based Authentication Systems Her work includes over 30 peer-reviewed publications, three books, and contributions to R&D projects funded by the Greek government, EU, and Irish government. She actively reviews for IEEE, Elsevier, and Springer journals, and is a member of ACM, IEEE Computer Society, and the Greek Computer Society. Grants & Collaborations: EU-funded projects on Cybersecurity and Critical Infrastructure Protection Greek government grants for Cyber Ranges and IoT Security Labs/Teams: Head of the INSSec Research Group, collaborating with industry partners on Cybersecurity solutions for maritime and industrial sectors.

Christos MakrisView profile

Associate Professor

• Data Structures
• Information Retrieval
• Data Mining
• +5 more

Christos Makris is an Associate Professor in the Department of Computer Engineering and Informatics at the University of Patras, Greece. His academic career spans over two decades with significant contributions to computer science, particularly in data structures, algorithms, and information systems. He maintains active research collaborations and supervises graduate students in his areas of expertise. Dr. Makris's research spans several key areas in computer science with a strong focus on efficient data organization and processing. His work encompasses Data Structures , Information Retrieval , Data Mining , String Management and Processing Algorithms , Computational Geometry , Internet Technologies , Bioinformatics , and Multimedia Databases . His interdisciplinary approach bridges theoretical computer science with practical applications across various domains including web technologies, bioinformatics, and emergency response systems. Analysis of Dr. Makris's publication record reveals a consistent research trajectory focused on efficient algorithms for information management. His work demonstrates evolution from foundational data structure research in the 1990s to more applied work in web technologies, social media analysis, and machine learning applications in recent years. A notable pattern is his ability to adapt core algorithmic techniques to emerging application domains while maintaining theoretical rigor. Dr. Makris maintains an impressive scholarly record with over 3,000 citations, an h-index of 29, and an i10-index of 71 according to Google Scholar metrics. These indicators reflect the significant impact of his research within the computer science community. As an active faculty member, Dr. Makris maintains regular office hours on Tuesdays from 18:00-20:00 and Thursdays from 12:00-14:00. He is accessible via email at makri@ceid.upatras.gr or makri@upatras.gr for academic inquiries and student supervision.

• Power Systems
• Electrical Engineering
• Renewable Energy Integration
• +6 more

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.

Athanasios LiavasView profile

Professor

• Signal Processing for Telecommunications
• Information Theory
• Tensor Decomposition
• +3 more

Athanasios Liavas is a Professor at the Technical University of Crete in the School of Electrical and Computer Engineering , specializing in Signal Processing for Telecommunications and Information Theory . He has held administrative roles as Department Chair (2009-2011), Vice Chair (2011-2013), and Dean of the ECE School (2017-2021). Education: Diploma (1989) and PhD (1993) in Computer Engineering and Informatics from the University of Patras. Professional Background: Postdoctoral Marie Curie Fellow at INT, Evry (1996-1998); Lecturer at University of Ioannina (1999-2001); Assistant/Associate Professor at University of the Aegean (2001-2004) and Technical University of Crete (2004-present). His research focuses on Signal Processing for Telecommunications , Information Theory , and Tensor Decomposition . Recent work involves nonnegative tensor factorization , parallel algorithms , and fMRI data analysis , with applications in wireless communications and medical imaging . Articles show trends in optimization algorithms , LDPC code design , and MIMO system robustness . Scientific Awards include: Marie Curie Fellowship (1996-1998) Associate Editor, IEEE Transactions on Signal Processing (2005-2009) Elected Member, IEEE Signal Processing for Communications and Networking Technical Committee (2006-2011) He has taught courses like Telecommunications Systems II , Wireless Communications , and Information Theory , and supervised students such as Despoina Tsipouridou (PhD) and Alex Balatsoukas-Stimming (Graduate). He leads projects like Partensor (Parallel Tensor Toolbox) and COOPCOM (Cooperative Communications), and contributes to labs including the Telecommunications Laboratory .

• Bayesian Statistics
• Computational Statistics
• Categorical Data Analysis
• +6 more

Ntzoufras Ioannis is a Professor in the Department of Statistics at the Athens University of Economics and Business (AUEB), School of Information Sciences and Technology, where he has served continuously since 2004 (promoted to Professor in 2015). Previously, he held teaching positions at the University of the Aegean (2000-2004) and completed military service (1999-2000). Education B.Sc. in Statistics and Insurance Science (1994) M.Sc. in Statistics with Application in Medicine, University of Southampton (1995, with distinction) Ph.D. in Statistics, Athens University of Economics and Business (1999) Research Focus His work centers on Bayesian and computational statistics , specializing in categorical data analysis, statistical modeling, and variable selection methodology. He develops sophisticated models for applications in medical research (clinical trials, risk estimation), psychometrics (latent variable models), and sports analytics (football/basketball modeling), with emphasis on computational efficiency and real-world implementation. Publication Trends Recent publications (2023-2025) reveal three dominant trends: (1) Advanced Bayesian variable selection methods for high-dimensional data, (2) Sports analytics applications in football (goal modeling, competitive balance) and basketball (in-play performance), and (3) Development of specialized R packages (ssifs, PEPBVS) for statistical computation. His work consistently bridges theoretical innovation with practical domain applications. Scientific Awards Lefkopouleion Prize for Greece's best statistics thesis (1999-2000) PROSE Award Honorable Mention for 'Bayesian Modeling Using WinBUGS' (2010) Academic Leadership He has supervised graduate students across AUEB's Statistics, Business Analytics, and Data Science programs, and taught postgraduate courses at the University of Athens (Biostatistics), University of the Aegean (Business Administration), and Italian institutions (University of Pavia, Universita Cattolica, University of Bicocca-Milan). As General Secretary of the Greek Statistical Institute (2006-2007), he advanced national statistical initiatives. Research Community He founded and maintains grstats (http://grstats.forumotion.net/), Greece's primary online statistics community, facilitating collaboration among 1,200+ statisticians and data scientists through forums, workshops, and resource sharing.

• Computational Complexity
• Graph Algorithms
• Distributed Algorithms
• +6 more

Aris T. Pagourtzis is a Professor of Computer Science at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), where he also serves as the Head of the Computer Science Division. He is additionally a Lead Researcher at the Archimedes Research Center, Athena RC. His academic career includes positions at the University of Ioannina, the University of Liverpool, the ETH Zuerich, the University of Athens, and the Athens University of Economics and Business. Education: Diploma in Electrical Engineering (1989) and Ph.D. in Electrical and Computer Engineering (1999), both from the National Technical University of Athens Professor Pagourtzis's research spans multiple areas of theoretical computer science, with particular emphasis on computational complexity, graph algorithms, distributed algorithms, approximation algorithms, network algorithms, cryptography, and counting complexity. His work often bridges theoretical foundations with practical applications in network design, security protocols, and optimization problems. He has developed novel algorithms for problems ranging from community detection in networks to Byzantine fault-tolerant protocols and privacy-preserving voting systems. His recent publications show a continued focus on fundamental algorithmic problems while expanding into newer areas like temporal graph analysis, blockchain applications, and privacy-preserving technologies. There's a clear trend toward addressing real-world challenges through rigorous theoretical frameworks, particularly in distributed systems, secure computation, and optimization under constraints. Professor Pagourtzis has served on program and organizing committees for numerous theoretical computer science and cryptography conferences, co-chairing CIAC 2017 and FCT 2021. His research has received funding from diverse sources including US, UK, French, EU, and Greek national resources. He is actively involved in teaching both undergraduate and graduate courses at NTUA, including Algorithms and Complexity, Foundations of Computer Science, Computational Cryptography, and Network Algorithms and Complexity. He leads the Computation and Reasoning Laboratory (corelab) at NTUA, which focuses on theoretical computer science research.

Eleni StaiView profile

Assistant Professor

• Optimization
• Communications Networks
• Data Analytics
• +4 more

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.

• Compilers
• Computer Architecture
• High-level Synthesis
• +5 more

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 MillsteinView profile

Professor

• Network Verification
• Programming Languages
• Probabilistic Programming
• +3 more

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.

George VourosView profile

Professor

• Artificial Intelligence
• Multi-Agent Systems
• Reinforcement Learning
• +7 more

George Vouros is a Professor in the Department of Digital Systems at the University of Piraeus, Greece. He is the head of the AI Lab (http://ai-group.ds.unipi.gr/ai-group/) and director of the MSc in Artificial Intelligence program in collaboration with the Institute of Informatics and Telecommunications at NCSR Demokritos. He completed his BSc in Mathematics (1986) and PhD in Artificial Intelligence (1992) at the University of Athens. His research focuses on Expert Systems, Knowledge Management, Multi-Agent Systems, Reinforcement Learning, and Mobility Analytics. He has served as program chair and committee member for major conferences (AAMAS, AAAI, IJCAI) and editorial roles in journals like Discover Artificial Intelligence (Springer Nature) and Information (MDPI). He has supervised 13 PhD students and currently oversees 4. His work spans EU-funded projects and national initiatives, emphasizing scalable mobility analytics, air traffic management automation, and ontology engineering. He is also President of the Hellenic A.I. Society and actively promotes interdisciplinary applications of AI in healthcare, transportation, and environmental monitoring. Recent research highlights include deep reinforcement learning for tactical air traffic conflict resolution, LLM-integrated ontology engineering, and multimodal generative adversarial imitation learning for flight trajectory modeling. His work bridges theoretical advancements with real-world applications in critical infrastructure systems.

Rentizelas AthanasiosView profile

Associate Professor

• Sustainable Supply Chains
• Circular Economy
• Reverse Supply Chain Design
• +7 more

Rentizelas Athanasios is an Associate Professor of Sustainable Supply Chains at the National Technical University of Athens (NTUA), School of Mechanical Engineering. He specializes in circular economy, reverse logistics, and digitally enabled supply chains. His research focuses on optimizing multi-tier supply chain sustainability through decision support systems and environmental performance metrics. Education: PhD (2007), National Technical University of Athens MSc in Operations Management (2002), UMIST, Manchester, UK Bachelor + MSc equivalent in Mechanical Engineering (2001), NTUA Research Interests: Dr. Rentizelas explores circular economy pathways in industries like wind energy and agriculture, emphasizing reverse supply networks, eco-intensity metrics, and biomass valorization. He develops frameworks for sustainable ship energy systems and IP management in additive manufacturing supply chains. Awards: 2017 Web of Science 'Highly Cited Paper' (top 1% in Engineering) 2015 Teaching Excellence Award (University of Strathclyde) Thomaidio Foundation Award (2007) for advancing science Professional Activities: He serves on the editorial board of the International Journal of Collaborative Engineering and chairs the EURO Working Group on Sustainable Supply Chains. Current roles include membership in NTUA's School of Mechanical Engineering General Assembly. Key Contributions: His work bridges academia and industry via optimization models for biofuel supply chains, waste management systems, and policy analysis for carbon pricing impacts on maritime energy systems.

Laxman DhulipalaView profile

Assistant Professor

• Parallel Algorithms
• Graph Processing
• Parallel Graph Algorithms
• +7 more

Laxman Dhulipala serves as an Assistant Professor in the Department of Computer Science at the University of Maryland, College Park, while also working as a research scientist at Google Research with the Graph Mining team. Dr. Dhulipala earned his Ph.D. from Carnegie Mellon University under Guy Blelloch's supervision and completed a postdoctoral fellowship at MIT with Julian Shun. His research centers on efficient parallel algorithms, particularly for parallel clustering and graph processing, along with developing computational models for emerging hardware technologies. His scholarly output demonstrates significant expertise across parallel computing domains, with particular emphasis on scalable graph algorithms, dynamic data structures, and computational geometry. Dr. Dhulipala's work bridges theoretical computer science with practical systems implementation, producing algorithms that achieve both theoretical optimality and real-world performance. His research group has made substantial contributions to benchmarking frameworks including the Graph Based Benchmark Suite (GBBS) and ParClusterers Benchmark Suite, establishing standardized evaluation methods for graph processing systems. The collective work shows progression from theoretical foundations to practical implementations that handle massive-scale datasets. Best Paper Award at SPAA 2022 Best Paper Runner Up at VLDB 2022 Distinguished Paper Award at PLDI 2019 Memorable Paper Award Finalist at NVMW'20 CMU's SCS Dissertation Award Honorable Mention As an educator, Dr. Dhulipala mentors numerous graduate students while teaching advanced courses in algorithm design and parallel computing. His research collaborations span multiple institutions including Carnegie Mellon University, MIT, and Google Research, reflecting his position at the intersection of academia and industry research.

Fei HeView profile

Associate Professor

• formal methods
• program analysis
• automated reasoning
• +2 more

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.