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

• Compiler Design
• Static Analysis
• Programming Languages
• +۵ مورد دیگر

Michael Petter is a faculty member at the Technische Universität München (TUM), affiliated with the School of Computer Science II (Informatik 2) and the Department of Languages and Description Structures in Computer Science. He specializes in compiler design, static analysis, and formal verification, with a focus on developing tools like the Goblint framework for multi-threaded C programs. His teaching spans courses such as Compiler Construction, Program Optimization, and Functional Programming, reflecting his expertise in programming languages and software engineering. His research interests include static analysis techniques, concurrency control, and abstract interpretation frameworks. He has contributed to advancements in flow-sensitive analysis, context-sensitivity management, and precision recovery in program analysis. Recent work emphasizes improving static analysis tools for industrial benchmarks and enhancing their usability through incremental methods. Petter’s publications highlight innovations in numerical abstract domains (e.g., octagons), non-local jump misuse detection, and thread-modular analysis for multi-threaded systems. His involvement in projects like the DFG Research Training Group ConVeY underscores his commitment to advancing continuous verification in cyber-physical systems. He advises thesis projects on topics like quantum computing at compile time and program synthesis, fostering interdisciplinary collaboration. While actively engaged in academic events and editorial roles, he maintains a lab focused on cutting-edge compiler and static analysis research.

Lutz Schröderمشاهده پروفایل

استاد

• Formal Methods
• Logic in Computer Science
• Knowledge Representation
• +۵ مورد دیگر

Lutz Schröder is a Professor and head of the Chair of Computer Science 8 (Theoretical Computer Science) at the Department of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU). He is actively involved in research and leadership within formal methods and logic in computer science. His research interests include Formal Methods , Logic in Computer Science , Knowledge Representation , and Coalgebraic Logic . His work emphasizes theoretical foundations of programming semantics, modal and fixpoint logics, and automated reasoning, often employing category-theoretic and coalgebraic frameworks. His recent publications span top conferences such as LICS, POPL, CSL, and CONCUR, focusing on graded semantics, behavioral metrics, nominal automata, and generic model checking. These works exhibit a strong trend toward unifying logical systems and developing modular, coalgebraic tools for verification. EATCS Best Paper Award at ETAPS 2006 Best Theory Paper at FM 2019 He advises several researchers, including Paul Wild, Jonas Forster, and Daniel Hausmann, many of whom are frequent co-authors. He leads DFG projects such as CoMoC (Coalgebraic Model Checking), SpeQT (Spectra of Behavioural Distances), and is a principal investigator in the DFG Research Training Group 2475 on Cybercrime and Forensic Computing. He has been a PC member or co-chair for major conferences including LICS, IJCAI, FoSSaCS, and STACS, and co-chaired IFIP WG 1.3 from 2016–2022. He is also involved in the development of reasoning tools like COOL and COOL-MC.

Pawel Sobocinskiمشاهده پروفایل

استاد

• Applied Category Theory
• Compositional Systems
• Theoretical Computer Science
• +۱۰ مورد دیگر

Paweł Sobociński is a Professor of Trustworthy Software Technologies at the Department of Software Science, School of Information Technologies, Tallinn University of Technology (TalTech), where he also leads the Laboratory for Compositional Systems and Methods. He is a principal investigator in several major research projects including the Estonian Research Council’s PRG1210 (ALICE), the EU-funded CHESS cybersecurity hub, and the EXAI Centre of Excellence in AI. His academic background includes faculty positions at the University of Southampton and research roles at the University of Cambridge and institutions in France and Italy. His research lies at the intersection of computer science and mathematics, with a focus on applied category theory. He investigates compositional modeling of systems, where the behavior of complex systems emerges from the structured interaction of their components. His work employs string diagrams, process algebras, Petri nets, and categorical semantics to develop formal methods for verifying and reasoning about concurrent and cyber-physical systems. He is particularly known for his contributions to graphical linear algebra and diagrammatic reasoning. The recent publications highlight a strong trend in diagrammatic methods, especially string diagrams, for expressing logic, algebra, and system behavior. These works span from foundational categorical structures to applications in electrical circuits, concurrency, and formal verification, demonstrating a unifying thread of compositional reasoning. His leadership in organizing conferences like LICS 2024 and ICALP 2024 underscores his central role in the theoretical computer science community. His scientific recognition includes numerous invited talks and tutorials at major international venues such as CONCUR, QPL, MFPS, and ETAPS, as well as leadership roles in academic organizations. He is an Associate Editor for journals including Compositionality , Mathematical Structures in Computer Science , and Logical Methods in Computer Science , and has served on the steering committee of ETAPS. Sobociński has supervised multiple PhD students and postdoctoral researchers, including Owen Stephens, Fabio Zanasi, Mario Román, and Elena di Lavore. He is also the director of the PhD programme in ICT at TalTech and has received research grants from the Estonian Research Council, the European Commission, and the Estonian Ministry of Education and Research, supporting his work in trustworthy software, AI, and cybersecurity. He leads the Laboratory for Compositional Systems and Methods at TalTech, a research group focused on developing and applying compositional techniques in software science, with applications in AI, security, and formal verification. The lab fosters international collaboration and is active in organizing workshops and summer schools.

• 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 .

Torbjørn Cunisمشاهده پروفایل

استادیار

• Nonlinear Systems Theory
• Mathematical Optimization
• Optimization-Based Control
• +۳ مورد دیگر

Torbjørn Cunis is a Temporary Academic Councillor / Group Leader at the Institute of Flight Mechanics and Flight Control of the University of Stuttgart. He concurrently serves as an Adjunct Assistant Research Scientist at the University of Michigan and is a member of the Young ZiF at Bielefeld University's Center for Interdisciplinary Research. His expertise lies in nonlinear systems theory, mathematical optimization, and aerospace engineering applications. Education : B.Sc. Computer Science (2013) & Aerospace Computer Engineering (2014), University of Würzburg M.Sc. Automation Engineering (2016), RWTH Aachen University Ph.D. in Systems & Control (2019), ISAE-Supaéro, Toulouse Research Interests focus on optimization-based control strategies, nonlinear system analysis, and their application to aerospace systems. Key areas include upset recovery in aircraft, model-predictive control, and sum-of-squares optimization techniques. His work bridges theoretical systems theory with practical implementations in unmanned aerial systems and flight dynamics. Teaching includes courses on multi-variable control, nonlinear optimization, and systems-theoretical methods for flight control. Professional Affiliations include AIAA, IEEE, and VDI. Research Contributions span over 50 publications, with recent trends emphasizing real-time control algorithms, stability analysis of optimization methods, and cooperative target allocation in aerospace systems. His work often integrates multidisciplinary approaches to solve complex control challenges in aviation and robotics. Lab Affiliations include the Vehicle Optimization Lab (University of Michigan), Automation & Control Group (Aalborg University), and Micro Air Vehicle Lab (Delft University of Technology).

Julia Beckerمشاهده پروفایل

استاد

• Social Psychology
• Racism
• Discrimination
• +۵ مورد دیگر

Prof. Dr. Julia Becker serves as Professor of Social Psychology at the Institute of Psychology within the Faculty of Humanities at the University of Osnabrück, Germany, a position she has held since 2013. She concurrently contributes to interdisciplinary migration research as a member of the Institute for Migration Research and Intercultural Studies (IMIS) since 2016. Her academic profile integrates rigorous experimental methodology with real-world applications addressing contemporary societal conflicts, particularly focusing on intergroup relations in migration contexts. Her educational foundation includes a Diploma in Psychology (2005) and PhD in Social Psychology (2008) from Philipps-Universität Marburg, where she was supported by a DFG Graduate College scholarship (2005-2008). International research experiences enriched her trajectory through visiting positions at University of St Andrews (2011/2012), Simon Fraser University (2009, 2011), and Pennsylvania State University (2008). Becker's research program centers on the psychological mechanisms underlying racism, discrimination, and identity processes within intergroup conflicts. She investigates how macro-level events like economic crises and pandemics amplify intergroup tensions, while examining micro-level dynamics such as cross-group contact effects and allyship behaviors. Her work uniquely bridges social identity theory with practical migration policy challenges, exploring topics from refugee integration to sports-based discrimination. Analysis of her 15 most recent publications (2022-2025) reveals three dominant thematic clusters: pandemic-era migration attitudes (33%), racism in institutional contexts like sports (27%), and psychological foundations of allyship in collective action (40%). Methodologically, she employs experimental designs (47%), longitudinal surveys (33%), and cross-national comparisons (20%), with increasing emphasis on virtual reality techniques for studying protest dynamics. Her current research leadership includes the third-party funded project 'Racism in Sport' (2022-2024), supported by the German Federal Ministry for Family, Seniors, Women and Youth. While specific advising activities aren't detailed in source materials, her professorial role inherently involves supervision of doctoral candidates within Osnabrück's psychology programs, particularly those investigating migration-related intergroup phenomena. Becker actively participates in IMIS's interdisciplinary network, contributing to collaborative projects like DeZIM (German Center for Integration and Migration Research) and TRANSMIT 3 (Transnational Perspectives on Migration and Integration). Her international co-authorship patterns demonstrate sustained research partnerships across European institutions, North American universities, and Australian research centers.

Jérôme Lerouxمشاهده پروفایل

پژوهشگر

• Formal Verification
• Vector Addition Systems
• Petri Nets
• +۷ مورد دیگر

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 .

Matteo Sammartinoمشاهده پروفایل

مدرس ارشد

• Formal Methods
• Concurrency
• Distributed Systems
• +۳ مورد دیگر

Matteo Sammartino is a Senior Lecturer in Computer Science at Royal Holloway University of London, affiliated with the Centre for Programming Languages and Systems. He holds an honorary position at University College London, associated with the Programming Principles, Logic and Verification group. PhD in Computer Science, University of Pisa (2013) Postdoctoral research, Radboud University (2015) His research focuses on formal methods for real-world systems, particularly concurrent/distributed and infinite-state systems. Recently, he has integrated artificial intelligence into automated verification, aiming to solve complex modeling and verification challenges through AI-driven approaches. The paper accepted at CONCUR 2025 exemplifies his work on compositional verification techniques using active learning and alphabet refinement, aligning with his broader interests in formal methods and AI applications.

• Modular development of specification languages
• Algorithms for models of computation
• Coalgebra
• +۴ مورد دیگر

Alexandra Silva is a Professor of Computer Science at Cornell University with prior affiliations as a Royal Society Wolfson Fellow and Professor of Algebra, Semantics, and Computation at University College London . She leads a research group focusing on the modular development of specification languages and algorithms for models of computation, emphasizing coalgebra as a unifying mathematical framework. Research Interests Her work spans foundational and applied areas in theoretical computer science, including: Coalgebraic methods for formal verification Automata theory and learning algorithms Probabilistic programming and semantics Programming language design (e.g., NetKAT, Kleene Algebra with Tests) Concurrency theory and distributed systems Algebraic structures in computation Recent publications address network verification (StacKAT), symbolic automata learning, probabilistic regular expressions, and outcome logic for correctness/incorrectness reasoning. She is actively involved in organizing academic events like OPLSS 2025 and co-authoring foundational works in Formal Aspects of Computing and Theoretical Computer Science . Scientific Awards Distinguished Paper Award (ACM SIGPLAN POPL, 2020) Best Paper Award (RTA, 2015) She teaches courses on Kleene Algebra with Tests (KAT) and verification at summer schools like Marktoberdorf 2025 , and her research includes collaborations on probabilistic network verification (ProbNV) and stochastic system modeling.

• Sustainable Accounting
• Management Accounting
• Management Control
• +۳ مورد دیگر

Pascale Taddei Valenza is an Associate Professor and Deputy Head of faculty in Accounting, Control and Law at EDHEC Business School, where she has been a full-time faculty member since 2001. She is concurrently pursuing an Executive PhD in Sustainable Accounting at the University of Paris Dauphine. Research Expertise Her research specializes in: Sustainable Accounting : Investigating socio-environmental accounting frameworks like the CARE model Management Control : Business performance optimization and operational efficiency Auditing Practices : Fraud risk assessment and compliance mechanisms She maintains active industry engagement through executive training programs for banking professionals and case study development. Professional Contributions Administratively, she oversees academic quality for the BBA program at EDHEC Nice, focusing on instructor recruitment and curriculum development. Her publications include 13+ case studies examining real-world business challenges in auditing, start-up planning, and management control systems.

Steffen Helkeمشاهده پروفایل

استاد

• Software Engineering
• IT Security
• Functional Software Security
• +۳ مورد دیگر

Prof. Dr.-Ing. Steffen Helke serves as a full Professor in the Department of Electrical Engineering & Information Technology at University of Applied Sciences Südwestfalen. His academic roles include Senate membership, evaluation officer for the department, program coordinator for Media Informatics, and spokesperson for the GI Specialist Group Automotive Software Engineering. Current affiliations span committee work in electrical engineering bachelor programs and leadership in safety-critical software research. His research focuses on functional software security , safety-critical system verification , and model-based quality assurance . Key areas include information flow control languages, automotive software security, hierarchical statechart validation, and requirements delta analysis for efficient development estimation. Methodologies emphasize formal verification, static analysis, and tool-supported refactoring to ensure robustness in embedded systems. Teaching encompasses advanced courses in Software Engineering, IT Security, Ethical Hacking, and Competitive Programming. Thesis supervision occurs in research areas like NLP-based requirements analysis, refactorings for security languages (Jif), and model checking for Statecharts. Industrial collaborations facilitate project/bachelor theses with real-world security applications. Research trends from publications show consistent focus on bridging formal methods with industrial software development. Dominant disciplines include Software Engineering (72% of works) and Formal Verification (58%), with emerging subfields like NLP-assisted requirements engineering (2019) and automotive security frameworks. Keyword analysis reveals sustained emphasis on verification (100% of works), security (80%), and automotive applications (40%). Administrative contributions include leadership in the combined Electrical Engineering bachelor program and active participation in university governance through department councils. Tools developed in his research (e.g., Delta Analyzer, R2BC) are integrated into curricula using ReqView, Matlab/Simulink, and Enterprise Architect for systematic requirement engineering and UML modeling.

• Trustworthy Machine Learning
• Program Synthesis
• Formal Verification
• +۳ مورد دیگر

Osbert Bastani serves as an Associate Professor in the Department of Computer and Information Science at the University of Pennsylvania. He leads the trustml@Penn research group and holds affiliations with the ASSET, PRECISE, and PRiML research centers, as well as PLClub. His academic work centers on developing reliable and interpretable artificial intelligence systems through interdisciplinary approaches combining programming languages, formal methods, and machine learning. He earned his Ph.D. in Computer Science from Stanford University under the guidance of Alex Aiken, followed by a postdoctoral position at MIT working with Armando Solar-Lezama. This foundation in both theoretical computer science and practical systems has shaped his research trajectory. Bastani's primary research areas include Trustworthy Machine Learning (focusing on robustness against adversarial attacks, fairness in algorithmic decision-making, and explainable AI), program synthesis, and formal verification. His recent publications address critical challenges in large language models, such as defending against jailbreaking attacks and ensuring trustworthy retrieval-augmented generation. He also develops methods for conformal prediction under distribution shifts and neurosymbolic program synthesis for complex tasks like web question answering. His teaching portfolio features advanced courses including CIS 7000: Trustworthy Machine Learning and CIS 4190/5190: Applied Machine Learning, where he integrates cutting-edge research into the curriculum. Through his research group, he mentors graduate students on projects spanning neurosymbolic programming, uncertainty quantification, and fairness in sequential decision-making. As an active member of Penn's research ecosystem, Bastani contributes to the ASSET center's mission of building secure systems, PRECISE's work on cyber-physical systems, and PRiML's machine learning initiatives, while collaborating with PLClub on programming language innovations.

Wing-Kwong Chanمشاهده پروفایل

دانشیار

• Software Engineering
• Deep Learning
• Blockchain Systems
• +۴ مورد دیگر

Wing-Kwong Chan is an Associate Professor in the Department of Computer Science at City University of Hong Kong. With a background that includes industry experience as a software engineer, Dr. Chan returned to academia and has established himself as a leading researcher in software engineering with a focus on emerging technologies. Dr. Chan received his BEng, MPhil, and PhD all from The University of Hong Kong. His academic journey began with a hardware-oriented Computer Engineering degree before shifting to software engineering for his graduate studies. His research interests center on software engineering, particularly the technical aspects interfacing with machine learning, blockchain, and GPU technologies. He addresses challenges in program analysis and concurrency, with recent work focusing on deep learning model verification and robustness. His publications span top venues including TOSEM, TSE, ICSE, ESEC/FSE, and ASE. Dr. Chan's recent publications demonstrate a strong trend toward integrating software engineering principles with deep learning systems, particularly in verification, testing, and robustness of AI models. His work bridges theoretical software engineering concepts with practical applications in emerging technologies. Best Paper Award from COMPSAC'04 Best Paper Award from COMPSAC'08 Best Paper Award from COMPSAC'10 Best Paper Award from QSIC'11 Best Paper Award from QRS'16 Best Paper Award from ISET'18 CityU President's Award 2017 Dr. Chan has successfully advised numerous PhD and MPhil students, with alumni dating back to 2006. He has secured substantial research funding through multiple Hong Kong Research Grants Council projects, ITF grants, and international collaborations. His current research focuses on patch robustness certification for deep learning models, reflecting his ongoing commitment to advancing software engineering practices for emerging technologies. As Program Leader for the MSc in E-Commerce program from the CS Department, Dr. Chan also contributes significantly to academic administration and curriculum development at City University of Hong Kong.