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

Andreas Abelمشاهده پروفایل

مدرس ارشد

• Type Theory
• Dependent Types
• Programming Languages
• +۷ مورد دیگر

Andreas Abel is a Senior Lecturer in the Department of Computer Science and Engineering at Gothenburg University, with additional affiliation at Chalmers University of Technology. He is a senior developer of the Agda programming language and maintains the Backus Naur Form Compiler (BNFC). His educational background includes a Computer Science diploma (1999), PhD (2006), and Habilitation (2013), all from Ludwig-Maximilians-University (LMU) Munich. His career spans positions at LMU, INRIA Paris, and Chalmers before his current role at Gothenburg University since 2013. Abel's research focuses on dependently typed programming , type theory , and verified software development . His work bridges theoretical foundations with practical implementations, particularly in the Agda proof assistant. His interests span from foundational aspects of lambda calculus and normalization to practical applications in programming language design. His publications demonstrate a consistent focus on type theory foundations and practical implementations, with recent work exploring applicative functors, cubical type theory, modalities in type systems, and formalizations of algebraic structures. His research often combines deep theoretical insights with concrete implementations in proof assistants. Distinguished Paper Award at ICFP 2019 (4 out of 39 accepted papers) Editor of Theoretical Pearls column, Journal of Functional Programming Member of IFIP WG 1.3 on Foundations of System Specification Abel actively supervises students through the Initial Types Club and Master's thesis projects, focusing on advanced topics in programming languages and type theory. He teaches Programming Language Technology and Advanced Functional Programming, emphasizing both theoretical foundations and practical implementation. His current research is supported by a Vetenskapsrådet grant for the project 'Modal Dependent Type Theory' (2020-2024), continuing his long-standing contributions to programming language theory and formal verification.

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

پژوهشگر ارشد

• Computational Biomechanics
• Computational Solid Mechanics
• Experimental Biomechanics
• +۷ مورد دیگر

Dr. Jonas Biehler is a Research Fellow at the Chair of Numerical Mechanics within the Institute for Computational Mechanics at the Technical University of Munich (TUM). His work focuses on computational methods for biomechanical systems, with expertise in uncertainty quantification, high-performance computing, and machine learning applications in respiratory and cardiovascular modeling. Education: PhD in Mechanical Engineering, Technical University of Munich, 2016 His primary research spans Computational Biomechanics, Computational Solid Mechanics, and Experimental Biomechanics, with specialization in Inverse Problems and Uncertainty Quantification. He integrates High-performance parallel computing with Machine Learning and Bayesian Optimization to advance Respiratory Mechanics and Semantic Segmentation of medical images. His methodologies address complex challenges in patient-specific modeling where experimental validation is constrained. Analysis of his 2021-2025 publications reveals dominant themes in respiratory system modeling (35%), uncertainty quantification frameworks (30%), and cardiovascular biomechanics (25%). Key trends include the development of open-source tools like QUEENS for solver-independent analyses, physics-informed machine learning for drug delivery optimization, and multi-fidelity approaches that reduce computational costs by 40-60% in large-scale simulations. His work increasingly bridges computational models with clinical applications in ARDS and pulmonary fibrosis. No scientific awards were documented in the provided materials. Dr. Biehler has supervised 15+ student projects with emphasis on methodological innovation and experimental validation: Deep Neural Networks as Surrogate Models for Uncertainty Quantification Multi-Level Monte Carlo Schemes for Uncertainty Quantification Experimental and Numerical Analysis of Nonlinear Anisotropic Polymer Membranes Uncertainty Quantification for Human Respiratory System Models Biaxial Measurement of Porcine Aorta Mechanical Properties He operates within the LNM (Lehrstuhl für Numerische Mechanik) research ecosystem at TUM, which maintains high-performance computing clusters and biomechanics testing facilities. The group collaborates extensively with clinical partners at Klinikum rechts der Isar on translational projects involving abdominal aortic aneurysms and respiratory mechanics, with current efforts focused on integrating real-time patient data into computational frameworks.

Mario Günzelمشاهده پروفایل

پژوهشگر

• Real-Time Systems
• Embedded Systems
• Self-Suspension
• +۴ مورد دیگر

Mario Günzel is a Researcher at the Department of Computer Science, Faculty of Computer Science at Technical University of Dortmund, where he works in the Design Automation for Embedded Systems research group under Prof. Dr. Jian-Jia Chen. Having completed his PhD in 2024 with a dissertation on property-based timing analysis of distributed real-time systems, he has established himself as a leading researcher in real-time systems with over 30 publications and multiple prestigious awards including Best Paper Awards at ECRTS 2023 and EMSOFT 2024, as well as an Outstanding Paper Award at RTSS 2024. PhD in Computer Science, Technical University of Dortmund (2024) M.Sc. in Mathematics, University of Duisburg-Essen (2019) B.Sc. in Mathematics, University of Duisburg-Essen (2017) Günzel's research focuses on the theoretical and practical aspects of real-time systems, particularly in self-suspending tasks and end-to-end latency analysis of cause-effect chains. His work bridges formal methods with practical applications in embedded systems, automotive systems, and robotics. He has developed evaluation frameworks like SSSEvaluation and E2EEvaluation that have become important tools in the real-time systems community. His research demonstrates exceptional depth in both theoretical foundations and practical implementations, with significant contributions to scheduling algorithms, timing analysis, and real-time operating systems. The recent publication trend shows Günzel's expanding research scope from core real-time scheduling problems to applications in automotive systems, electric vehicle scheduling, and ROS 2 integration. His work consistently addresses fundamental challenges in real-time systems while developing practical solutions with real-world applicability. The publications reveal a strong focus on eliminating timing anomalies, optimizing priority assignments, and developing distribution-agnostic analysis methods that advance the theoretical foundations of real-time systems. Outstanding Paper Award at IEEE RTSS (2024) Best Paper Award at ACM EMSOFT (2024) Best Paper Award at ECRTS (2023) Outstanding Bachelor Thesis Award (2017) UDE Scholarship (2014-2019) Günzel actively supervises bachelor's and master's theses, with recent completed works including 'Odometry and IMU Fusion for Pose Estimation' and 'Evaluation Framework for End-to-End Analysis'. He has served in various organizational roles for major conferences including Publicity Co-Chair for RTSS 2025 and Publicity Chair for ECRTS 2025. His service to the community extends to editorial roles for journals including Real-Time Systems Journal and ACM Transactions on Embedded Computing Systems. Under Günzel's supervision, the research group maintains important open-source tools including SSSEvaluation (Evaluation Framework for Schedulability of Self-Suspending Tasks) and E2EEvaluation (Evaluation Framework for End-to-End Latency of Cause-Effect Chains), which have been adopted by researchers worldwide. He is also involved in collaborative projects with institutions including Scuola Superiore Sant'Anna in Pisa (planned research stay Feb-Apr 2025) and Eindhoven University of Technology.

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

پژوهشگر

• Software Verification
• Formal Methods
• Software Testing
• +۹ مورد دیگر

Thomas Lemberger is a researcher in the Department of Computer Science at Ludwig-Maximilians-Universität München (LMU Munich), contributing to the Software and Computational Systems Lab. He specializes in software verification, formal methods, and automated testing, with a focus on improving tool efficiency and scalability. His work includes extensions to CPAchecker, such as distributed summary synthesis and cooperative verification approaches, as well as developing user-friendly tools like CoVeriTeam GUI. His research interests involve integrating verification into build systems and IDEs, optimizing verification workflows, and exploring hybrid techniques that combine testing and formal methods. He has actively participated in competitions like SV-COMP and Test-Comp, contributing tools like PRTest and Nacpa. His projects aim to reduce tool restarts, enhance fault localization, and streamline verification processes through parallel portfolio analyses. Thomas mentors students on topics related to verification tool development, test-case generation, and open-source software. His contributions are supported by grants from the DFG (CONVEY, COOP, IDEFIX), emphasizing cooperative verification and scalable analysis. Recent work focuses on enabling developers to use verification tools seamlessly within their existing workflows.

Philipp Wendlerمشاهده پروفایل

مدرس

• Software Verification
• Formal Methods
• Program Analysis
• +۵ مورد دیگر

Philipp Wendler is an academic lecturer in the Department of Computer Science at Ludwig-Maximilians-Universität München (LMU Munich). He is affiliated with the Software and Computational Systems Lab and actively involved in research, teaching, and open-source tool development. As an employee representative in the steering committee of the Institute of Informatics, he contributes to institutional governance. His research focuses on software verification, formal methods, and program analysis. Key projects include CPAchecker (a configurable verification framework) and BenchExec (a benchmarking tool). His work emphasizes practical applications in automated testing, energy-efficient algorithms, and reproducible benchmarking. Publications span topics like interpolation-based model checking, energy measurement tools, and strategies for software verification competitions. He has contributed to advancing predicate analysis, k-induction, and refinement selection techniques. Notable achievements include leading the development of CPAchecker and BenchExec, which are widely used in academic and industrial verification efforts. His research addresses challenges in scalable verification, flaky test analysis, and energy-aware computing.

Maximilian R. Odenbrettمشاهده پروفایل

پژوهشگر

• Formal Methods
• Parallel Computing
• Model Checking
• +۳ مورد دیگر

Maximilian R. Odenbrett was a PhD student at Eindhoven University of Technology (2010–2011), collaborating with RWTH Aachen University's MOVES group. His research focused on Efficient Multi-Core Model Checking , leveraging NVIDIA's CUDA for parallel processing on GPGPUs. He specialized in formal methods, stochastic model checking, and parallel programming for multi-core systems. Education : Diplom-Informatiker (Computer Science) from RWTH Aachen University (2004–2010), with a minor in Psychology. Research Interests : Development of parallel algorithms for formal verification, application of GPUs in bioinformatics (e.g., biological network analysis), and model-based analysis of software systems. His work bridges theoretical formal methods with practical parallel computing solutions. Publications : Focused on applying GPGPUs to model checking and bioinformatics problems, as seen in his BMC Bioinformatics paper (2012) and conference contributions on AADL specification analysis (2010). His research emphasizes scalability and efficiency in computational systems. Affiliations : Collaborated with Prof. Joost-Pieter Katoen's MOVES group at RWTH and Prof. P.A.J. Hilbers' BMI group at TU Eindhoven. His work contributed to the EMCMC project on multi-core model checking.

Joaquin Aguadoمشاهده پروفایل

مدرس

• Computer Science
• Synchronous Programming
• Concurrency
• +۱۱ مورد دیگر

Joaquin Aguado is a Lecturer in the Department of Computer Science at Constructor University Bremen, Germany. He is affiliated with the School of Computer Science & Engineering and contributes to academic programs such as Computer Science, Software Data and Technology, and Robotics and Intelligent Systems. His research focuses on synchronous programming, deterministic concurrency, and formal semantics. Key areas of interest include compositional timing analysis, SCCharts for safety-critical applications, and constructive scheduling frameworks. His work bridges theoretical computer science with practical applications in embedded systems and real-time computing. Selected publications highlight his contributions to synchronous reactive multithreading, dataflow programming strategies, and conformance testing of distributed systems. These include titles like "Synchronised Shared Memory and Model Checking" and "SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications" .

Chris Köcherمشاهده پروفایل

پژوهشگر

• Algorithms
• Theory & Logic
• Programming Languages
• +۹ مورد دیگر

Chris Köcher is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on theoretical computer science, with a strong emphasis on formal methods, automata theory, and verification of complex systems. He leads research in areas such as algorithms, programming languages, cyber-physical systems, and security. His research bridges foundational theory and practical applications, addressing challenges in distributed systems, mobile systems, and privacy-preserving technologies. His research interests span formal language theory, verification of concurrent systems, and the analysis of storage mechanisms in automata. Notably, he has contributed to the study of queue automata, multi-pushdown systems, and the decidability of reachability problems in lossy systems. His work often intersects with theoretical computer science and algebraic structures, exploring topics like monoids and trace languages. Chris’s publications reflect a deep engagement with foundational questions in computer science, including the verification of cooperating multi-pushdown systems, the complexity of semilinear set separability, and the formal analysis of hard attention mechanisms in transformers. His research has implications for improving the reliability and security of software systems through rigorous mathematical foundations. He is affiliated with MPI-SWS, a leading research institution in software systems, and contributes to the institute’s mission to advance theoretical and applied research in computer science. His work is supported by collaborations within the institute and the broader academic community.

Laurent Doyenمشاهده پروفایل

پژوهشگر

• Game Theory
• Automata Theory
• Formal Verification
• +۷ مورد دیگر

Laurent Doyen is a CNRS Researcher at the Laboratoire Méthodes Formelles (LMF), ENS Paris-Saclay. He holds a PhD from the Université Libre de Bruxelles (2006) and an HDR from ENS Cachan (2012). His research focuses on formal methods, game theory, automata, and verification of quantitative and probabilistic systems. PhD: Université Libre de Bruxelles, 2006 HDR: ENS Cachan, 2012 Research Interests: Laurent's work centers on algorithms and tools for the verification and synthesis of reliable software, hardware, and embedded systems. His primary areas include game and automata theory, with a focus on discrete quantitative and probabilistic systems, timed and hybrid systems. He investigates synchronization, mean-payoff objectives, and imperfect information in games, contributing significantly to theoretical foundations and practical tools. The recent publications highlight a strong trend in stochastic games, synchronization in Markov decision processes, and quantitative verification. His work spans theoretical computer science, formal methods, and practical applications in system design, often appearing in top venues like LICS, ICALP, and CONCUR. Scientific Awards: No specific awards mentioned in the provided text. Advising and Grants: Laurent has advised several PhD students including Mahsa Shirmohammadi, Julien Reichert, Thomas Soullard, and Pranshu Gaba. He leads and participates in multiple research projects such as QuaVerif (PI), IFCPAR SMILeS (coPI), Cassting, ARiSE, and Quasimodo. He has been a Rutherford Visiting Fellow at the University of Warwick and is involved in various academic communities like GAMES, CFV, and GDR-IM. Labs and Teams: He is a key member of the Laboratoire Méthodes Formelles (LMF) at ENS Paris-Saclay and has been associated with the LSV (Laboratoire Spécification et Vérification) in the past. He contributes to the development of tools like Alaska and Alpaga for automata analysis and model checking.

B Srivathsanمشاهده پروفایل

دانشیار

• Formal verification of real-time systems
• Automata theory
• Games
• +۱ مورد دیگر

B Srivathsan is an Associate Professor in the Computer Science Department at the Chennai Mathematical Institute . His research focuses on formal verification of real-time systems , automata theory , game theory , and concurrency . He has a dual degree in Computer Science and Engineering from IIT Bombay (2004-2009), a PhD from LaBRI, University of Bordeaux (2012), and post-doctoral experience at RWTH Aachen (2012-2013). Education: B.Tech + M.Tech, IIT Bombay Ph.D., University of Bordeaux Post-doc, RWTH Aachen Research Interests: He specializes in formal verification techniques for real-time systems using timed automata, with applications in critical systems like pacemakers. His work explores automata theory, game-theoretic approaches, and efficient algorithms for verification tasks, including zone-based abstractions and handling diagonal constraints. Publication Trends: His recent work (2024-2025) addresses event-clock automata simulations, MITL model-checking, and deterministic suffix-reading automata. Earlier publications (2019-2022) focus on local-time semantics, negotiation modeling, and scalable verification algorithms for timed systems. PhD Supervision: He advises five current students, including part-time student R. Keerthan at TCS Pune, and co-advises others with researchers from IIT Bombay and ENS Paris-Saclay. Three students have completed their PhDs under his guidance. Professional Service: He serves as President of IARCS (2024-present), previously as Secretary (2017-2023), and chairs program committees for conferences like ATVA 2025. He organizes workshops including the IARCS Verification Seminar and Games Workshop 2020 .

Grégoire Sutreمشاهده پروفایل

پژوهشگر ارشد

• Formal Verification
• Model Checking
• Infinite-State Systems
• +۷ مورد دیگر

Grégoire Sutre is a CNRS Research Fellow at LaBRI, University of Bordeaux, specializing in formal verification and model checking of infinite-state and concurrent systems. His research includes theoretical and practical aspects of verification, with applications ranging from systems code to biological models. Research Interests: Model-checking of safety properties Infinite-state and distributed systems Abstraction refinement techniques Vector addition systems and Petri nets Software verification and concurrent systems Teaching: He currently teaches Software Verification at the Master 2 level, with lab sessions in OCaml focusing on abstract interpretation and static analysis techniques. Students: He supervises several PhD students working on reachability, concurrency, and binary analysis. Projects: He has led or participated in multiple ANR-funded projects such as BraVAS, ReacHard, VACSIM, and SPaCIFY, focusing on formal methods and verification of critical systems.

• Logics and automata theory
• Formal languages
• Expressiveness problems and finite models
• +۴ مورد دیگر

Marc Zeitoun is Professor of Computer Science at the University of Bordeaux, teaching within the UFR Informatique and conducting research in the M2F team at LaBRI. His work focuses on theoretical computer science, especially logics, automata, formal languages, and verification. Research interests: Logics and automata theory Formal languages and expressiveness Finite-model theory and algebraic/topological connections Algorithms for finite automata and quantitative games Automatic verification and model-checking Distributed and infinite systems He has led or participated in several ANR projects (UnReAL 2025–2029, Delta 2016–2022, FREC 2010–2014) and develops the MeSCaL software for computations on regular languages. Teaching: Introduction à la calculabilité (L2 Math-info & CMI) Théorie de la complexité (M1 Cryptologie & Sécurité Informatique) Student supervision: Co-supervised Thomas Place (Master CSI, Complexity Theory)

Nour Aliمشاهده پروفایل

استاد

• Software Engineering
• Software Architecture
• Adaptive Systems
• +۳ مورد دیگر

Dr. Nour Ali serves as a Professor and Vice-Dean of Education in the College of Engineering, Design and Physical Sciences at Brunel University London, where she co-heads the Brunel Software Engineering Lab. With a PhD in Software Engineering from Universidad Politecnica de Valencia and a Computer Science degree from Bir-Zeit University, she brings extensive international experience from previous positions at University of Brighton, Lero (Irish Software Engineering Research Centre), and Politecnico di Milano. PhD in Software Engineering, Universidad Politecnica de Valencia, Spain Major in Computer Science, Bir-Zeit University, Palestine PG Certificate in Teaching and Learning in Higher Education, University of Brighton Fellow of the Higher Education Academy (HEA) Her research focuses on developing software architecture techniques for distributed, mobile, and adaptive systems, with particular expertise in microservice architecture recovery and visualization. With over 70 publications spanning two decades, her work bridges theoretical architecture principles with practical implementation challenges. Recent research demonstrates a strong focus on microservice architecture recovery tools like MiSAR and analysis of service granularity adaptation. Dr. Ali has made significant contributions to the software engineering community through editorial roles including Deputy Editor in Chief of IET Software, committee memberships for major conferences like ICSE and ASE, and reviewer positions for EPSRC and other funding bodies. Her publications reveal consistent contributions across architecture consistency, microservice systems, and adaptive requirements engineering, with recent work increasingly focusing on practical tool development for architecture recovery. External Examiner, York St John University (2021-2025) Deputy Editor in Chief, IET Software Committee member for ICSE, ASE, EASE, ICSA, MOBILESoft conferences EPSRC Full College Member (2018-present) Reviewer for Dutch Research Council (NWO), UK UNESCO Newton Prize As an educator, Dr. Ali leads CS3100 Software Project Management and contributes to multiple undergraduate and postgraduate courses. Her teaching philosophy integrates research insights with practical software engineering skills, supported by her PG Certificate in Teaching and Learning and HEA Fellowship. She actively supervises PhD students and contributes to curriculum development as Vice-Dean of Education for her college.

Joanne M. Atleeمشاهده پروفایل

استاد

• Software Engineering
• Software Product Lines
• Domain-Specific Languages
• +۵ مورد دیگر

Joanne M. Atlee is a Professor in the Department of Computer Science at the University of Waterloo, Faculty of Mathematics. She has been an active member of the software engineering research community since at least 2015, with continuous involvement in major conferences through 2025. Her research focuses on software product lines, domain-specific languages, cyber-physical systems, and model-driven engineering. She has made significant contributions to variability management and formal methods in software engineering, with publications spanning industrial case studies, model analysis techniques, and language workbenches. Her recent publications demonstrate a strong emphasis on practical applications of software engineering theory, particularly in the areas of dynamic product lines, declarative analysis, and human-in-the-loop verification systems. Her work bridges theoretical foundations with industrial applicability. Dr. Atlee has held numerous leadership positions in the academic community, including serving as General Chair for ICSE 2019, one of the most prestigious conferences in software engineering. She has also been active as a committee member, session chair, and mentor across multiple conferences including ASE, ICSE, ESEC/FSE, and MODELS. In terms of academic service, she has contributed to doctoral symposia, new faculty development, and equity initiatives, demonstrating a commitment to mentoring the next generation of researchers and promoting diversity in computing.

Nian-Ze Leeمشاهده پروفایل

استادیار

• Formal Methods
• Model Checking
• Program Analysis
• +۵ مورد دیگر

Nian-Ze Lee is an Assistant Professor at the Department of Electrical Engineering, College of Electrical Engineering and Computer Science, National Taiwan University, Taiwan, where they lead the Formal Methods and Analysis for Computing and Engineering Laboratory (ForMACE Lab). Additionally, Lee holds a position as a Gastprofessor (Guest Professor) affiliated with the Software and Computational Systems Lab (SoSy-Lab) at LMU Munich, Germany. Lee's research focuses on formal methods, with particular expertise in model checking, program analysis, and electronic design automation. Their work bridges hardware and software verification, developing techniques that transfer methodologies between these domains. A significant portion of their research involves stochastic Boolean satisfiability and threshold logic circuits, with applications in both hardware and software verification. Lee's recent publications demonstrate a strong trend toward developing cross-domain verification techniques, particularly focusing on how hardware model checking approaches can be adapted for software verification. Their work on interpolation-based model checking and configurable program analysis has received recognition through multiple best paper and artifact awards at top-tier conferences. ACM SIGSOFT Distinguished Paper Award (FSE 2024) Best Artifact Award (FSE 2024) Distinguished Artifact Award (TACAS 2024) Best Paper Award (SPIN 2024) Lee has secured research funding including a grant from the German Research Foundation (DFG) for the project 'Bridging Hardware and Software Analysis.' They actively maintain several software projects including Btor2C, Btor2-Cert, CPV, MoXIchecker, and contribute to CPAchecker and BenchExec. Lee is currently recruiting Ph.D., Master's, and Bachelor's students to work on formal methods research, with Ph.D. students potentially enrolled at LMU Munich through a DFG-funded project.