Wojciech Czerwiński is an Associate Professor at the Institute of Informatics, Faculty of Mathematics, Informatics and Mechanics, University of Warsaw. His research lies at the intersection of automata theory, logic, and computational complexity, with a focus on infinite-state systems such as vector addition systems (VASS) and Petri nets. His research interests include: Automata and logic Infinite-state systems Reachability and separability problems Complexity of computational models Formal verification and concurrency theory His recent work has significantly advanced the understanding of the complexity of reachability in VASS, proving it to be Ackermann-complete. This line of research has been published in top venues including FOCS, STOC, LICS, and CONCUR, where several papers received Best Paper Awards. His publications reflect a strong trend toward resolving long-standing open problems in decidability, complexity, and logical definability in infinite-state models. Scientific awards include: Best Paper Award, CONCUR 2022 Best Paper Award, STOC 2019 He leads an ERC-funded project and is actively recruiting PhD students and post-docs. He organizes the Friday Afternoon Seminar and co-organized the Infinite Automata Workshop (2024). He has also contributed to public understanding of science as an editor and author for the journal Delta from 2013 to 2022. His work involves collaboration with leading researchers such as Sławomir Lasota, Jérôme Leroux, Georg Zetzsche, and others. He has made foundational contributions to problems like bisimilarity, language equivalence, and regular separability in various automata models.
جستوجوی استاد و پژوهشگر
استاد راهنما، استاد دانشگاه یا پژوهشگر مناسب برای مسیر پژوهشیتان را پیدا کنید و با او ارتباط بگیرید.
نمایش ۳۱-۳۴ از ۳۴ استاد راهنما
اطلاعات این پروفایلها از صفحات عمومی دانشگاهها جمعآوری شده و ممکن است بهروز نباشد.
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.
Jérôme Lerouxمشاهده پروفایل
پژوهشگر
Jérôme Leroux is a Directeur de Recherche (DR CNRS) at the Laboratoire Bordelais de Recherche en Informatique (LaBRI) , affiliated with the University of Bordeaux , France. His research focuses on formal verification of infinite-state systems, vector addition systems, Presburger arithmetic, and acceleration techniques for symbolic computation. Key research themes include: Vector Addition Systems (VASS) and Petri Nets Automata-based representations for Presburger arithmetic Abstract interpretation and CEGAR frameworks Verification of asynchronous distributed systems His recent publications highlight work on acceleration techniques for convex binary relations, serialized digit automata, and regular acceleration methods for number decision diagrams. These contributions are implemented in tools like the Talence Presburger Arithmetic Suite (TAPAS) and the FAST tool for symbolic verification. Scientific awards include a Best Paper Award at TURING'100 . He has advised several Ph.D. students and postdoctoral researchers, including Alexander Heußner and Thibault Hilaire (current Ph.D. candidate). Leroux is actively involved in organizing conferences like MFCS'23 and serving on program committees for venues such as VMCAI'26 .
- Computer Security
- Privacy
- Program Analysis
- +۲ مورد دیگر
David Lie is a Professor in the Department of Electrical and Computer Engineering at the University of Toronto. He holds additional appointments in the Department of Computer Science and the Faculty of Law. He is a Tier 1 Canada Research Chair in Secure and Reliable Systems, a research lead at the Schwartz Reisman Institute for Technology and Society, an Associate Director at the Data Sciences Institute, a Vector Faculty Affiliate, and a Senior Massey College Fellow. His educational background includes: BASc from the University of Toronto (1998) MS from Stanford University (2001) PhD from Stanford University (2004) David Lie's research spans computer security, privacy, and cybersecurity. He is renowned for pioneering the XOM architecture—a foundational model for modern trusted execution environments like ARM TrustZone and Intel SGX—and developing the widely adopted PScout Android permission mapping tool. His current work emphasizes program analysis, fuzzing, and symbolic execution to enhance software security and reliability, addressing critical vulnerabilities in mobile and system software. His recent publications reveal a strong trajectory in integrating machine learning with program analysis techniques. Key themes include optimizing symbolic execution for Android apps, leveraging LLVM IR for bug detection, and using predictive models to guide test generation. These contributions underscore a practical focus on scalable, automated security tools that bridge theoretical advances with real-world software vulnerabilities. His notable awards include: Best Paper Award at SOSP Tier 1 Canada Research Chair in Secure and Reliable Systems Senior Massey College Fellow No specific information on student advising or research grants was provided in the available text, though his extensive program committee service for top security conferences (OSDI, IEEE Security & Privacy, CCS, etc.) indicates significant academic leadership. David Lie actively contributes to interdisciplinary research ecosystems through his roles at the Schwartz Reisman Institute for Technology and Society (as research lead), the Data Sciences Institute (as Associate Director), and the Vector Institute for Artificial Intelligence (as Faculty Affiliate), fostering collaborations between security research, law, and societal impact studies.