جست‌وجوی استاد و پژوهشگر

Jens Wolffمشاهده پروفایل

پژوهشگر ارشد

• Image and Media Theory
• Cultural Hermeneutics
• Figurative Knowledge
• +۶ مورد دیگر

PD Dr. Jens Wolff is a German theologian and researcher at the Faculty of Theology, University of Rostock . His work bridges image theory , cultural hermeneutics , and negative theology , with a focus on Lutheran theology and its intersections with literature and art . Education : Studied at Eberhard-Karls-Universität Tübingen, Martin-Luther-Universität Halle/Wittenberg, Ludwig-Maximilians-Universität München. Academic Timeline : 1995–1998 Heidelberg Academy researcher, 1998–2002 assistant at Münster's Faculty, 2003 PhD, 2005 ordained pastor, 2009–2012 DFG project on Sigmund von Birken, 2012–2015 DFG project on Image Theory, 2015 habilitation. Wolff's research explores image and media theory through theological lenses, interrogating figurative knowledge , religious rhetoric , and intercultural hermeneutics . His work connects Baroque literature (e.g., Klopstock, Hamann) with contemporary philological and deconstructive methods , examining tensions between sacralization and secularization . His recent publications analyze the word of God as performative polysemy in Lutheran thought, death and utopia in Stefan Andres' work, and iconic anthropology in Reformation contexts. He co-edited the two-volume Bild und Tod (2016), a foundational text on image-death relations. Awards: Martin-Luther-Preis für den akademischen Nachwuchs (2005) for his dissertation on Metapher und Kreuz . Wolff's advising and collaborative work focus on interdisciplinary image studies , including DFG-funded projects and symposia like the Image and Sound conference (2014). He maintains links to institutions in Bratislava , Frankfurt , and Brazil .

Yu Huangمشاهده پروفایل

استادیار

• Software Engineering
• Human Factors
• AI for Software Engineering
• +۷ مورد دیگر

Dr. Yu Huang is an Assistant Professor in the Department of Computer Science at Vanderbilt University's School of Engineering, with a secondary appointment in the Department of Teaching and Learning at the Peabody School of Education. She is affiliated with the Institute for Software Integrated Systems, the Frist Center for Autism and Innovation, the Vanderbilt Lab for Immersive AI Translation (VALIANT), and the Vanderbilt LIVE Learning Innovation Incubator. Her academic journey began with a BS in Aerospace Engineering from Harbin Institute of Technology in China (2011), followed by an MS in Computer Engineering from the University of Virginia (2015), and culminated with a PhD in Computer Science and Engineering from the University of Michigan in 2021 under Professor Westley Weimer. Dr. Huang's research bridges human cognition and machine intelligence to enhance software development. Her work spans software, hardware, AI, medical imaging (fMRI/fNIRS), eye tracking, and mobile sensing through collaborations with Security, Education, Psychology, and Neuroscience researchers. She leads the MIND Lab (Mixed INtelligence Development for programming lab), investigating programming expertise formation, code comprehension processes, cognitive error patterns, and diversity in programming communities. Her innovative approach combines empirical human studies with AI model development to create more effective programming tools. Her recent publications reveal a growing emphasis on leveraging human attention data to improve code language models, analyzing cognitive biases in security contexts, and examining social factors in technical communication. The research shows strong interdisciplinary connections between neuroscience, psychology, and software engineering, with increasing applications of LLMs in developer tooling. Dr. Huang's work consistently demonstrates how understanding human cognition can inform better AI systems for programming tasks. Dr. Huang has received numerous prestigious recognitions including the 2025 ICPC Vaclav Rajlich Early Career Achievement Award and three ACM SIGSOFT Distinguished Paper Awards (ICSE 2019, FSE 2023, ICSE 2024). Her lab has earned the Best Presentation Award at GI2024, while her students have received the Richard Bennett/Dorothy Danforth Compton Prize scholarship and the C. F. Chen Best Paper award. She actively mentors a diverse team of graduate students (Yifan Zhang, Zach Karas, Zihan Fang, Yueke Zhang, Jiahao Zhang) and undergraduate researchers, with many former students advancing to top institutions (Stanford, Harvard, Duke, UC Berkeley) and organizations (NASA JPL). Her research is supported by a 4-year NSF grant, GitHub Tech for Social Good funding, and the Provost's Faculty Immersion Vanderbilt Grant, enabling comprehensive studies of human-AI collaboration in software engineering. The MIND Lab maintains a strong collaborative culture, frequently working with Professor Kevin Leach's research group and organizing retreats to locations like Radnor State Park and the Great Smoky Mountains. This environment fosters innovation at the intersection of human cognition and software engineering while supporting the professional development of emerging researchers in the field.

• Machine Learning
• Educational Data Mining
• Time Series Forecasting
• +۵ مورد دیگر

Irena Koprinska is a prominent researcher at the University of Sydney with over 150 publications from 1996 to 2025. Her work spans multiple interdisciplinary domains with significant contributions to machine learning applications in educational technology, time series forecasting, and health informatics. She maintains strong research collaborations, particularly with Kalina Yacef (38 joint publications), Mashud Rana (26 papers), and Bryn Jeffries (22 papers), indicating leadership in her research group. Her research interests focus on practical applications of machine learning across diverse domains. In educational data mining, she has pioneered methods for predicting student performance in programming courses, analyzing syntax errors, and developing automated hint generation systems. Her work in time series forecasting has made significant contributions to solar power prediction using advanced neural network architectures. Additionally, she has applied machine learning techniques to medical domains, particularly in sleep disorder detection and analysis. The analysis of her 15 most recent publications (2022-2025) reveals a continued focus on educational technology and time series analysis, with increasing attention to interpretable methods and health applications. Her work demonstrates a consistent trajectory of applying sophisticated machine learning techniques to solve real-world problems across multiple domains, with particular emphasis on creating practical tools for education and renewable energy management. Notable Research Contributions: Development of the HINTS framework for automated programming hint generation Innovative approaches to multistep-ahead time series forecasting Applications of deep learning to sleep disorder detection Methods for predicting student performance in programming education Her publication record in top venues including Machine Learning journal, AIED, EDM, and IJCNN demonstrates significant impact in both machine learning and educational technology communities. The consistent output of high-quality research over nearly three decades indicates sustained scholarly productivity and leadership in her fields of expertise.

Axel Mecklingerمشاهده پروفایل

استاد

• Neurocognition of Memory and Language
• Executive Functions
• Spatiotemporal Brain Imaging
• +۷ مورد دیگر

Prof. Dr. Axel Mecklinger is a leading cognitive neuroscientist at Saarland University , specializing in the neurocognition of memory and language through spatiotemporal brain imaging (EEG/MEG/fMRI). His career spans over three decades, with significant contributions to understanding visual working memory , associative recognition , and memory development . Key research areas: Memory binding, ERP subsequent memory effects, novelty detection, and cognitive aging Major grants: DFG Research Groups, Collaborative Research Centers, and international collaborations with the Chinese Academy of Sciences Scientific leadership: Organized conferences, edited journals, and served as speaker for research training groups His recent work explores unitization in memory formation , cross-cultural differences in memory processing , and theta neurofeedback interventions . Awards include the Early Career Award of the German Psychophysiology Society (1992) and the European Federation of Psychophysiology Societies' Federation Prize (1994). Current projects investigate the neural mechanisms of semantic surprisal and memory plasticity in aging populations.

Sylvia Kesper-Biermannمشاهده پروفایل

استاد

• Historical Education Research
• Comics and Education
• Post-Colonial Education
• +۵ مورد دیگر

Prof. Dr. Sylvia Kesper-Biermann is a Professor of Historical Educational Research at the University of Hamburg's Faculty of Education, specifically within the department of General, Intercultural and International Comparative Education and Educational Psychology (EW 1). She has held this position since 2017 and previously served in various academic roles at institutions such as Justus-Liebig University Giessen, Ludwig-Maximilians-Universität München, and the University of Cologne. Her research focuses on historical education, transnational educational spaces, comics as educational media, post-colonial education, and the history of human rights and emotions. Educationally, she studied Middle and Modern History, History Didactics, and Specialist Journalism at Universities of Siegen, Gießen, and Bristol. Her career includes roles as a research coordinator for the DFG Graduate School on Automatism, a research fellow at the University of Paderborn, and participation in multiple DFG-funded projects. Her research interests are interdisciplinary, emphasizing the intersection of education, history, and media. Recent work explores comics' role in language education for guest workers in West Germany, transnational colonial schools, and emotional dimensions of legal cultures. She has published extensively, including monographs like Einheit und Recht and edited volumes on Turkish-German educational discourse. Prof. Kesper-Biermann has received notable awards such as the Hamburger Lehrpreis 2023 and the Karl-Ferdinand-Werner Fellowship. She leads projects like PostKol (on post-colonial education) and ComBiMe (comics as educational media in West Germany). Her work bridges historical analysis with contemporary educational challenges, emphasizing visual literacy, migration studies, and transnational collaboration. Her academic contributions include organizing lecture series on pedagogy, sexuality, and body politics, as well as international conferences on education history and comics studies. She collaborates with institutions like the Comic Kolloquium Nord and the German Society for Comics Studies, fostering interdisciplinary dialogue in visual and educational historiography.

• Egyptology
• Ancient History
• Archaeology
• +۳ مورد دیگر

Prof. Ludwig D. Morenz is a Professor of Egyptology at the University of Bonn and Director of the Egyptian Museum Bonn. He holds positions as a Principal Investigator in archaeological research and leads excavations in Egypt. His academic journey includes a Habilitation from the University of Tübingen (2001), a PhD from Leipzig (1994), and extensive postdoctoral fellowships across Europe. His research focuses on Pharaonic socio-economic systems, particularly dependency relationships between state expeditions and Canaanite populations. He examines ancient Egyptian economy, religion, and cultural interactions through material and textual evidence. Key areas include the origins of alphabetic writing, solar deity symbolism, and Roman-Egyptian cultural hybridity. Morenz has secured over €1 million in third-party funding from institutions like the German Research Foundation (DFG) and Gerda Henkel Foundation. He supervises numerous doctoral and master's students, reviewing over 30 theses and international PhDs. His editorial roles include founding journals like Studia Sinaitica and Bonner Ägyptologische Beiträge . Major excavations under his leadership include the Elite Necropolis of Qubbet el Hawa and the Serabit el-Chadim Hathor temple project. He participates in consortia such as the DFG Research Training Group 'Archeology of Pre-Modern Economies' and the International Congress of Egyptologists. Awards: Heisenberg Fellowship (DFG), Feodor Lynen Fellowship (Humboldt Foundation), Herzog-Ernst Scholarship Exhibitions: Curated annual special exhibitions at the Egyptian Museum Bonn, including a landmark show on alphabetic writing origins at Cairo's National Museum Publications: 13 monographs, 4 edited volumes, and over 100 articles

Nele McElvanyمشاهده پروفایل

استاد

• Educational Psychology
• Literacy Research
• Reading Comprehension
• +۵ مورد دیگر

Nele McElvany serves as Professor of Empirical Educational Research and Vice Rector for Research at TU Dortmund University, where she has been Executive Director of the Institute for Research on Education and School Development (IFS) since 2014. Her academic career spans leadership roles in major educational research initiatives and significant contributions to understanding literacy development, educational assessment, and the intersection of migration and education within the Faculty of Educational Sciences, Psychology and Educational Research. Her research focuses on teaching and learning in school contexts, assessment and promotion of literacy skills, education in relation to migration and social inequalities, teacher competencies, and large-scale educational assessments. Professor McElvany's work particularly emphasizes reading comprehension development across diverse student populations, vocabulary acquisition mechanisms, and the impact of educational interventions on student outcomes. Her methodological expertise spans longitudinal studies, large-scale assessments, and experimental interventions. Analysis of her publication record reveals consistent engagement with international comparative studies, particularly the Progress in International Reading Literacy Study (PIRLS/IGLU), alongside growing attention to contemporary challenges like the educational impact of the COVID-19 pandemic. Her research demonstrates methodological sophistication through integration of qualitative and quantitative approaches to examine how family background, migration status, and educational policies affect learning outcomes. Professor McElvany leads numerous significant research projects including the Progress in International Reading Literacy Study 2026, the National Educational Panel Study (NEPS), and various initiatives focused on reading promotion through AI, teacher development, and educational equity. She serves on multiple national and international committees including as Chairwoman of the NEPS Network Committee and member of the Scientific Advisory Board of Stiftung Lesen.

Christoph Hammannمشاهده پروفایل

پژوهشگر

• New Testament Studies
• Pauline Theology
• Lukan Studies
• +۷ مورد دیگر

Christoph Hammann is a researcher at the Department of New Testament Studies within the Faculty of Protestant Theology at the University of Münster, working under Professor Eve-Marie Becker's chair since August 2022. He is currently completing his habilitation on "Authority, Power, and Rule in the Lukan Double Work: Exegetical Investigations of Luke's Ascending Christology Against the Background of Greek-Roman Biography, Historiography, and Epic" (2022-present). His research spans multiple interdisciplinary areas at the intersection of biblical studies, ancient philosophy, and cultural history. Hammann's primary interests include Pauline theology and epistolography, the Lukan works in Greco-Roman cultural context, the relationship between natural science and theology in early Christianity, philosophy of the Imperial Period and Late Antiquity, conceptions of history in the New Testament, and the beginnings of Christianity in Rome. His academic background combines classical philology (specializing in Greek studies) with Protestant theology, enabling unique cross-disciplinary approaches to biblical texts. Hammann's publication record reveals a consistent engagement with how early Christian texts interacted with and transformed contemporary Greco-Roman discourses on topics like purity, authority, and cosmology. His work often examines the philosophical and medical contexts of biblical concepts, particularly in relation to heart metaphors, sacrificial practices, and Christological development. DAAD Congress Travel Grant (2023) Publication subsidy for dissertation (2019) PhD Prize from Philipps-Universität Marburg (2019) Multiple international research grants from Evangelisches Studienwerk Villigst (2015-2018) Fondation Hardt research grant (2017) Hammann actively contributes to academic life through teaching undergraduate and graduate courses in New Testament exegesis (including Greek language instruction), organizing conferences such as the upcoming Colloquium Biblicum Lovaniense LXXIV on The Corinthian Letters (2025), and co-editing scholarly volumes like "Opfer in Antiochien" (2023). He serves on multiple academic committees and is a member of several scholarly societies including the Society of Biblical Literature (since 2025) and the Münster School of Ancient Cultures (since 2023). His research group within the Excellence Cluster "Religion and Politics" focuses on ancient cultural contexts of early Christianity, with particular attention to the intersections between biblical texts and Greco-Roman philosophical, medical, and political discourses. Hammann also leads student excursions to Rome to study early Christian sites and Pauline contexts.

• Media Pedagogy
• Media Didactics
• Adaptive Learning Systems
• +۳ مورد دیگر

Luisa Wellert is a Research Associate at the Innovative Educational Technologies Department within the Tübingen Center for Digital Education (TüCeDE) at the University of Tübingen since September 2023. She is also a PhD student at TüCeDE since October 2022. Education: Master of Arts in Intermedia and General Educational Science (2020-2022) from University of Cologne Bachelor of Arts in Media Studies and Educational Science (2016-2019) from University of Tübingen Research Focus: Her work centers on media pedagogy , media didactics , and adaptive learning systems , with particular emphasis on AI integration in educational contexts. Recent projects examine automated qualitative coding of AI tutoring dialogues using large language models and effectiveness of self-developed adaptive systems in schools. Publications: Recent work analyzes assessment methodologies in adaptive learning systems, compares performance-based and cognitive load-based evaluation approaches, and explores implementation challenges of DIY adaptive technologies. She actively contributes to open-source AI tutoring initiatives through the OSATI project. Presentations: Luisa presents her research at major conferences including EARLI, LEAD Research Meeting, and GEBF Conference, focusing on practical implementations of AI-based educational tools and their cognitive impacts. Professional Activity: Prior to her current role, she served as Project Manager for Educational Research at TüCeDE (2022-2023) and worked as a Research Assistant at mmb Institut GmbH (2021-2022) and mecodia GmbH (2018-2020). She also has experience in media education and empirical media research.

Frank Kammerzellمشاهده پروفایل

استاد

• Phonology
• Morphology
• Syntax
• +۸ مورد دیگر

Prof. Dr. Frank Kammerzell is a Professor at the Department of Archaeology and Cultural History of Northeast Africa within Humboldt University of Berlin since May 2003. His academic career includes habilitation at the University of Göttingen (1999) and extensive research collaborations with Hebrew University of Jerusalem and University of Vienna. His educational background encompasses Medieval and Modern History (major 1980), Egyptology (major), Coptic Studies, General and Indo-European Linguistics, and Assyriology. He earned his Dr. phil. from Göttingen with a dissertation on 'Studies on the Language and History of the Carians in Egypt' (1990) and completed habilitation with 'Language contact and language change in ancient Egypt' (1999). Kammerzell's research spans Egyptian phonology, morphology, syntax, lexis, language history, diachronic typology, language contact, writing systems, and Carian history in Egypt. His work integrates linguistic analysis with archaeological contexts, examining language evolution through contact and typological shifts. Notable projects include studies on Egyptian-Akkadian typological developments and classifiers in ancient Egypt. His publications since 2000 demonstrate sustained focus on Egyptian linguistic structures, writing systems, and cross-linguistic influences. Key themes include verb classifiers, glossing rules for Ancient Egyptian, and lexical semantics-pragmatics interfaces, bridging Egyptology with broader linguistic theory. Graduate Scholarship from the State of Lower Saxony (Doctoral Scholarship) 1987-1989 Kammerzell has led significant research projects funded by the DFG, Fritz Thyssen Foundation, and Volkswagen Foundation. His collaborative work with institutions in Jerusalem and Göttingen highlights international partnerships. While specific advisees aren't listed, his editorial roles suggest mentorship in academic publishing. He co-founded research groups on multilingualism and script systems, contributing to journals like Lingua Aegyptia and Ägypten und Levante , underscoring team-based archaeological-linguistic research.

Catherine Crockfordمشاهده پروفایل

استاد پژوهشی

• Primate Behavior
• Social Cognition
• Vocal Communication
• +۴ مورد دیگر

Dr. Catherine Crockford is Research Professor and Director of the Ape Social Mind Lab at the Max Planck Institute for Evolutionary Anthropology, affiliated with the Department of Human Behavior, Ecology and Culture. She co-directs the Tai Chimpanzee Project in Ivory Coast, studying habituated chimpanzee groups and sooty mangabeys. Her research examines primate social cognition, communication evolution, and neuroethology through behavioral observations, hormone sampling, and neuroimaging. Key interests include: Evolution of social bonding and cooperation mechanisms Maternal effects on offspring development Vocal communication and combinatorial signaling Neurobiological bases of social behavior Her publications demonstrate consistent focus on chimpanzee vocal combinatorics, stress physiology, social learning, and comparative neuroanatomy, often integrating field data with endocrine and imaging methodologies. She leads an ERC project investigating early-life influences on social skills and supervises 8 PhD students researching primate communication, social dynamics, and energetics. Laboratory infrastructure supports field endocrinology and collaborative neuroimaging studies.

• Sign Language Linguistics
• Morphosyntax
• Semantics and Pragmatics
• +۸ مورد دیگر

Prof. Dr. Christian Rathmann is a Professor for Sign Language Interpreting at the Institute of Rehabilitation Sciences , Humboldt University of Berlin. His academic journey includes prior roles at the University of Hamburg, University of Bristol, and The Ohio State University. PhD in Linguistics (2005), University of Texas at Austin MA in Linguistics (2000), University of Texas at Austin Research Interests : Rathmann specializes in sign language linguistics , focusing on morphosyntactic processes, semantics, and pragmatics. His work explores L1/L2 acquisition , multilingualism, language contact, and the implementation of the CEFR for sign languages . He also investigates Deaf Studies , discourse analysis, and language rights within international contexts. Scientific Contributions include publications on verb agreement, language standardization, and bilingual co-activation. His 2024 work on Signbank 2.0 and VisuoLab emphasizes digital resources for sign languages. Alexander von Humboldt Polish Honorary Research Scholarship (2016-2020) Professional Engagement : Rathmann serves on editorial boards (e.g., Frontiers in Psychology ) and scientific committees, including the SignON Project and the German Deaf Association . He advocates for early sign language access and language rights for deaf children.

Katja Scharenbergمشاهده پروفایل

استاد

• Inclusive Education
• Educational Psychology
• Teacher Training
• +۴ مورد دیگر

Prof. Dr. Katja Scharenberg is a faculty member at the Ludwig-Maximilians-Universität München (LMU) , affiliated with the Faculty of Psychology and Education. Her research focuses on inclusive education, heterogeneity in classrooms, teacher training, science education, and sustainability education. She leads and collaborates on multiple projects funded by the German Federal Ministry of Education and Research (BMBF) and the European Union’s Horizon 2020 program. Her work examines how heterogeneous learning environments impact student outcomes, particularly in science and sustainability education. She investigates teacher diagnostic competence in inclusive settings and develops digital learning environments to support accessible experimentation. Current projects include evidence-based modular continuing education programs for teachers and studies on ethnic school segregation’s effects on educational attainment in Germany and Switzerland. Key publications include empirical analyses of sustainability competencies in schools, inclusive pedagogy in primary and vocational education, and classroom dynamics affecting students with special educational needs. She serves on editorial boards and collaborates with networks like the European Association for Research on Learning and Instruction (EARLI) and the Deutsche Gesellschaft für Erziehungswissenschaft (DGfE) . Her research is supported by grants from the BMBF and EU Horizon 2020 . She supervises students in inclusive education and teacher training, and her work integrates research-based learning with practical school reforms in the Freiburg region.

Jie M. Zhangمشاهده پروفایل

استادیار

• Software Testing
• AI for Software Engineering
• Software Engineering for AI
• +۵ مورد دیگر

Jie M. Zhang is an Assistant Professor in the Department of Informatics at King's College London, specializing in the intersection of software engineering and artificial intelligence. Her research focuses on two main directions: AI for Software Engineering (leveraging AI technologies to automate software tasks) and Software Engineering for AI (applying SE principles to enhance AI system trustworthiness). Her educational background includes a PhD in Computer Science from Peking University, where she was supervised by Professors Lu Zhang and Dan Hao. Prior to joining King's College London, she was a Research Fellow at University College London working with Professor Mark Harman and Professor Federica Sarro. Dr. Zhang's research interests center on software testing, machine learning trustworthiness, fairness testing, bias mitigation in AI systems, and program analysis. Her work particularly examines how large language models can be utilized for code generation, test case creation, and program repair, while also developing techniques to detect and fix issues within AI models. Her recent publications demonstrate strong trends in evaluating and enhancing the trustworthiness of AI-generated code, with specific emphasis on fairness testing across various domains including autonomous driving systems, machine translation, and decision-making software. Her research increasingly focuses on the efficiency of generated code and detecting hallucinations in large language models. 2025 ACM Sigsoft Early Career Researcher Award for pioneering contributions to software engineering for AI IEEE TSE 2024 Best Paper Award for 'Stealthy Backdoor Attack for Code Models' FSE 2025 Distinguished Paper Award Royal Society International Exchange Grant recipient NMES Enterprise & Engagement Partnerships Fund recipient Dr. Zhang has served in numerous leadership roles across major software engineering conferences including as General Chair for AIware 2025, Area Chair for ASE 2025, and Steering Committee Member for ICST. She has advised multiple PhD students and received significant research funding for her work on LLMs and software engineering. Her research group collaborates with industry partners including Huawei and Facebook, and she leads projects such as ITEA GENIUS and ITEA GreenCode. She is actively involved with King's College London research hubs including the Trusted Autonomous Systems Hub, Security Hub, and Software Systems group, where her work contributes to developing trustworthy AI systems across multiple domains.

Allison Sullivanمشاهده پروفایل

استادیار

• Software Engineering
• Formal Methods
• Programming Languages
• +۳ مورد دیگر

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.