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

• Modeling and Verification of Reactive Systems
• Quantitative Analysis of Stochastic Systems
• Probabilistic Model Checking
• +۸ مورد دیگر

Christel Baier is a full Professor and head of the Chair for Algebraic and Logic Foundations of Computer Science at the Faculty of Computer Science, Technische Universität Dresden, a position she has held since 2006. She previously served as an associate professor for Theoretical Computer Science at the University of Bonn from 1999 to 2006. She is currently the dean of the Faculty of Computer Science at TU Dresden (2025–2027), having been vice-dean from 2019 to 2024. She holds a Diploma in Mathematics (1990), a Ph.D. in Computer Science (1994), and a Habilitation (1999), all from the University of Mannheim. In 2022, she was awarded an honorary doctorate from RWTH Aachen. Her research centers on formal methods in computer science, with a strong emphasis on modeling, specification, and verification of reactive and stochastic systems. She is a leading expert in probabilistic model checking, temporal and modal logics, automata over infinite structures, game theory, and the verification of infinite-state systems. Her work bridges theoretical foundations with practical applications in system reliability and correctness. The recent publications and edited volumes reflect a consistent focus on formal verification, logic in computer science, and tools for system analysis. Her editorial leadership in major venues such as LICS, TACAS, and FoSSaCS underscores her influence in shaping the research agenda in theoretical computer science and formal methods. Jean-Claude Laprie Award in Dependable Computing (2023) Honorary doctorate from RWTH Aachen (2022) Member of Academia Europaea (since 2011) Editor-in-Chief of Acta Informatica (2015–2022) Steering Committee Member of LICS, FoSSaCS, FORTE, and FSEN Extensive service on program committees of top-tier conferences including CAV, CONCUR, and ICALP Christel Baier has advised numerous PhD and master’s students (though not explicitly listed), and has led major research projects funded by DFG, EU, and DAAD. She has organized pivotal events such as CONCUR'06, TACAS'15, and LICS'22. She is actively involved in academic governance, serving on the senate of TU Dresden (2015–2020), as ombudsperson for the Department of Computer Science, and on the Scientific Advisory Board of Schloss Dagstuhl. Her leadership in the German Excellence Initiative and DFG Research Training Groups highlights her role in shaping national research agendas.

• Verification
• Probabilistic Models
• Infinite-State Systems
• +۲ مورد دیگر

Mahsa Shirmohammadi is a CNRS researcher at Institut de Recherche en Informatique Fondamentale (IRIF) , Université de Paris. Her research focuses on verification, probabilistic models, infinite-state systems, automata theory, and numerical computation. Education : PhD from LSV, ENS de Cachan (France) and ULB (Belgium). Previous Affiliation : Postdoctoral researcher at University of Oxford (UK). Her work addresses stochastic games , timed automata , matrix groups , and algebraic computation . Recent publications analyze strategy complexity, synchronization in decision processes, and parametric algebraic problems. Key collaborators include Stefan Kiefer, Richard Mayr, James Worrell, and Patrick Totzke. Her research has been published in venues like ACM SIGLOG News, ICALP, LICS, and ISSAC. Contact: mahsa@irif.fr , +33 (0)1 57 27 92 29, Office 4017 (Sophie Germain building, Paris).

• Logic in computer science
• linear dynamical systems
• automated verification
• +۳ مورد دیگر

James Worrell is a Professor of Computer Science at the University of Oxford , with a focus on logic in computer science , linear dynamical systems , and automated verification . He is also a Fellow of Green Templeton College. His research spans theoretical computer science and formal methods , including work on metric temporal logic , probabilistic semantics , and category theory . His publications address decision problems , verification of linear dynamical systems , and automata theory . James has received the EPSRC Established-Career Fellowship for his work in linear dynamical systems verification . His recent papers include polynomial invariants , polyhedral escape problems , and skolem problem solutions . He has advised students such as Mehran Hosseini , Pascale Gourdeau , and Ventsislav Chonev , and teaches courses like Computational Learning Theory and Logic and Proof . His work appears in venues like ICALP , LICS , and SODA .

• Algorithms
• Game Theory
• Automata
• +۵ مورد دیگر

Marcin Jurdzinski is a Professor at the Department of Computer Science, University of Warwick, with a focus on algorithms, games, automata, and logic. His career spans institutions like the University of Aarhus, University of Paris 7, and UC Berkeley. Research interests include Parity games Stochastic games Timed automata Formal verification Game theory . Recent articles highlight work on parity games, stochastic systems, and timed automata, published in venues like SIAM Journal on Computing, LICS, and CAV. Keywords span Computer Science , Game Theory , and Formal Methods . PhD students mentored include Thejaswini K. S., Michail Fasoulakis, and Ashutosh Trivedi. Funded projects such as Solving Parity Games in Theory and Practice (2017-2021) reflect his research priorities.

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

دانشیار

• Algorithmic Verification
• Automated Reasoning
• Automata Theory
• +۵ مورد دیگر

Christoph Haase is an Associate Professor at the Department of Computer Science, University of Oxford, and a Fellow of St Catherine’s College. His research focuses on developing rigorous mathematical methods for algorithmic verification, automated reasoning, automata theory, and logic in computer science. University of Oxford, UK (Current) University College London, UK (Former) ENS Paris-Saclay, France (Former) Microsoft Research Cambridge, UK (Former) His work includes fundamental contributions to decision procedures for arithmetic theories, particularly in Presburger and Büchi arithmetic, and applications to verification of software and hardware systems. He leads the ARiAT project, funded by an ERC Starting Grant (2020–2025), aiming to advance quantifier elimination and complexity bounds for arithmetic theories. Key publication trends include verification , automata theory , arithmetic logic , computational complexity , and automated reasoning . Collaborations span institutions like University of Paris, UCL, and Microsoft Research. Scientific Awards : ERC Starting Grant (2019) EPSRC Doctoral Prize (during DPhil studies) He has supervised PhD and MEng projects on topics such as SAT solving, linear arithmetic, and matrix semigroups, often co-supervising with researchers like Stefan Kiefer and James Worrell. Teaching includes Logic and Proof at Oxford and Operating Systems at ENS Paris-Saclay.

Bernhard Rumpeمشاهده پروفایل

استاد

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSL)
• +۱۳ مورد دیگر

Bernhard Rumpe is a full Professor at RWTH Aachen University, where he leads the Chair of Software Engineering (Department of Computer Science 3). His research focuses on model-based software and systems engineering (MBSE), domain-specific languages, and generative development techniques to improve software quality and development efficiency. His research interests include: Model-Based Software Engineering (MBSE) Domain-Specific Languages (DSLs) and language workbenches like MontiCore Model-driven digitalization and digital twins Agile integration with formal modeling Applications in embedded systems, AI, automotive, IoT, and cloud systems His team has developed MontiCore, a powerful language workbench used in both academia and industry for creating and processing DSLs, supporting code generation and static analysis. Research projects span theoretical foundations and industrial applications, with over 100 successfully completed projects celebrated recently. The recent publications reflect a strong trend in model-driven engineering, emphasizing formal modeling, automation, and scalability. Key themes include DSL design, variability modeling, digital twins, and integration of MBSE with agile practices. The work bridges theoretical rigor with practical implementation, especially in safety-critical and complex systems. Scientific contributions and leadership are evident through: Founding and leading a major research chair in software engineering Supervising PhD students such as Sage Binder and Brooke Burson Securing and managing over 100 research projects with industrial partners Developing widely used tools like MontiCore He also actively promotes academic careers, inviting applications for PhD and postdoctoral positions in software engineering, including opportunities for habilitation. The research is conducted within the Software Engineering group at RWTH Aachen, which fosters collaboration between students, researchers, and industry partners, focusing on innovation in software development processes and tools.

Ulrike Engelnمشاهده پروفایل

پژوهشگر

• Control Software
• Executable Explanations
• Medical Technology
• +۳ مورد دیگر

Ulrike Engeln is a Researcher at the Institute for Software Systems at Hamburg University of Technology (TUHH), where she is affiliated with the research training group CAUSE. She holds a Master's degree from TUHH, earned in 2023 through a dual study program with a medical technology company. Her work bridges software systems and medical engineering, particularly in the development of innovative control concepts. Her primary research interest lies in executable explanations of control software , aiming to enhance transparency and reliability in software-driven control systems. This work is situated at the intersection of software engineering, formal methods, and medical technology applications. Her academic environment emphasizes model checking, abstract interpretation, and machine learning for data protection, which contextualizes her research within rigorous software analysis frameworks. Ulrike is actively contributing to ongoing research within the CAUSE graduate program, which supports interdisciplinary research in causal structures and explainable systems. While no publications or awards are currently listed, her trajectory suggests a focus on foundational software verification in safety-critical domains. Master's Degree, Hamburg University of Technology (TUHH), 2023 Dual Study Program, Medical Technology Industry Partner She advises no students at this time and has not received any listed scientific awards. Her work is conducted within the Institute for Software Systems, which hosts research in programming languages, program reconstruction, and secure software development.

• Natural Language Processing
• Temporal Information Extraction
• Misinformation Detection
• +۲ مورد دیگر

Leon Derczynski is a researcher at the IT University of Copenhagen with a focus on Natural Language Processing and computational linguistics. His work spans multiple NLP subfields including temporal information extraction , misinformation detection , and social media analysis . He has contributed to the development of NLP resources for Danish and Nordic languages, and created frameworks like garak for model security probing. Research interests include: Temporal relation classification and time expression modeling Social media analysis and misinformation detection Model efficiency and resource-aware NLP Scandinavian language processing Ethical considerations in NLP Publications highlight trends in transformer architecture optimization , set-to-sequence modeling , and abusive language detection . His work frequently appears in top venues like Transactions of the Association for Computational Linguistics , EMNLP , and COLING . Key collaborations include work with Kalina Bontcheva on rumor evaluation, Manuel R. Ciosici on efficient NLP methods, and Erick Galinkin on model security. He has also contributed to datasets like the Danish Gigaword Corpus and evaluation frameworks like Risk Cards for model deployment assessment.

Verena Klösمشاهده پروفایل

استاد

• Explainable AI
• Cyber-Physical Systems
• Self-Adaptive Systems
• +۴ مورد دیگر

Prof. Dr. Verena Klös is a full professor at the Department of Computing Science, Carl von Ossietzky University of Oldenburg, Germany, leading the research group on Embedded Hardware/Software Systems. She previously held positions as Juniorprofessor (W1) for Computer Science at TU Dresden's Centre for Tactile Internet with Human-in-the-Loop (CeTI) and as a postdoctoral researcher at TU Berlin. PhD in Computer Science from TU Berlin (2020) Master in Computer Science from TU Berlin (2012) Bachelor in Computer Science from TU Berlin (2010) Her research focuses on (self-) explainable intelligent cyber-physical systems , formal modeling, and verification of self-adaptive systems. She has contributed to hardware/software co-design, runtime goal management, and tactile computing. Recent publications (2021-2024) examine explainability in reinforcement learning, anomaly detection in autonomous systems, and adaptive control mechanisms. Keywords span artificial intelligence, formal verification, and embedded systems engineering. Distinguished Paper Award (SEAA 2015) She leads research seminars and project groups on embedded systems and self-adaptive systems at University of Oldenburg, with teaching experience in both hardware/software co-design and software engineering for explainable systems.

Kevin Bönischمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Natural Language Processing
• 3D Visualization
• +۷ مورد دیگر

Kevin Bönisch is a researcher at the Text Technology Lab, Goethe University Frankfurt. With a background in software development (5 years as C# .NET full-stack developer) and concurrent Master's studies in Computer Science, he bridges practical software engineering with academic research through projects like the Unified Corpus Explorer and Viki LibraRy virtual reality systems. His work spans NLP, 3D visualization, and machine learning applications. DFG New Data Spaces program contributor Kaggle competition participant GitHub demonstrator Research focuses include annotation-based corpus exploration , causal inference in LLMs , and collaborative hypertext systems . His 2025 NAACL Best Demo Paper showcased UCE system innovations, while 2024 LIRAI workshop work demonstrated legal document retrieval via SVR ensembles. Notable awards include IAV-Coding competition first place , DESIGNRUSH website design recognition , and Goethe-University Innovation Prize finalist . Key projects: ROBERT dialogue system , BIOfid biodiversity service , and Bundestags-Mine legislative analysis .

Ralf Plattfautمشاهده پروفایل

استاد

• Process Management
• Business Process Innovation
• Digital Transformation
• +۵ مورد دیگر

Ralf Plattfaut is Professor for Information Systems and Transformation Management at the University of Duisburg-Essen since 2023, where he leads the business process innovation and automation lab. Previously, he served as Professor for Business Informatics at South Westphalia University of Applied Sciences (2019-2023) and as Associate Partner at McKinsey & Company (2013-2019). His academic journey includes research positions at the European Research Center for Information Systems at University of Münster and visiting fellowships at Queensland University of Technology and University of Liechtenstein. His educational background includes: Master of Science in Information Systems (MScIS) from WWU Münster (2009), thesis on 'Lean Enterprise Content Management' Bachelor of Science in Information Systems (BScIS) from Hochschule Liechtenstein (2008), thesis on 'IT-Controlling - Investitionsrechnung und Simulation auf Basis des ARIS-Toolset' Studies in Information Systems at WWU Münster (2004-2009) with core subjects in Business Administration, Information Systems, and Finance PhD studies in Information Systems at University of Münster (2009-2013) Plattfaut's research focuses on business process management, digital transformation, and process automation. His work bridges academic theory with practical business applications, particularly examining how organizations implement and govern process innovations. He has made significant contributions to understanding Robotic Process Automation adoption, process mining applications, and the challenges of digital transformation in various sectors including healthcare, utilities, and public administration. His publication portfolio shows a clear trajectory from foundational work on process modeling and IT controlling through to contemporary research on AI-supported process automation and the societal implications of digital transformation. Recent work increasingly addresses the intersection of process management with emerging technologies while maintaining focus on practical implementation challenges faced by organizations. His scientific recognition includes multiple best paper nominations and awards at premier conferences including ICIS, HICSS, and BPM. Notably, he won the MINTchallenge for innovative teaching and received awards for research on public sector process management and RPA implementation challenges. As an active academic leader, Plattfaut serves on editorial boards for Information Systems and e-Business Management and Intelligent Systems in Accounting, Finance and Management journals. He has chaired tracks at major conferences including Wirtschaftsinformatik and Business Process Management conferences. His funded research projects demonstrate strong connections between academic inquiry and practical business needs, with recent grants from DFG, BMBF, and state ministries supporting research on process automation, process mining in utilities, and lightweight IT governance. Plattfaut maintains an active consulting practice supporting organizations on digital transformation journeys, particularly focusing on business process innovation. He also serves on the Advisory Board 'Digitale Region menschlich gestalten' for the Regional Development Programme 'Regionale 2025'.

Thomas Nollمشاهده پروفایل

دانشیار

• Static Program Analysis
• Quantum Software Compilation
• Reliability Engineering
• +۱ مورد دیگر

Dr. Thomas Noll is an Associate Professor at the Department of Computer Science, RWTH Aachen University. He is a member of the Software Modeling and Verification Group (MOVES) led by Prof. Joost-Pieter Katoen. Research Interests Static Program Analysis for Software Optimization and Verification Compilation of Quantum Software Reliability, Safety, and Security of Hardware/Software Systems Formal Verification of Artificial Neural Networks He has supervised over 30 bachelor's and master's theses at RWTH Aachen University from 2002 to 2024, including topics on probabilistic model checking, neural network verification, and program analysis. His administrative roles include Examination Board membership for Computer Science (since 2012), QVM funds management (since 2024), and student advising across multiple disciplines. He has participated in over 40 program committees and organized 8 conferences/workshops since 2004, focusing on formal verification and software engineering applications.

• Computer Science
• Software Engineering
• Formal Methods
• +۳ مورد دیگر

Mnacho Echenim is a Professor at Grenoble Institute of Technology, affiliated with ENSIMAG School of Engineering and Computer Science. He earned his PhD in 2005 under the supervision of Thierry [...]. University: Grenoble Institute of Technology School: ENSIMAG School of Engineering and Computer Science Academic Rank: Professor His research fields of interest include Computer Science , Formal Methods , and Automated Reasoning , aligning with ENSIMAG's focus on theoretical and applied computational disciplines.

• Automated Theorem Proving
• Machine Learning
• Formal Verification
• +۶ مورد دیگر

Konstantin Korovin is a Reader at the Department of Computer Science, The University of Manchester. He has held various academic roles including Senior Lecturer (2015-2023), Royal Society University Research Fellow (2007-2015), and Research Associate (2004-2007). Current research focuses on automated theorem proving , machine learning integration , and verification of hardware/software . His work includes developing systems like iProver , iProver-ML , and SMLP , which combine formal methods with ML techniques. Key contributions span non-linear constraint solving , quantified Boolean logic , and DNA computing . He has won over 20 international awards, including SMT-COMP and CASC categories. Scientific Awards : Ackermann Award, Best Thesis Prize, Best Paper at FroCoS'19, CASC and SMT-COMP prizes. He supervises PhD and postdoc researchers, with alumni working at Intel, Google, and MathWorks. His tools are applied in industry, notably by Intel for hardware optimization.

• Autonomous Vehicles
• Reachability Analysis
• Temporal Logic
• +۳ مورد دیگر

Florian Lercher is a Researcher at the Department of Cyber Physical Systems at the Technical University of Munich (TUM). He joined the group led by Prof. Matthias Althoff in April 2023 as a PhD student and research assistant. His work focuses on motion planning for autonomous vehicles, particularly integrating reachability analysis and temporal logic for specification-compliant driving corridors. Education: B.Sc. in Informatics (TUM, 2020), M.Sc. in Software Engineering (TUM, LMU Munich, and University of Augsburg, 2022) Research: Traffic rule-compliant motion planning, hybrid systems verification, and formal methods in autonomous driving Teaching: Lectures and practical courses on AI fundamentals and formal methods for cyber-physical systems His recent publications emphasize efficient driving corridor extraction, temporal logic simplification, and model checking for hybrid systems. He actively supervises student theses on topics like SAT-based refinement guidance and inverse reinforcement learning for autonomous vehicles.