Find Academic Supervisors

• Signal Processing
• Computer Vision
• Robotics
• +5 more

Petros Maragos is a Professor at the National Technical University of Athens (NTUA) in the School of Electrical and Computer Engineering, where he directs the Division of Signals, Control and Robotics. He founded the Computer Vision, Speech Communication & Signal Processing Lab (1999) and the Hellenic Robotics Center of Excellence (2025). His research spans signal processing, computer vision, robotics, and machine learning, with 450+ publications and leadership in 50+ EU/Greek/US projects. Education includes a Dipl.Ing. from NTUA (1980), M.Sc./Ph.D. from Georgia Tech (1982/1985), and faculty positions at Harvard University (1985-1993) and Georgia Tech (1993-1998). Research Focus: Multimodal perception, nonlinear systems, assistive robotics, and deep learning. Recent work integrates tropical geometry with neural networks, robotic healthcare applications, and sign language technologies. Articles emphasize neural architectures, real-world robotics, and AI for social good. Awards: IEEE Fellow (1995), EURASIP Fellow (2010) IEEE W.R.G. Baker Prize (1995) NSF Presidential Young Investigator Award (1987-1992) CVPR/PETRA Best Paper Awards (2022-2025) Advising & Grants: Supervised 30+ PhDs and 130+ Master's students. Secured funding from EU Horizon 2020, NSF, and Greek national programs for projects like i-Walk (robotic mobility) and e-Prevention (mental health monitoring). Labs: Leads NTUA's Intelligent Robotics Lab and co-founded the Robotics Institute at Athena Research Center, focusing on human-robot interaction and perception systems.

• Deep Learning
• Multimodal AI
• Explainable AI
• +6 more

Giorgos Stamou is a Professor at the School of Electrical and Computer Engineering, National Technical University of Athens (NTUA), and a Visiting Professor at the MIT Sloan School of Management and MIT Open Learning. He directs the Artificial Intelligence and Machine Learning Systems Laboratory (AILS Lab) and has been a senior researcher at the Institute of Communications and Computer Systems (2000-2008) and an academic visitor at Oxford University (2011-2012). His research spans Deep Learning , Explainable AI , and Knowledge Representation , with a focus on Large Language Models and Multimodal Learning . He has coordinated over 60 funded projects and published 150+ papers. Recent work highlights trends in LLM Evaluation , Gender Bias Mitigation , and Multimodal Music Analysis , reflecting his interdisciplinary approach to AI challenges. Stamou has served on steering committees for W3C working groups (Rule Interchange Format, Web Ontology Language) and contributed to cultural heritage metadata enrichment through the CrowdHeritage projects. He founded NTUA's MSc program in Data Science and Machine Learning (2018-2022) and has organized conference tracks on riddle-solving frameworks and hallucination detection.

• Distributed Computing
• Concurrent Computing
• Transactional Memory
• +4 more

Rachid Guerraoui is a Moroccan-Swiss computer scientist and Full Professor in the School of Computer and Communication Sciences at EPFL. He is renowned for his significant contributions to distributed and concurrent computing, holding the prestigious Chair in Distributed Computing at the Collège de France (2018-19). As an ACM Fellow (2012) and recipient of the Dahl-Nygaard Senior Prize (2024), his work has shaped both theoretical foundations and practical implementations in distributed systems. Guerraoui earned simultaneous Master's degrees in Computer Engineering from École supérieure d'informatique électronique automatique (ESIEA) and in Computer Science from Pierre and Marie Curie University in 1989. He completed his PhD at Université d'Orsay in 1992 under the supervision of Christian Fluhr, with a dissertation titled "Programmation Répartie par Objets: Études et Propositions." Following postdoctoral research at EPFL, he joined the computer science faculty in 1999 after working at HP Labs and MIT. Guerraoui's research spans distributed computing, concurrent systems, transactional memory, and asynchronous algorithms. His work on establishing theoretical foundations of Transactional Memory, including the concept of opacity, has been highly influential. He has also made significant contributions to scalable information dissemination methods, asynchronous distributed computations, and the mathematical abstraction of indulgence. His research bridges theoretical rigor with practical implementations, as evidenced by systems like SwissTM and STMBench7. His publication record shows a clear evolution from theoretical foundations to practical implementations and broader applications. Early work focused on fundamental problems like consensus and renaming, while more recent publications address machine learning applications and public understanding of AI. The consistent thread throughout his career is a focus on making distributed systems more reliable, efficient, and accessible. Guerraoui has received numerous prestigious awards including: ACM Fellow (2012) ERC Advanced Grant Award (2013) Google Focused Award (2014) Middleware Best Paper Award (2014) Middleware 10-Years Best Paper Award Chair in Distributed Computing, Collège de France (2018-19) Dahl-Nygaard Senior Prize (2024) As an academic advisor, Guerraoui has mentored students including El Mahdi El Mahmdi, with whom he co-created the Wandida project - a collection of educational videos on computer science. His research has been supported by significant grants from the European Research Council and Google. Beyond research, Guerraoui actively participates in public discourse, particularly regarding computer science education and technology policy. Guerraoui leads the Distributed Computing Laboratory (DCL) at EPFL, which focuses on advancing the state of the art in distributed systems. The lab's work spans theoretical foundations, practical implementations, and educational outreach, reflecting Guerraoui's holistic approach to computer science research and education.

• Inorganic Chemistry
• Bioinorganic Chemistry
• Coordination Chemistry
• +5 more

Achilleas Garoufis is a full Professor in the Department of Chemistry at the University of Ioannina, where he has served since 2015 after progressing through academic ranks from Lecturer (2000) to Assistant Professor (2005) and Associate Professor (2010). His primary appointment resides within the Chemistry department with no explicit school affiliation mentioned in available materials. His research spans inorganic and bioinorganic chemistry with emphasis on metal-based anticancer agents. Garoufis' research program focuses on the design and characterization of platinum group metal complexes (particularly ruthenium, palladium, and platinum) conjugated to biomolecules. His work investigates DNA binding mechanisms using spectroscopic and bioanalytical techniques, with applications in photodynamic therapy and cytostatic drug development. Key methodologies include NMR, CD, LD spectroscopy, electrophoresis, and ESI-MS for studying metal-nucleic acid interactions. Analysis of his 15 most recent publications (2021-2025) reveals consistent focus on ruthenium and platinum anticancer complexes, DNA binding specificity, and photophysical properties of supramolecular structures. His work increasingly incorporates advanced structural characterization of metal complexes with DNA oligomers and explores novel scaffolds like cycloparaphenylene systems for enhanced cytotoxicity. Recent publications also demonstrate expansion into analytical applications of NMR for food chemistry, particularly olive oil authentication. Garoufis has authored several textbooks including Inorganic elements in the environment, life and technology (2005) and Inorganic Chemistry (1999), and has translated Cotton & Wilkinson's BASIC INORGANIC CHEMISTRY . His teaching portfolio covers undergraduate and graduate courses in Inorganic Chemistry, Bioinorganic Chemistry, Mass Spectrometry, and NMR Spectroscopy. His academic development includes undergraduate and doctoral studies at the University of Ioannina (BSc 1985, PhD 1989), followed by postdoctoral work at the University of Bergen (1993-1994), VUB Brussels (1994-1995), and Zhongshun University (1999). Current research continues to advance metal-based therapeutic strategies with emphasis on structure-activity relationships in DNA-targeting complexes.

• Chemical Dynamics
• Quantum Chemistry
• Computational Chemistry
• +6 more

Melissas Vassilios is an Assistant Professor at the Department of Chemistry, University of Ioannina. His research focuses on theoretical and computational chemistry, particularly in reaction kinetics, transition state theory, and quantum mechanical effects in chemical systems. Research Highlights: Development of dynamic energy functions via ab initio calculations for studying polymeric materials and reaction mechanisms. Application of Variational Transition State Theory with multidimensional tunneling corrections to atmospheric, combustion, and biochemical reactions. Investigation of tyrosine radical interactions with nitric oxide in enzyme systems, linking quantum mechanics to pathological diagnostics. Thermochemical studies of gas-phase reactions using computational methods. Publications & Software: He has contributed to POLYRATE 6.5, a reaction rate computation program, and published studies on CH3Br/OH atmospheric systems, CH3Cl/OH kinetics, and silicon-based polymer force fields.

Triantafyllos A. AlbanisView profile

Professor

• Environmental Chemistry
• Analytical Chemistry
• Pollution Control
• +5 more

Triantafyllos A. Albanis is a Professor and current Rector of the University of Ioannina (since 2018), with faculty appointment in the Department of Chemistry. He additionally serves as President of the Regional Council for Research and Innovation of Epirus and Director of the Institute of Environment and Sustainable Development at PEK Ioannina. His research centers on environmental chemistry and analytical methodologies for pollutant detection. Key focus areas include: development of chromatography-mass spectrometry techniques for toxic compounds in water/soil/food; assessment of micropollutant impacts; advanced remediation technologies (photocatalysis, adsorption, advanced oxidation); and green chemistry applications. His work bridges fundamental environmental processes with practical pollution control solutions. Professor Albanis maintains exceptional research productivity with 240 publications and over 12,000 citations (Scopus, 2020), reflecting significant field impact. Recent work (2017-2020) emphasizes pharmaceutical residues in water systems, pesticide monitoring in Greek rivers, and innovative photocatalytic treatment methods for emerging contaminants. Supervised 31 doctoral and 45 master's theses in Chemistry Active research program supported by institutional leadership roles International collaborations across European environmental projects Regular high-impact publications in environmental science journals His research group provides students with advanced analytical training and real-world environmental problem-solving opportunities, leveraging university laboratory resources and field study sites across Northwestern Greece.

Zarafonitou ChristinaView profile

Professor

• Criminology
• Urban Crime
• Victimization Surveys
• +7 more

Professor Zarafonitou Christina is a full-time Professor of Criminology at Panteion University's Department of Sociology within the School of Social Sciences. She directs the Postgraduate Program in Criminology and the Laboratory of Urban Criminology (EAstE). With a legal background from the National and Kapodistrian University of Athens and advanced criminology degrees from Université Paris II, she leads significant research in empirical criminology and crime policy. Her research expertise spans: Urban crime dynamics and incivilities Victimization surveys and fear of crime Reintegration pathways for ex-offenders Community policing models Social perceptions of criminal justice She maintains extensive policy engagement, having advised the Greek Ministries of Justice and Citizens Protection on prison reform, drug legislation, and local policing strategies. Internationally, she represents Greece in the European Crime Prevention Network and serves on the Scientific Committee of the International Society of Criminology. As Editor-in-Chief of 'Urban Crime: An International Journal', she oversees scholarly publications in the field. She has supervised numerous doctoral theses and leads national/European research projects focused on criminal justice innovation.

Elvira AlbertView profile

Professor

• Program Verification
• Program Optimization
• Blockchain
• +7 more

Elvira Albert is a Professor in the Department of Computer Systems and Programming at the School of Computer Science, Complutense University of Madrid, Spain. She leads the COSTA research group, which specializes in formal methods for program optimization and verification, with a strong focus on blockchain technologies and smart contracts. She holds a Ph.D. in Computer Science. Her research encompasses program verification, static analysis, and compiler construction, particularly applied to blockchain ecosystems. The COSTA group has developed influential tools including circom (for arithmetic circuit compilation), CIVER (for circuit verification), EthIR (EVM decompiler), and superoptimizers such as GASOL and SuperStack. Recent publications (2019-2024) demonstrate her expertise in smart contract safety (e.g., SAFEVM), concurrency testing, and bytecode superoptimization using constraint solvers. Her work consistently bridges theoretical formal methods with practical tool development for the blockchain industry. Albert has secured substantial funding from the Ethereum Foundation for multiple projects (GASOL, GREEN, SOPA, FORVES series, ZK-ARCKIT, GREY). She serves as an area editor for Theory and Practice of Logic Programming (TPLP) since 2019. The COSTA group, under her leadership, maintains an active research agenda in blockchain verification, zero-knowledge proofs, and formally verified compilers. Current projects include ZK-ARCKIT for arithmetic circuit analysis and FORYU for formal semantics of Yul.

Hamid BagheriView profile

Associate Professor

• Software Engineering
• Security
• Formal Methods
• +7 more

Hamid Bagheri is an Associate Professor in the School of Computing at the University of Nebraska-Lincoln and a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine. He co-directs the ESQuaReD Lab and serves on the review boards of IEEE Transactions on Software Engineering and ACM Transactions on Software Engineering and Methodology. His research focuses at the intersection of software engineering, security, and formal methods, with particular expertise in Security of Mobile Devices and IoT Systems Scaling Formal Verification with Machine Learning Software Analysis and Testing Dependable Cyber-Physical Systems Automated Program Repair and Fault Localization His publication record spans top-tier venues including ICSE, ASE, ISSTA, ESEC/FSE, and IEEE/ACM Transactions, with recent work focusing on efficient analysis of Alloy specifications, IoT security, and ML-enhanced formal verification. His research has been recognized with multiple Distinguished Paper Awards. Among his notable awards are: EPSCoR FIRST Award NSF CISE Career Research Initiation Initiative Award SoC Student Choice Outstanding Teaching Award (2023-2024) CSE Outstanding Teaching Award (2020-2021) NSF EPSCoR First Award (2017) Prof. Bagheri has successfully advised multiple PhD students including Mohannad Alhanahnah (now tenure-track faculty at Chalmers University) and Clay Stevens (now tenure-track faculty at Iowa State University). He has received substantial research funding including NSF SHF Research Grants and has been actively involved in conference organization as PC member and track chair across numerous major software engineering venues.

Mattia FazziniView profile

Assistant Professor

• Software Engineering
• Software Testing
• Software Maintenance
• +5 more

Mattia Fazzini is an Assistant Professor in the Department of Computer Science & Engineering at the University of Minnesota's College of Science and Engineering. His primary academic appointment focuses on software engineering research and teaching, with active involvement in major conferences including ASE, ISSTA, ICSE, and MOBILESoft where he has served in leadership roles such as General Co-chair (MOBILESoft 2023) and Program Committee Co-chair. His research centers on software testing, maintenance, and security , with particular emphasis on mobile applications. Key research themes include: Developing techniques for automated Android testing and maintenance Addressing API compatibility issues across Android versions Creating tools for test oracle generation and bug reproduction Investigating security vulnerabilities in mobile ecosystems Optimizing test suites through test double analysis His recent publications (2021-2025) reveal strong focus on Android-specific challenges, with recurring themes in compatibility testing, automated test generation, and security analysis. Over 60% of his work involves tool development for practical testing scenarios, particularly targeting mobile platforms. Notable recognitions include: IEEE TCSE Distinguished Paper Award (2024) for work on test suite optimization ACM Distinguished Paper Award (2022) for COVID-19 app analysis As an educator, he advises multiple PhD and Master's students while teaching undergraduate and graduate courses including CSCI 3081W (Program Design) and CSCI 5802 (Software Engineering II). His service contributions span conference organization (MOBILESoft, ISSTA, ICSE) and extensive program committee work across top software engineering venues. He leads research projects focused on practical testing solutions with real-world applicability in mobile software development.

Chao PengView profile

Part-Time Lecturer

• Software Testing
• Program Analysis
• Programming Languages
• +5 more

Chao Peng is a Principal Research Scientist at ByteDance where he leads the Trae Research team (ByteDance Software Engineering Lab), conducting cutting-edge research on AI agents for software engineering. He also serves as a Part-time Postgraduate Student Mentor at Fudan University's School of Computer Science, bridging industry research with academic mentorship. PhD in Informatics (2021), University of Edinburgh, UK MSc in High Performance Computing and Data Science (2017), University of Edinburgh, UK BEng in Computer Science and Technology (2016), Xuzhou University of Technology, China Dr. Peng's research focuses on the intersection of software testing, program analysis, and large language models. His work explores how AI agents can revolutionize software engineering practices, with particular emphasis on automated bug detection, code generation, and testing frameworks. He has pioneered approaches for evaluating LLM performance in software engineering contexts and developing agent-based systems that enhance developer productivity while maintaining code quality and security. His recent publications demonstrate a clear trend toward integrating large language models with traditional software engineering practices. The research spans code generation evaluation, security vulnerability detection, automated bug reproduction, and issue localization. These works collectively advance the field of AI-assisted software development by addressing practical challenges in reliability, security, and efficiency of AI-generated code. Distinguished Reviewer for FSE'25 School of Informatics Scholarship (fully-funded PhD scholarship) Outstanding Graduate Scholarship at Xuzhou University of Technology Multiple China National Scholarships Honours Spot Bonus at ByteDance Certificate of Achievement for HPCAC Student Cluster Competition Dr. Peng actively mentors students through his role at Fudan University and previously at the University of Edinburgh, where he served as sub-supervisor for MSc projects and teaching assistant for software testing courses. His research has attracted significant industry attention, leading to multiple collaborations between ByteDance and academic institutions. He frequently serves on program committees for major software engineering conferences including ASE, FSE, and ICSE, demonstrating his leadership in the field. As leader of the Trae Research team at ByteDance Software Engineering Lab, Dr. Peng oversees research on AI agents for software engineering, including the application and evaluation of AI agents and training LLMs for agent-based systems. The lab's work focuses on practical systems that predict, detect, diagnose, and fix bugs across various software systems, with particular emphasis on real-world applications and measurable impact on developer productivity.

Xiaoyin WangView profile

Associate Professor

• Software Testing and Analysis
• Software Privacy
• Program Analysis
• +3 more

Xiaoyin Wang is an Associate Professor in the Department of Computer Science at the University of Texas at San Antonio, specializing in software testing, privacy, and program analysis. Her research focuses on enhancing software quality through innovative approaches to build systems, virtual reality testing, and privacy policy enforcement. She earned her PhD from Peking University in 2012 and completed postdoctoral work at UC Berkeley. Her research interests span Software Testing and Analysis , Software Privacy , Build Systems , and Virtual Reality Testing . She develops techniques for detecting privacy leaks in mobile apps, optimizing build scripts, and testing immersive applications. Her work bridges program analysis with practical software engineering challenges, particularly in security-critical contexts. Recent publications reveal strong trends in Virtual Reality testing frameworks (e.g., VRGuide, VRTest), automated build diagnostics (PExReport, HireBuild), and privacy policy verification (GUILeak, DAISY). Her research increasingly integrates machine learning for bug prediction and test oracle generation, with significant contributions to augmented reality testing and cross-project compatibility analysis. President's Research Achievement Award (UTSA, 2019) NSF CAREER Award (2019) for build script analysis Distinguished PhD Dissertation Awards from CCF (2013) and Peking University (2012) MSRA Fellowship (2009) Wang actively advises PhD students including Rodney Rodriguez (defended 2022, now at Accenture) and Xueling Zhang (defended 2021, now Assistant Professor at RIT). She leads NSF-funded projects including CAREER: Analysis and Repair of Build Scripts for DevOps and EAGER: Tracing Privacy-Policy Statements into Code . Her service includes chairing ICSE 2019 proceedings and serving on ASE/ICSE/ISSTA program committees. Current work focuses on security analysis for AR applications and automated privacy compliance verification.

Ying WangView profile

Associate Professor

• Dependency management
• Software ecosystem governance
• Software refactoring
• +5 more

Dr. Ying Wang is an Associate Professor and Assistant Dean at the Software College of Northeastern University in China, where she also serves as a doctoral supervisor. She received her PhD in Software Engineering from Northeastern University in January 2019 and joined the faculty in February 2019. Her academic career includes a postdoctoral fellowship at the Hong Kong University of Science and Technology (2022-2023) and a visiting scholar position at Microsoft Research Asia (2021) through the StarTrack Program. Her research focuses on dependency management, software ecosystem governance, software refactoring, and software supply chain security. She has made significant contributions to understanding cross-language dependencies, vulnerability propagation across ecosystems, and developing tools for dependency conflict detection and resolution. Her work spans multiple programming language ecosystems including Java, C#, Python, Go, JavaScript, Android, and Rust. Dr. Wang's publication record shows a consistent trajectory of high-impact research in top software engineering conferences (CCF-A level) including ASE, ICSE, ESEC/FSE, and ISSTA. Her recent work increasingly integrates large language models with traditional software engineering techniques, particularly in dependency analysis and software refactoring. The publications demonstrate a strong emphasis on practical tool development with industry applications. Microsoft Research Asia Star Program Scholar (2020) CCF Outstanding Doctoral Dissertation Award nomination (2020) Liaoning Province Outstanding Doctoral Dissertation Award (2021) ACM SIGSOFT Distinguished Paper Award (ICSE 2021 and ESEC/FSE 2023) Multiple CCF ChinaSOFT Software Prototype Competition awards (2020, 2023) OpenHarmony Community Security Governance Contributions (2024, 2025) Dr. Wang actively mentors a large group of graduate students working on various aspects of software engineering, with many graduates securing positions at major technology companies including Huawei, Microsoft, Alibaba, and Tencent. She serves on the editorial board of IEEE Transactions on Software Engineering and has held numerous program committee positions at top software engineering conferences. Her research has strong industry connections, with several tools developed by her team being integrated into commercial platforms at Huawei and Microsoft.

Leopoldo TeixeiraView profile

Assistant Professor

• Software Engineering
• Refactoring
• Formal Methods
• +6 more

Leopoldo Teixeira is an Assistant Professor at the Informatics Center (CIn) of the Federal University of Pernambuco (UFPE) in Brazil. Since May 2023, he has served as Head of Graduate Studies at his department. He leads the Software Testing and Analysis Research group and is affiliated with the Software Productivity Group and CIn-Trust. Dr. Teixeira was a CAPES-Alexander von Humboldt Experienced Research Fellow at the Chair of Software Engineering of Universität des Saarlandes in 2022, where he collaborated with Sven Apel on variability analysis over time and space. His educational background includes: PhD in Computer Science from Federal University of Pernambuco (CIn-UFPE, 2014), supervised by Paulo Borba and Rohit Gheyi MSc in Computer Science from CIn-UFPE (2010) Bachelor's degree in Computer Engineering from the Polytechnic School of Pernambuco (2007) Dr. Teixeira's research focuses on providing strong foundations for improving software quality and productivity. His work spans software product lines, configurable systems, refactoring, formal methods, software testing, and mobile development. He has made significant contributions to understanding challenges in highly configurable systems and software evolution, with particular emphasis on theoretical rigor combined with practical applicability. His publication record demonstrates expertise across software testing methodologies, analysis of configurable systems, and formal verification techniques. Recent work addresses pressing challenges in containerization practices (Dockerfile repair), test reliability (flaky test detection), and formal specification of API properties, showing his ability to tackle both theoretical and practical aspects of software engineering. Dr. Teixeira has received recognition through the CAPES-Alexander von Humboldt Experienced Research Fellowship. CAPES-Alexander von Humboldt Experienced Research Fellow (2022) Dr. Teixeira actively contributes to the software engineering community through extensive service on program committees of major conferences including ICSE, FSE, ASE, and SPLASH across multiple years. In 2024, he served as Conference and Local Organization Chair for FSE. He mentors students through his leadership of the Software Testing and Analysis Research group at CIn-UFPE. His laboratory work focuses on software testing and analysis, particularly in the context of configurable systems and software product lines. The research group investigates practical approaches to improve software quality through better testing methodologies, analysis techniques, and formal verification approaches for complex software systems.

Işıl DilligView profile

Associate Professor

• Program analysis
• Program synthesis
• Program verification
• +4 more

Işıl Dillig is an Associate Professor of Computer Science at the University of Texas at Austin, where she leads the UToPiA research group. Her academic career spans over a decade of significant contributions to programming languages research, particularly in program analysis, verification, and synthesis. Dr. Dillig received all her academic degrees (BS, MS, and PhD) from Stanford University before joining the faculty at UT Austin. Her educational background established the foundation for her innovative research approach that bridges theoretical computer science with practical applications. Her research focuses on developing techniques to make software systems more reliable, secure, and easier to build through advanced program analysis, verification, and synthesis methods. She has pioneered approaches that combine symbolic reasoning with machine learning to tackle complex software engineering challenges across multiple domains including security, databases, and programming language theory. Her work demonstrates exceptional depth in creating practical tools that address real-world software development problems while maintaining strong theoretical foundations. Analysis of Dr. Dillig's publication record reveals a consistent trajectory of innovation in program synthesis, with recent work expanding into neurosymbolic approaches that bridge neural networks with formal methods. Her research shows strong connections between theoretical foundations and practical applications, particularly in security-critical systems, database technologies, and blockchain applications. The evolution of her work demonstrates increasing sophistication in handling complex program structures while maintaining practical usability. Dr. Dillig has received prestigious recognition for her research contributions: Sloan Fellowship NSF CAREER award As a dedicated educator and research leader, Dr. Dillig has served in significant roles including Program Chair for PLDI 2022 and Steering Committee member for PLDI. She has mentored numerous students through her UToPiA research group, guiding research in program synthesis, verification, and analysis. Her work has been supported by substantial research grants that have enabled innovative projects at the intersection of programming languages and security. Dr. Dillig leads the UToPiA (UT Austin Programming, Languages, and Analysis) research group, which focuses on developing novel techniques for program analysis, verification, and synthesis. The group maintains strong collaborations with industry partners and academic institutions worldwide, translating theoretical advances into practical tools that address real software engineering challenges.