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

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.

• Natural Language Processing
• Large Language Models
• Multilingual Models
• +۵ مورد دیگر

Timothy Baldwin is a Professor at the University of Melbourne, School of Computing and Information Systems, with additional affiliation at Mohamed bin Zayed University of Artificial Intelligence in UAE. His research spans natural language processing, large language models, and multilingual AI systems. His research interests focus on the safety, reliability, and ethical aspects of large language models. He investigates bias evaluation and debiasing techniques, uncertainty quantification methods, fact-checking systems, and multilingual model safety. His work addresses critical challenges in making AI systems more transparent, reliable, and culturally aware, with particular attention to low-resource languages and cross-cultural differences. Baldwin's recent publications demonstrate a strong focus on evaluating and improving the safety of language models across diverse linguistic contexts, developing tools for fact verification, and understanding the internal mechanisms of large language models. His research shows increasing emphasis on practical applications with real-world impact, particularly in multilingual settings and safety-critical domains. His scientific contributions include foundational work on multilingual NLP, bias mitigation techniques, and frameworks for evaluating LLM safety across different cultural contexts. His research has been published in top-tier venues including ACL, NAACL, EMNLP, and ICLR. Baldwin actively mentors students and junior researchers, with frequent collaborations with Haonan Li, Xudong Han, and Fajri Koto, among others. His research group appears to focus on practical applications of NLP with strong ethical considerations, particularly regarding model safety and cultural sensitivity.

Matthias Breuerمشاهده پروفایل

استاد

• Corporate Reporting
• Sustainability Reporting
• Financial Regulation
• +۳ مورد دیگر

Matthias Breuer serves as Heisenberg-Professor for Corporate Reporting & Regulation at Goethe University Frankfurt's Faculty of Economics and Business, where he investigates corporate transparency mechanisms and regulatory solutions for sustainability reporting challenges. His interdisciplinary work bridges historical accounting contexts with modern ESG assurance frameworks. His academic foundation includes: PhD from the University of Chicago Master’s degree from the London School of Economics and Political Science Bachelor’s degree from WHU Breuer's research program centers on information verification dynamics in corporate reporting, with particular emphasis on how financial regulation shapes resource allocation, innovation incentives, and disclosure practices. He examines historical precedents (e.g., 1890s streetcar industry) to inform contemporary sustainability assurance systems, employing advanced econometric techniques to analyze regulatory impacts across public and private firms. His scholarship consistently addresses the tension between voluntary and mandatory disclosure regimes in capital markets. Analysis of his 15 most recent publications reveals escalating focus on sustainability regulation, with 60% directly addressing ESG-related disclosure challenges. Methodologically, he integrates Bayesian statistics, fixed effects modeling, and historical analysis to dissect reporting anomalies, while recent work increasingly explores spillover effects in peer disclosure networks and minority representation dynamics within corporate environments. Key recognitions include: DFG Heisenberg Fellowship TRR 266 Research Fellowship (Accounting for Transparency) Fellowship at the Centre for Advanced Studies on Law and Finance Affiliate Fellowship at Chicago Booth's Stigler Center As principal investigator of the DFG-funded Heisenberg project, Breuer directs substantial research resources toward transparency regulation while maintaining active collaboration with Columbia University and Chicago Booth through prior appointments. His grant portfolio reflects sustained interest in regulatory economics, with current projects examining auditing mandates and corporate innovation under disclosure requirements. Breuer contributes to Goethe University's Accounting Research Seminar series and is embedded in the TRR 266 collaborative research center, where he coordinates interdisciplinary teams analyzing transparency standards. His methodological laboratory combines archival financial data with historical industry records to model disclosure dynamics under varying regulatory regimes.

• Information Science
• Human-Computer Interaction
• Gamification
• +۷ مورد دیگر

Dion Hoe-Lian Goh is a researcher at Nanyang Technological University, Singapore , with a focus on information science, human-computer interaction, and digital literacy. His work explores emerging technologies like deepfakes and conversational AI , gamification in education, and information behavior in social media platforms. Research trends in his recent publications include deepfake detection strategies , AI-driven educational frameworks , and social dynamics in misinformation . His studies span diverse populations such as Generation Z and senior citizens , emphasizing the role of technology in public perception and information verification. Key subfields of his work include computational thinking education , crowdsourcing , digital nudges , and user experience in gamified systems . While no formal awards are listed, his contributions to journals like J. Assoc. Inf. Sci. Technol. and conferences such as HCI and ICADL highlight his impact in academic circles.

Ruben Martinsمشاهده پروفایل

استادیار

• Constraint Programming
• Program Synthesis
• Formal Verification
• +۳ مورد دیگر

Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.

• Process Mining
• Business Process Management
• Stochastic Processes
• +۴ مورد دیگر

Dr. Sander Leemans is a Professor at RWTH Aachen University leading the Business Process Management Foundations and Engineering research group. His work focuses on advancing process mining theory and practice with emphasis on stochastic modeling and conformance verification. Leemans' research centers on process mining, business process management, and stochastic process modeling. He investigates conformance checking techniques for probabilistic models, process discovery algorithms, and the integration of exogenous data into process analysis. His work bridges theoretical foundations with practical applications in healthcare, robotic process automation, and inter-organizational systems. Recent publications reveal a concentrated research trajectory in stochastic conformance checking, where Leemans develops methods for matching observed traces to stochastic process models using alignment techniques, entropy metrics, and partial-order reasoning. He also pioneers object-centric process mining frameworks and explores silent transitions in labeled Petri nets, significantly enhancing the precision and applicability of process mining in real-world scenarios. The Business Process Management Foundations and Engineering group under Leemans' leadership drives innovation in process mining through rigorous theoretical development and open-source tooling, maintaining RWTH Aachen's position at the forefront of business process intelligence research.

• Embedded Systems
• Software Verification and Validation
• Model Checking
• +۵ مورد دیگر

Stefan Kowalewski serves as Professor of Embedded Software at RWTH Aachen University, leading the Chair of Embedded Software (Informatik 11) within the Department of Computer Science. His research spans critical domains including medical cyber-physical systems, automotive software, and industrial automation, with over 150 publications demonstrating sustained scholarly impact. Professor Kowalewski's work focuses on three interconnected research pillars: Embedded Systems Verification: Pioneering model checking techniques for PLC code, particularly addressing state space challenges in GRAFCET-based specifications Medical Cyber-Physical Systems: Developing safety-critical software for mechanical ventilation, extracorporeal membrane oxygenation, and ARDS diagnosis systems with strong clinical collaborations Automotive Software: Creating verification frameworks and safety architectures for automated vehicles through projects like UNICARagil Recent publications reveal an increasing integration of AI techniques with traditional verification methods, particularly for medical applications involving neonatal care and critical respiratory support. His 2024-2025 work shows particular emphasis on timing isolation in vehicle communication systems, middleware performance evaluation, and robust AI models for medical diagnosis. Professor Kowalewski maintains active collaborations with RWTH Aachen University Hospital's medical departments and automotive industry partners. His laboratory operates specialized facilities including the Cyber-Physical Mobility Lab for vehicle research and in-vivo testing setups for medical device validation. He has supervised numerous doctoral candidates, with recent students focusing on topics like ARDS classification algorithms, GRAFCET verification techniques, and safety architectures for software-defined vehicles. His educational contributions include developing remote teaching platforms for cyber-physical systems education.

Lars Grunskeمشاهده پروفایل

استاد

• Software Engineering
• Formal Methods
• Model Checking
• +۵ مورد دیگر

Lars Grunske is a Professor at the Department of Computer Science, Faculty of Mathematics and Natural Sciences, Humboldt University of Berlin. His research focuses on software and systems engineering, safety-critical systems, and software evolution. Department: Computer Science University: Humboldt University of Berlin Academic Rank: Professor His work spans automated software analysis, probabilistic model checking, and formal methods for complex systems. Key collaborations include researchers from Swinburne University, University of Hull, and University of Queensland. Recent publications address research software engineering, program repair, and explainability in cyberphysical systems. Professional roles include leadership in examination boards and program committees for conferences like ICSE and ASE. Contact info: Email: grunskel@hu-berlin.de Phone: +49 30 2093-41142 Address: Unter den Linden 6, Berlin

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

دانشیار

• Software Engineering
• Embedded Systems
• Fuzz Testing
• +۳ مورد دیگر

Yu Jiang is an Associate Professor at the School of Software, Tsinghua University, China. His research focuses on software security with emphasis on fuzz testing, embedded systems, and database security. He leads the Software System Security Assurance Group which has discovered over 1,000 bugs in major system software with 300+ CVEs registered. Dr. Jiang's research interests include Software Engineering , Embedded Systems Security , and Cross-Layer Fuzzing . His work addresses vulnerabilities in operating systems, databases, communication protocols, and IoT firmware through innovative fuzzing frameworks. Key contributions include semantic-aware fuzzing for heterogeneous software stacks and learning-based vulnerability detection for embedded systems. His recent publications demonstrate strong trends in database security (Hulk, PUPPY, THANOS), ransomware defense (Fawkes, Preventing Disruption), and web security (JANUS). Research spans both theoretical advances in fuzzing techniques and practical industrial applications, with significant impact evidenced by numerous distinguished paper awards. Career Award, NSFC: 2026 Distinguished Paper Award, ISSTA: 2025 First Prize for Technical Invention, CCF: 2024 Distinguished Paper Award, USENIX Security: 2024 SIGSOFT Distinguished Paper Award, FSE: 2022 Dr. Jiang has advised over 50 graduate students including 20 PhD candidates. His research is supported by major grants including NSFC projects ($600,000 for Software Trustworthiness Construction and $350,000 for Distributed Database Reliability), Huawei ($80,000 for LLM-Powered Fuzzing), and Tencent ($120,000 for LLM-Powered Unit Testing). The Software System Security Assurance Group maintains strong industry partnerships with Huawei, Alibaba, Tencent, and Webank. The group operates cutting-edge infrastructure for fuzz testing across multiple domains including database systems, operating kernels, blockchain platforms, and industrial control systems. Current projects integrate LLM technologies with traditional fuzzing techniques to enhance vulnerability detection in complex software stacks.

• Databases
• Data Management
• Provenance Analysis
• +۶ مورد دیگر

Val Tannen is a Professor at the University of Pennsylvania, specializing in database systems, provenance analysis, and programming languages. His research focuses on data management, query languages, and systems like DBSP and ORCHESTRA. Collaborations include work with co-authors such as Zachary Ives, Susan Davidson, and Todd Green. Key research interests include provenance for databases, incremental view maintenance, and data integration. His work bridges theoretical foundations and practical applications in systems like DBSP for stream processing and ORCHESTRA for collaborative data sharing. Publications span provenance frameworks, query optimization, and distributed systems. While no awards are explicitly listed, his contributions to database theory and systems are widely recognized.

Michael Feldererمشاهده پروفایل

استاد

• Software Testing
• Software Quality Assurance
• Software Architectures
• +۵ مورد دیگر

Prof. Michael Felderer is the Director of the Institute for Software Technology at the German Aerospace Center (DLR) and a full professor at the University of Cologne. His expertise spans software testing, security, architectures, empirical software engineering, and emerging technologies like AI and quantum computing. Previously, he held roles as associate professor at the University of Innsbruck, guest professor at Blekinge Institute of Technology, and CEO of QE LaB Business Services. His research focuses on developing methods to enhance software quality and trustworthiness through collaborations with academia and industry. Education details are not explicitly provided, but his career trajectory indicates advanced academic training in software engineering. Research interests include AI-driven software systems, data trustworthiness in IoT, and agile methodologies. He has co-authored over 200 publications and received 14 best paper awards, with notable recognition from the Journal of Systems and Software. Labs/Teams: Leads the DLR Institute for Software Technology, focusing on open-source software solutions for aerospace, energy, and security domains. Collaborates with global researchers and companies on advanced engineering applications like quantum computing and digital twins.

Anne Remkeمشاهده پروفایل

استاد

• Dependability
• Security
• Critical Infrastructures
• +۵ مورد دیگر

Professor Anne Remke leads the safety-critical systems group at the Faculty of Mathematics and Computer Science at Westfälische Wilhelms-Universität Münster since October 2014. She is also affiliated with the Design and Analysis of Communication Systems group at the University of Twente, where she served as assistant professor from June 2010 and became associate professor in March 2016. Her research focuses on dependability and security in critical infrastructures, particularly electrical power systems and telecommunication networks. Her educational background includes a PhD (2008) and MSc (2004) in Computer Science from the University of Twente and RWTH Aachen respectively. Her doctoral research focused on 'Model Checking Structured Infinite Markov Chains,' for which she publicly defended her thesis in June 2008. Professor Remke's research interests center on cyber-physical systems, with particular focus on evaluation of charging strategies for local energy storage in smart homes and security of control networks (SCADA) in smart grids. Her work bridges theoretical model checking techniques with practical applications in critical infrastructure protection. She has made significant contributions to the analysis of hybrid Petri nets, stochastic models, and the development of tools for dependability evaluation. Her recent publications demonstrate a strong trend toward integrating machine learning with formal verification methods for cyber-physical systems. The research spans stochastic hybrid systems, reachability analysis, and security evaluation of smart grid infrastructures, showing consistent growth in both theoretical foundations and practical applications of dependability analysis. Veni award from Dutch Science foundation (NWO) for 'Counting on a reliable water supply' GI/ITG MMB prize for best diploma thesis in computer and communication systems Best Paper Award at Valuetools 2023 conference Best Repeatability and Artifact Evaluation Award at QEST21 Teaching award from Fachschaft FB10 (2019) Professor Remke has successfully secured multiple research grants including the DFG project 'RealyST: Reachability Analysis for Stochastic Hybrid Systems' in collaboration with RWTH Aachen. She has supervised numerous students including Katharina Sichma, Pauline Blohm, Joanna Delicaris, Verena Menzel, Mathis Niehage, Jonas Stübbe, and Lisa Willemsen. Her research group actively participates in international collaborations and standardization efforts in critical infrastructure security. The safety-critical systems group maintains several research tools including HYPEG (for simulation and analysis of hybrid Petri nets), TimeNET (a GUI for modeling hybrid Petri nets), and a Smart Neighbourhood Simulation Tool for community energy storage and trading. These tools support their research in modeling and evaluating complex critical infrastructures through both analytical methods and simulation techniques.

Jonas Fritzschمشاهده پروفایل

مدرس

• Software Architecture
• Microservices
• Software Quality Assurance
• +۵ مورد دیگر

Jonas Fritzsch is a Lecturer and Research Associate at the University of Stuttgart's Institute of Software Engineering (ISTE), specifically within the Empirical Software Engineering (ESE) department. He holds a postdoctoral position and focuses on advancing software architecture, microservices, and quality assurance methodologies. His research emphasizes modernizing monolithic applications through architectural refactoring and evaluating cloud-native systems' impacts on software quality. His work spans empirical studies on industry practices—such as challenges in microservices evolvability and résumé-driven development—as well as formal verification techniques for safety-critical systems. Dr. Fritzsch leads the Team Fritzsch , contributing to both academic publications and industrial collaboration. Key areas of exploration include: Migrating monolithic architectures to microservices with a focus on quality-driven methodologies Assessing software quality in cloud-native and DevOps environments Empirical investigations into developer behaviors and tool usability His advisory work includes guiding over 20 students in theses and projects, covering topics like LLM-powered paper discovery, refactoring tools, and microservices adoption in cyber-physical systems. Notable contributions include defining résumé-driven development and developing systematic approaches for microservice migration. His research bridges theoretical advancements with practical industry applications, emphasizing empirical validation and tool support.

• Computer Science
• Continuous Time Models of Computation
• Analog Computing
• +۱۲ مورد دیگر

Olivier Bournez is a Professor of Computer Science at École Polytechnique, part of Institut Polytechnique de Paris (IP Paris), where he is affiliated with the Department of Computer Science (DIX) and the Computer Science Laboratory (LIX), a joint CNRS unit (UMR 7161). He previously served as Director of LIX from 2010 to 2015 and currently holds key leadership roles including Vice-head of the Computer Science, Data and Artificial Intelligence department at IP Paris, Head of the 'Proofs and Algorithms' pole, and Head of the 'Algorithms and Complexity' team at LIX. His research focuses on the theoretical foundations of computation, particularly continuous-time models such as analog computing and dynamical systems, computational complexity over real numbers, distributed computing models like population protocols, and the interplay between differential equations and computation. He explores the limits of computability and complexity in both discrete and continuous domains, with applications in verification, rewriting systems, and chemical computation models. The recent publications reflect a strong trend in characterizing computability and complexity using discrete and continuous ordinary differential equations, with significant contributions to the understanding of polynomial-time computation over real numbers and the Turing completeness of chemical reaction networks. His work bridges theoretical computer science, mathematics, and biological computation, often yielding foundational insights with broad implications. MFCS'2023 Best Paper Award (coauthored with Manon Blanc) MCU'2022 Student Best Paper Award (Manon Blanc) ICALP'2016 Best Paper Award (Track B) CIE'2016 Best Paper Award CMSB'2017 Best Paper Award Ackermann Award 2017 (Amaury Pouly, PhD co-supervised) Bournez has advised several successful students, including Amaury Pouly and Manon Blanc, and has secured research funding, notably the ANR project ∂IFFERENCE. He is actively involved in the academic community, managing the Computability in Europe (CIE) association membership and serving on the editorial board of the journal Computability . His work includes educational outreach through articles in La Recherche , Le Monde 's blog 'Binaire', and the co-authorship of a French computer science textbook. He leads the 'Algorithms and Complexity' research team at LIX and is central to the 'Proofs and Algorithms' pole, fostering collaborative research in foundational computer science.

Hans-Peter Piephoمشاهده پروفایل

استاد

• Statistical Methods in Plant Sciences
• Genomic Prediction
• Spatial Modeling for Field Trials
• +۵ مورد دیگر

Prof. Dr. Hans-Peter Piepho is a faculty member at the University of Hohenheim , serving as Director of Biostatistics (340c) within the Institute of Crop Science . His research focuses on advanced statistical methods for plant sciences, including genomic prediction, spatial modeling of field trials, and network meta-analysis. Key research areas: Genotype-environment interaction, mixed model applications, and experimental design in agriculture. Collaborations span plant breeding, cultivar testing, and environmental stress analysis. His group emphasizes mixed model procedures as the backbone of methodological innovation. Recent publications highlight climate change adaptation, nitrogen optimization, and agroforestry yield dynamics. Contact: piepho@uni-hohenheim.de | Fruwirthstr. 23, Institute Building, 211, Stuttgart, Germany