Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research focuses on building secure systems through interdisciplinary approaches spanning security , programming languages , and systems . Key areas include WebAssembly security , JavaScript JITs , constant-time programming , memory safety , information flow control , and program analysis tools. He co-founded Intrinsic , a web-security startup later acquired by VMWare, and contributed to standards like W3C WebAppSec and Node.js Security Working Groups. Education: PhD in Computer Science from Stanford University (2015), advised by David Mazières, John C. Mitchell, and Alejandro Russo BE and ME in Electrical Engineering from Cooper Union (2011) Research Trends: His work targets secure systems (Web frameworks, sandboxing, runtime systems), language-based security (constant-time programming, memory safety), and verification for security . Recent publications focus on mitigating speculative execution attacks, hardware-assisted sandboxing, and WebAssembly security. Awards & Recognition: Distinguished Paper Award at POPL 2021 and IEEE MICRO Top Picks 2024 Best Paper Award at CollaborateCom 2010 2010.01 Prize by Daniel J. Bernstein (DJB) Most Influential Paper Award at ICFP 2022 Teaching: He has taught graduate and undergraduate courses including Graduate Computer Security (CSE 227) , Building Secure Systems with Rust , and Programming Languages: Principles and Paradigms at UCSD since 2018. Prior teaching experience includes Stanford and Cooper Union.
Lin Tan is a Professor of Computer Science at Purdue University , holding the Mary J. Elmore New Frontiers Professorship . She joined Purdue in 2019 after serving as a Canada Research Chair and associate professor at the University of Waterloo. She is an ACM Distinguished Member and IEEE Senior Member . Education: PhD in Computer Science, University of Illinois Urbana-Champaign BS in Computer Science and Technology, Zhejiang University Research Interests: Professor Tan’s research lies at the intersection of software engineering , artificial intelligence , and security . Her work focuses on software-AI synergy , software dependability , defect detection & repair , and software text analytics . She leverages machine learning and natural language processing to enhance software reliability, and conversely uses software techniques to improve the dependability of AI systems. Her recent projects include building binary foundation models (Nova), evaluating large language models for code generation and repair, and developing interactive debugging tools that reduce debugging time by one-third. She also explores robot task planning with LLMs and automated front-end development . Awards & Honors: Best Paper Award Finalist, ICRA 2025 ELATES Fellow, 2024-2025 ACM SIGSAC Distinguished Paper Award, CCS 2024 J.P.Morgan AI Faculty Research Awards (2020, 2021, 2022) ACM SIGSOFT Distinguished Paper Awards (ASE 2020, MSR 2018, FSE 2016) Canada Research Chair (2017) Ontario Early Researcher Award (2015) NSERC Discovery Accelerator Supplements Award (2015) Google Faculty Research Awards (2010, 2014) IEEE Micro Top Picks (2006) Advising & Funding: Professor Tan currently advises eight PhD students and has graduated 20+ PhD and Master’s students now thriving in academia (York University, Concordia University, University of Alberta) and industry (Microsoft, Meta, Amazon, Google). Her group is generously supported by NSF , Meta/Facebook Research Awards , J.P.Morgan AI Faculty Awards , and NSF REU programs. Labs & Teams: She leads the Software Reliability & AI Lab at Purdue, recruiting postdocs, PhD, MS, and undergraduate researchers year-round. Lab interests span binary recovery , LLM-based program repair , testing deep-learning libraries , and data-free model extraction .
Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.
Joydeep Biswas is an Associate Professor in the Computer Science Department at the University of Texas at Austin, where he serves as the Director of the Autonomous Mobile Robotics Laboratory (AMRL). He is also affiliated with Texas Robotics, the UT Machine Learning Laboratory, and UT Good Systems. Previously, he was an Assistant Professor in the College of Information and Computer Sciences at the University of Massachusetts Amherst. Dr. Biswas earned his PhD in Robotics from Carnegie Mellon University in 2014 and his B.Tech in Engineering Physics from the Indian Institute of Technology Bombay in 2008. His educational background has provided him with a strong foundation in both theoretical and applied aspects of robotics and artificial intelligence. Dr. Biswas's research focuses on enabling long-term autonomy for mobile robots operating in human environments. His work spans robot perception, motion planning, control systems, and AI, with the ultimate goal of creating self-sufficient autonomous mobile robots that can perform tasks accurately and robustly in real-world settings. He is particularly interested in perception, planning, and failure recovery for autonomous mobile robots, which supports his vision of having autonomous service mobile robots deployed at campus-to-city scale, both indoors and outdoors, performing assistive tasks over deployments spanning years. His IJCAI 2019 Early Career Spotlight talk summarizes much of his research to date and ongoing interests. His recent research has shown a strong trend toward social navigation, human-robot interaction, and the application of machine learning techniques to robotics problems. There's a clear progression from fundamental robotics research toward more complex, real-world applications that require robots to understand and navigate human social spaces effectively. His work increasingly integrates large language models and other advanced AI techniques with traditional robotics approaches, as evidenced by his recent publications on topics like preference-conditioned navigation, social navigation benchmarks, and instruction-following navigation systems. Dr. Biswas has received numerous prestigious awards including the NSF CAREER Award (2021), J.P. Morgan Faculty Research Award (2019), Amazon Research Award (2019), and a grant from Northrop Grumman Mission Systems (2018). These awards recognize his innovative contributions to the field of robotics and autonomous systems. As a dedicated educator and mentor, Dr. Biswas actively supervises PhD and master's students, with his PhD student Sadegh Rabiee winning the student poster award at the Northrop Grumman University Symposium 2019. He has secured significant grant funding from the National Science Foundation for projects including 'Introspective Perception and Planning for Long-Term Autonomy' and 'Interactive Synthesis and Repair For Robot Programs,' demonstrating his ability to secure competitive research funding and his commitment to advancing the field. Dr. Biswas leads the Autonomous Mobile Robotics Laboratory (AMRL), which serves as a hub for interdisciplinary research in mobile robotics. The lab has developed notable resources such as the UT Campus Object Dataset (CODA) for 3D perception research and SOCIALGYM, a framework for benchmarking social robot navigation. His team regularly deploys robots on the UT Austin campus and in urban environments to test and refine their approaches in realistic settings, bridging the gap between simulation and real-world application.
Mennatallah El-Assady serves as Assistant Professor at ETH Zurich's Department of Computer Science, where she leads the Interactive Visualization and Intelligence Augmentation Lab (IVIA). Her academic trajectory includes research fellowships at ETH's AI Center and doctoral work at University of Konstanz and OntarioTech University, establishing her expertise at the intersection of visualization and artificial intelligence. Her research focuses on advancing responsible data-driven decision-making through human-centered analytics, with particular emphasis on explainable machine learning systems. Dr. El-Assady combines data mining techniques with visual interfaces to create transparent AI workflows, specializing in text data analysis. Her work bridges computational linguistics, digital humanities, and information visualization to develop tools that make complex AI processes interpretable for end users. Recent publications demonstrate growing focus on generative AI's impact on visualization practices and sophisticated frameworks for interactive machine learning. Her research consistently addresses the challenge of maintaining human agency in increasingly automated systems, with applications spanning political debate analysis, musicology, and healthcare data interpretation. The trend shows increasing sophistication in evaluation methodologies for visual analytics systems. Best Paper Award: Honorable Mention for 'Progressive Learning of Topic Modeling Parameters: A Visual Analytics Framework' Dr. El-Assady actively shapes her field through workshop leadership including ArgVis (Argument Visualization), Vis4DH (Visualization for Digital Humanities), and VISxAI (Visualization for AI Explainability). Her teaching includes 'Interactive Machine Learning- Visualization and Explainability' at ETH Zurich, training next-generation researchers in human-centered AI development. She maintains strong industry connections with coverage in Forbes and ETH News regarding human-AI collaboration frameworks. The Interactive Visualization and Intelligence Augmentation Lab (IVIA) develops cutting-edge tools including explAIner for transparent machine learning, LingVis for linguistic analysis, VisArgue for debate structure visualization, and VALIDA for political deliberation analysis. These projects share a common thread of enhancing human understanding through carefully designed visual interfaces that expose AI decision processes.
Max Planck Institute for Security and PrivacyGermany
Yangruibo Ding is an incoming Assistant Professor in the Department of Computer Science at the University of California, Los Angeles (UCLA), and currently serves as a Postdoctoral Scientist at AWS Agentic AI. He has held significant research positions at Google DeepMind, Amazon AWS AI Labs, and IBM Research, establishing himself as a leading researcher in software engineering with a focus on large language models for code. His research focuses on developing large language models (LLMs) and agentic systems for software engineering. He specializes in training LLMs with advanced symbolic reasoning capabilities for debugging, testing, program analysis, and verification. His work aims to build efficient, collaborative agentic systems for complex software development and maintenance tasks, with particular emphasis on code generation, vulnerability detection, and execution-aware pre-training techniques. Dr. Ding's publication record reveals a strong trajectory toward enhancing code intelligence through comprehensive semantics reasoning and self-refinement approaches. His research spans multiple dimensions of software engineering including code completion, vulnerability detection, model evaluation, and cross-file context understanding, with applications across various programming languages and development environments. Dr. Ding has received numerous prestigious awards recognizing his contributions to the field: IBM Ph.D. Fellowship Award (2022-2024) ACM SIGSOFT Distinguished Paper Award (2023) IEEE TSE Best Paper Award Runner-up (2022) Ph.D. Service Award, Columbia CS (2025) NSF Student Travel Award for ESEC/FSE'23 (2023) ACM SIGSOFT CAPS Travel Grant (2023) NSF Travel Award for ICSE'22 (2022) As he establishes his research group at UCLA, Dr. Ding is actively seeking students with strong coding skills and experience in large language models, program analysis, verification, or security. He serves on program committees for major conferences including ICSE (2026), ASE (2024, 2025), and ESEC/FSE Artifacts Track (2023), and regularly reviews for top-tier conferences and journals in AI and software engineering. His research is conducted through collaborations with leading industry teams including AWS Agentic AI, Google DeepMind's Learning4Code team, and IBM Research's AI for Code team, creating a robust network of industry-academia partnerships that drive innovation in software engineering research.
Zachary Kincaid is an Associate Professor in the Department of Computer Science at Princeton University's School of Engineering and Applied Science. His research focuses on program analysis, logic, and programming languages, with an emphasis on making program analysis compositional and robust. He received his PhD from the University of Toronto under the supervision of Azadeh Farzan. His work has been implemented in the Duet program analyzer, and he has an Erdős number of 3. Dr. Kincaid's research interests include: Compositional program analysis techniques Algebraic approaches to program analysis Termination analysis and ranking function synthesis Verification of concurrent and parallel programs Automated reasoning and decision procedures Analysis of numerical programs and loops His recent publications show a strong focus on developing novel techniques for program analysis that bridge theoretical computer science with practical verification tools, particularly in nonlinear analysis, quantified reasoning, and compositional verification. Dr. Kincaid has received research support from ONR grant N00014-19-1-2318 for his work on robust program analysis. He has advised graduate students including: Current: Jake Silverman, Nicolas Koh, Nikhil Pimpalkhare Graduated: Shaowei Zhu (PhD 2024, Researcher at Amazon), Charlie Murphy (PhD 2023, Postdoc at University of Wisconsin–Madison) Dr. Kincaid teaches courses including: COS 320 – Compiling Techniques (Spring 2024, 2022, 2020, 2019) COS 516 / ELE 516 – Automated Reasoning about Software (Fall 2025, 2022, 2018) COS 217 – Introduction to Programming Systems (Fall 2024) COS IW – Practical Solutions to Intractable Problems (Fall 2023, Spring 2023, 2018, 2017) COS IW – Little Languages (Spring 2018) COS 597D – Reasoning about concurrent systems (Fall 2016)
Chirag Agarwal is an Assistant Professor of Data Science at the University of Virginia School of Data Science, where he leads the Aikyam Lab focused on trustworthy machine learning. He holds a Ph.D. in Electrical and Computer Engineering from the University of Illinois at Chicago. His research develops frameworks for explainable, fair, and robust AI systems, supported by grants from Adobe, Microsoft, and Google. Core research themes include: Explainability methods for complex models Bias mitigation in vision-language systems Privacy-preserving machine learning Safety certification for large language models Publications demonstrate cross-cutting work in ML theory and applications, with recent emphasis on medical AI safety, multilingual reasoning, and adversarial robustness.
Neelakantan R. Krishnaswami is a Professor of Computer Science at the University of Cambridge's Computer Laboratory , and a Fellow of Trinity College . His research focuses on the intersection of program verification, programming language design, and foundational topics like type theory and semantics. His work spans areas such as refinement types, parser design, separation logic for systems software, and the semantics of reactive programming. Notable contributions include the Datafun language for higher-order Datalog and the λert type theory for explicit refinement types. He has also developed foundational frameworks for verifying imperative programs using advanced type systems and logical relations. Key publications include 'Explicit Refinement Types' (ICFP 2023), 'flap: A Deterministic Parser with Fused Lexing' (PLDI 2023), and 'CN: Verifying Systems C Code' (POPL 2023). His work frequently addresses challenges in efficiency, correctness, and modularity for both functional and imperative systems. His awards include Distinguished Paper Awards at PLDI 2019 and POPL 2020. His research integrates theoretical rigor with practical tooling, exemplified by contributions to languages like Coq, Lean, and Haskell.
Eunchun Park serves as an Assistant Professor in the Department of Agricultural Economics and Agribusiness at the University of Arkansas, concurrently holding the position of Director of the Experiment Station (DREX). A specialist in Bayesian spatial statistics and econometrics, his research focuses on agricultural risk analysis with particular emphasis on crop insurance mechanisms and financial commodity markets. His methodological expertise addresses critical data scarcity challenges in federal crop insurance premium calculations through advanced spatial modeling techniques. Dr. Park's academic foundation includes: Ph.D. in Agricultural Economics from Oklahoma State University (2017) M.S. in Food and Resource Economics from Korea University (2013) B.S. in Food and Resource Economics from Korea University (2010) His research program centers on extreme price and yield risk quantification in agricultural commodities, employing sophisticated Bayesian modeling frameworks to overcome data limitations in spatial risk assessment. Current work develops innovative approaches for measuring catastrophic risks in crop production systems and refining insurance rating structures through spatial smoothing of yield densities. This research bridges theoretical econometric advances with practical applications for risk management tools used by farmers and policymakers. Analysis of Dr. Park's recent publications reveals a consistent trajectory in spatial risk modeling for agricultural insurance systems, with increasing focus on prevented planting coverage factors, commodity market volatility around information releases, and climate-related production risks. His work demonstrates methodological progression from theoretical Bayesian frameworks toward actionable risk assessment tools, particularly through the application of kriging techniques to non-normal yield distributions and extreme event modeling. Dr. Park's scholarly contributions have been recognized through: Outstanding Contribution to Applied Risk Analysis Award (2020) from the Agricultural and Applied Economics Association Outstanding Graduate Student Paper Award (2018) from the Agricultural and Applied Economics Association Outstanding Doctoral Dissertation Award (2018) from the Southern Agricultural Economics Association While specific details of current advisees and grant funding are not provided in available materials, his active publication record in top agricultural economics journals suggests an ongoing mentorship role for graduate students and potential involvement in externally funded research initiatives related to agricultural risk management. His work on spatial smoothing techniques and extreme risk modeling likely informs collaborative projects with agricultural extension services and federal risk management agencies. No specific laboratory facilities or dedicated research teams are mentioned in the available documentation, though his methodological expertise suggests collaboration with spatial statistics and agricultural risk modeling groups within the university's research infrastructure.
National and Kapodistrian University of AthensGreece
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).
Martin Grohe is a Professor at the School of Logic and Theory of Discrete Systems , part of the Department of Computer Science at RWTH Aachen University . His research spans Algorithms and Complexity , Logic , Database Theory , Graph Theory , and Machine Learning , with a focus on integrating logical frameworks into computational models. His recent work explores graph neural networks , Weisfeiler-Leman algorithms , and parameterized complexity , as seen in publications on isomorphism testing , database repairing , and probabilistic query evaluation . While no specific scientific awards are mentioned, his contributions to graph theory and machine learning are widely recognized through numerous peer-reviewed publications.
Sean Welleck is an Assistant Professor at Carnegie Mellon University's School of Computer Science, specifically within the Language Technologies Institute (LTI). He leads the L3 Lab and serves as an advisor for the AI for Math Fund. His academic journey includes a PhD from New York University under Kyunghyun Cho and postdoctoral positions at the Allen Institute for Artificial Intelligence and the University of Washington with Yejin Choi. Dr. Welleck's educational background shows a strong foundation in computer science. He earned his PhD in Computer Science from New York University, where he worked under the mentorship of Kyunghyun Cho and Zheng Zhang. Prior to this, he completed his MSE and BSE in Computer Science from the University of Pennsylvania, demonstrating a long-standing commitment to the field. Dr. Welleck's research focuses on bridging informal and formal reasoning with AI, with particular emphasis on developing learning, inference, and evaluation algorithms for large language models. His work spans multiple cutting-edge areas including mathematical reasoning , code generation , inference algorithms , and AI reasoning agents . A significant portion of his recent work involves combining AI with formal methods for mathematics, where he has developed frameworks like Llemma (an open-source language model for mathematical reasoning) and meta-generation (for inference-time algorithms). His research is characterized by a strong theoretical foundation coupled with practical applications that push the boundaries of what AI systems can achieve in formal reasoning domains. Analysis of Dr. Welleck's recent publications reveals a clear research trajectory focused on enhancing language models' capabilities in formal reasoning and mathematical problem-solving. His work demonstrates an evolution from foundational research in neural text generation to increasingly sophisticated approaches that integrate formal methods with deep learning. Key trends include the development of inference-time algorithms that improve model performance without additional training, frameworks for mathematical reasoning that connect informal and formal proofs, and novel evaluation methodologies for language models. His publications consistently appear in top-tier conferences including NeurIPS, ICLR, ICML, and ACL, reflecting the high impact of his contributions to the field. Dr. Welleck's scientific achievements have been recognized with several prestigious awards: NAACL 2025 Best Paper Award ICLR 2025 Oral Presentation (Top 2%) ICLR 2025 Spotlight Presentation (Top 5%) NeurIPS 2021 Outstanding Paper Award (Top 0.1%) for MAUVE NVIDIA AI Labs Pioneering Research Award (2017 and 2018) As an educator and mentor, Dr. Welleck actively guides the next generation of AI researchers. He currently advises multiple PhD students including Pranjal Aggarwal, Weihua Du, Andre He, and Seungone Kim (some co-advised with other faculty), along with MS students Riyaz Ahuja, Jiewen Hu, Qinyue Tan, and Thomas Zhu, and undergraduate Tate Rowney. At CMU, he teaches advanced courses such as Neural Code Generation and Advanced NLP, and has previously taught at New York University and the University of Washington. His commitment to education extends to creating resources like the Thesis Review Podcast and developing tutorials on neural theorem proving that have been presented at major conferences. Dr. Welleck leads the L3 Lab at CMU, which focuses on the intersection of language, learning, and logic. The lab brings together students and researchers to tackle challenging problems in AI reasoning, with particular emphasis on mathematical reasoning and code generation. Recent initiatives include the development of Llemma, an open-source language model specialized for mathematical reasoning, and work on inference-time algorithms that enable language models to improve their performance through additional computation during inference rather than through additional training.
Mads Dam is a Professor in Teleinformatics at the School of Computer Science and Communication at Kungliga Tekniska Högskolan (KTH), where he heads the Department of Theoretical Computer Science. His research focuses on computer security, formal methods, and program logics, with particular emphasis on the formal modeling and verification of low-level hardware and software execution platforms for security and application isolation. His educational background includes: PhD in Computer Science from the University of Edinburgh (1990) MSc in Computer Engineering from Aalborg University, Denmark BSc in Information Technology from Aalborg University, Denmark Mads Dam's research interests center on computer security, formal methods, and program logics. His current work focuses on the formal modeling and verification of low-level hardware and software execution platforms such as hypervisors and OS kernels and their underlying hardware. He has made significant contributions to information flow security, verification of microarchitectural systems, and network programming language security. His research bridges theoretical foundations with practical security applications. His recent publications show a strong trend toward verifying low-level systems, with a focus on information flow security for processors, network programming languages (particularly P4), and microarchitectural vulnerabilities. His work combines formal methods with practical security concerns, developing verification techniques that address real-world security challenges in hardware and software systems. The research spans theoretical foundations in temporal and epistemic logics to practical applications in network security and processor verification. His scientific awards and recognition include: Two framework grants from the Swedish Foundation for Strategic Research A junior individual grant from the Swedish Foundation for Strategic Research Project grants and a five-year research fellowship from the Swedish Research Council (VR) Project grants from Ericsson, Microsoft Research, US Air Force, and Vinnova (the Swedish Innovation Agency) Mads Dam has been a principal investigator on numerous research projects and has supervised many graduate students. He has been a partner in several European projects including HATS, S3MS, VerifiCard, LOMAPS, and UaESMC. His research has been supported by substantial grants from major funding bodies, reflecting the significance and impact of his work in computer security and formal methods. He is a founding member of several research centers at KTH, including Access, the CASTOR software research center, and the CDIS center for cyber defense and information security. These centers bring together researchers from multiple disciplines to address complex challenges in cybersecurity and software engineering.
Max Planck Institute for Security and PrivacyGermany
Allison Sullivan is an Assistant Professor of Computer Science at the University of Texas at Arlington (UTA), where she also serves as the Undergraduate Software Engineering Program Director. She is a member of the Software Engineering Research Center (SERC) at UTA and serves as faculty advisor for UTA's Society of Women Engineers (SWE) club. Dr. Sullivan received her PhD in Software Verification, Validation and Testing (SVVAT) from the University of Texas at Austin in 2017 under Sarfraz Khurshid. Her educational background includes: PhD in Software Verification, Validation and Testing, University of Texas at Austin (2017) M.S. in Software Engineering, University of Texas at Austin (2014) B.S. in Software Engineering, University of Texas at Dallas (2012) Dr. Sullivan's research focuses on two primary areas: Automated Software Engineering : Test/Oracle Generation, Automated Bug Localization and Repair, Mutation Testing, and Regression Testing Formal Methods and Programming Languages : Abstractions, Finite Model Finders, Program Synthesis, and SAT/SMT Solvers She leads the SCOPE lab which focuses on 'showing the correctness of all program executions' and has published extensively on Alloy modeling language applications. Her recent publications demonstrate a strong focus on applying formal methods to software engineering problems, with a growing emphasis on the intersection of large language models and software development practices. Her work spans theoretical foundations, tool development, and empirical studies of how developers use modeling languages. Her scientific achievements have been recognized with: NSF CAREER Award (2024) UTA CSE department Rising Star Research Award (2024) UTA College of Engineering Outstanding Early Career Faculty Award (2025) NSF grant for building an educational tool for software modeling ($400k) Dr. Sullivan has successfully advised two PhD students to completion: Dr. Ana Jovanovic (defended November 2024) and Dr. Anahita Samadi (defended February 2025). She actively mentors undergraduate researchers and has secured significant research funding including the NSF CAREER grant. Her service includes committee roles for major conferences including ASE, ISSRE, and FormaliSE. She leads the SCOPE lab at UTA, which brings together graduate and undergraduate researchers to develop techniques for improving software verification and validation, with particular emphasis on making formal methods more accessible to practitioners.
