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

• Probability Theory
• Interacting Particle Systems
• Percolation Theory
• +۳ مورد دیگر

Réka Szabó is an Assistant Professor at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Netherlands, since October 2022. Her academic trajectory includes a postdoctoral fellowship at Université Paris-Dauphine (2019–2022) and a Ph.D. in Mathematics (2015–2019) at the University of Groningen under Daniel Valesin. Education: B.Sc. in Mathematics, Budapest University of Technology and Economics (2008–2011) M.Sc. in Applied Mathematics, Budapest University of Technology and Economics (2011–2015) M.Sc. in Computer Science, University of Trento and Eötvös Lóránd University (2012–2014) Ph.D. in Mathematics, University of Groningen (2015–2019) Réka’s research focuses on Interacting Particle Systems and Percolation Theory , with significant contributions to understanding phase transitions, critical behavior, and stochastic dynamics in models like the Contact Process, Oriented Percolation, and Bootstrap Percolation. Her work combines rigorous mathematical analysis with applications to statistical physics and complex networks. She is actively involved in academic service, including organizing the Workshop On Randomness and Discrete Structures (WORDS 2025) and co-organizing the Probability and Statistics Seminar in Groningen. Réka teaches advanced courses such as Stochastic Processes, Interacting Particle Systems, and Mathematics and its Environment.

Alexander Artikisمشاهده پروفایل

دانشیار

• Artificial Intelligence
• Distributed Systems
• Complex Event Recognition
• +۴ مورد دیگر

Dr. Alexander Artikis is an Associate Professor of Artificial Intelligence at the University of Piraeus and a Research Associate at the National Centre for Scientific Research (NCSR) "Demokritos". He leads the Complex Event Recognition (CER) group , focusing on symbolic and probabilistic approaches to event recognition and forecasting. University of Piraeus (2025–present) NCSR Demokritos (2017–present) Complex Event Recognition Group (2017–present) His research spans Artificial Intelligence and Distributed Systems , with a focus on: Complex Event Recognition (CER) : Developing logic-based systems for detecting events in real-time data streams Event Calculus : Creating probabilistic and incremental versions for runtime reasoning Multi-Agent Systems : Modeling norm-governed interactions Maritime Informatics : Applying CER to vessel trajectory analysis and fleet management Key publications reveal trends in: Neuro-symbolic forecasting models combining deep learning and logic-based reasoning Symbolic automata with memory for pattern detection Online learning techniques for dynamic event rule generation Tensor-based formalizations for efficient temporal reasoning Handling uncertainty in real-time maritime data streams Optimizing memory usage for scalable stream processing He contributes to open-source tools like RTEC (Run-Time Event Calculus) and holds a European patent on complex event forecasting. His work addresses challenges in: Proactive decision-making systems Knowledge Graph consistency Hybrid human-machine discovery of movement patterns Big Data analytics for time-critical applications

James Martinمشاهده پروفایل

مدرس

• Probability Theory
• Statistical Physics
• Random Graphs
• +۹ مورد دیگر

James Martin is a Lecturer at the Department of Statistics, University of Oxford . He is affiliated with St Hugh's College and has been actively involved in organizing probability seminars since 2018. Research Interests Probability theory Random graphs and percolation Interacting particle systems Models of random growth and coagulation-fragmentation Queueing networks Combinatorial games Teaching Courses: Prelims Probability , Part A Probability , Part B Statistical Lifetime Models , Part C Probabilistic Combinatorics His publications focus on probability theory , statistical physics , and combinatorial structures . Recent work includes studies on last-passage percolation, multispecies exclusion processes, and integrable probability models. James Martin collaborates with researchers from institutions such as Uppsala University, University of Cambridge, Imperial College London, and Kyoto University. He has been a key organizer for the Oxford Probability Seminar since 2018.

Penny Kyburzمشاهده پروفایل

استاد

• Video Games
• Game Design
• AI
• +۴ مورد دیگر

Prof. Penny Kyburz is a Professor and Associate Director (Engagement & Impact) at the School of Computing, Australian National University. She leads the GameFlow Lab and teaches Game Development, focusing on AI, human-AI interaction, and game design. Her work bridges academia and industry, with 20+ award-winning games including four BAFTA nominations. She holds a PhD, B.InfoTech(Hons), G.C.Ed.(Higher Ed.), and G.C.Acad.Prac. Education: Ph.D. B.InfoTech(Hons) Graduate Certificate in Education (Higher Education) Graduate Certificate in Academic Practice Research Interests: Video games, game design, and player experience AI and human-AI collaboration Virtual Reality and Mixed Reality applications Technology policy and digital rights Educational games and accessibility Awards: 4 BAFTA nominations for game contributions High critic scores for usability-tested AAA games Grants/Projects: IDEATE (2024–2028) MEC23: Advanced Biometrics (2023) C2 Sociotechnical Collaboration (2022–2024) Role-Based Deception in Games (2020–2021) Her GameFlow model and book on emergence in games are foundational in player experience research. She advocates for diversity in tech and has advised on digital rights in the Senate.

• Theoretical Computer Science
• Formal Methods
• Programming Language Theory
• +۷ مورد دیگر

Michał Paweł Skrzypczak is an Associate Professor at the Institute of Informatics, Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw. He is actively involved in teaching and academic service, with a focus on theoretical computer science and formal methods. His research interests lie primarily in theoretical computer science , particularly program semantics , program verification , logic in computer science , and automata theory . These interests are reflected in his long-standing teaching of advanced courses such as Program Semantics and Verification , Logics for Computer Scientists , and Automata on Infinite Trees . While no publications are listed in the provided text, the consistent engagement with formal methods and mathematical logic across multiple courses over more than a decade suggests a sustained research trajectory in foundational aspects of computing. Scientific Awards: No awards listed. He has contributed to the academic development of students through teaching and exercise sessions, particularly in core theoretical subjects. Though no formal advisees are listed, his role as an instructor in graduate-level courses indicates mentorship responsibilities. He is affiliated with the Institute of Informatics at the University of Warsaw, which serves as his primary academic unit. There is no mention of specific research labs or teams, but his collaborations with researchers like Prof. Andrzej Tarlecki and Prof. Paweł Urzyczyn suggest integration into a strong logic and semantics research group.

• Probabilistic Combinatorics
• Extremal Combinatorics
• Random Combinatorial Structures
• +۳ مورد دیگر

Guillem Perarnau is an Associate Professor in the Department of Applied Mathematics at Universitat Politècnica de Catalunya (UPC), affiliated with CRM, IMTech, and BGSMath. He holds a PhD from UPC (advised by Oriol Serra) and was a CARP Postdoc Fellow at McGill University (2013–2015). From 2016 to 2019, he was a Lecturer at the University of Birmingham. His research focuses on Probabilistic and Extremal Combinatorics, Random Combinatorial Structures, and Discrete Stochastic Processes. Education: Bachelor, Master, and PhD in Mathematics at UPC. His academic journey includes postdoctoral research at McGill University and a Lecturer role at the University of Birmingham. Research interests include Percolation Theory, Random Graphs, Stochastic Processes, and Algorithmic Combinatorics. His recent work explores topics like percolation on dense graphs, random walk mixing times, and synchronization in automata. He is co-PI of the COCOA grant and coordinates the Spanish Discrete and Algorithmic Mathematics Network. He participates in the RandNET MSCA Exchange Programme. Key contributions include studies on giant components in directed graphs, phase transitions in Glauber dynamics, and extremal problems in graph colorings. His publications span top journals like Annals of Applied Probability , SIAM Journal on Discrete Mathematics , and Random Structures & Algorithms .

Gabor Karsaiمشاهده پروفایل

استاد

• Model-Driven Software Engineering
• Embedded Systems
• Cyber-Physical Systems
• +۶ مورد دیگر

Dr. Gabor Karsai is a Distinguished Professor of Computer Science and Professor of Electrical and Computer Engineering at Vanderbilt University's School of Engineering. He also serves as Senior Research Scientist at the Institute for Software-Integrated Systems (ISIS), where he contributes to the Executive Council. With over 30 years in software engineering, his research focuses on embedded systems, model-driven development, resilient software platforms, and AI-driven autonomous systems assurance. He holds a PhD from Vanderbilt and degrees from the Technical University of Budapest. Education: Ph.D. in Electrical and Computer Engineering, Vanderbilt University Dr.Tech. in Computer Engineering, Technical University of Budapest M.S. and B.S. in Electrical Engineering, Technical University of Budapest Affiliations: Co-Associate Chair for Computer Engineering External Member of the Hungarian Academy of Sciences His research interests span model-integrated computing , autonomous systems assurance , and radiation-hardened systems . Recent work emphasizes AI integration into engineered systems and radiation effects mitigation for space applications. He has led major projects on distributed control for smart grids and resilient CPS architectures. Over 200 peer-reviewed publications and four patents reflect his contributions to software engineering and systems integration. Awards & Recognition: External Membership in Hungarian Academy of Sciences Leadership roles in ISIS and Vanderbilt's academic governance Advisees & Grants: While no student list is provided, his projects involve collaborative teams across academia and industry. Major sponsors include NSF, NASA, and DARPA. Current work includes the ALC (Assurance-based Learning-enabled CPS) and MIDAS (Model-based Intent-Driven Adaptive Software) initiatives. Labs & Platforms: Co-developer of the RIAPS distributed CPS platform and the SEAM assurance modeling framework. His labs focus on cyber-physical system design, radiation effects analysis, and autonomous system reliability.

• Formal Methods
• Software Verification
• Concurrent Systems
• +۶ مورد دیگر

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), where he leads the Henzinger Thomas Group focused on improving software reliability through mathematical methods. He previously served as ISTA's President (2009–2022) and held academic positions at EPFL, Max Planck Institute, UC Berkeley, and Cornell University. Education: Dipl.-Ing. in Computer Science (Johannes Kepler University, Austria), M.S. in Computer and Information Sciences (University of Delaware), PhD in Computer Science (Stanford University), and Honorary Doctorates from Fourier University (France) and Masaryk University (Czech Republic). The group's research spans concurrent systems , embedded systems , quantitative model checking , runtime monitoring , and trustworthy AI . They develop tools like HyTech and VAMOS, emphasizing predictability, robustness, and fairness in safety-critical software. Recent publications highlight trends in quantitative automata , fairness in AI , quantum algorithms , and automata theory , reflecting interdisciplinary applications from cyber-physical systems to neural networks. Collaborative projects include SPyCoDe (security foundations) and VAMOS (software monitoring). Honors & Awards: 2024 Fellow of the Royal Society 2020 Member, US National Academy of Sciences 2015 Royal Society Milner Award 2012 Wittgenstein Award 2006 ACM and IEEE Fellow 1995 NSF CAREER and ONR Young Investigator Awards Henzinger advises current and former PhD students including Mahyar Karimi, Pavol Kebis, and Mathias Lechner. His grants include ERC Advanced Grants (QUAREM, VAMOS) and FWF funding (Wittgenstein Award, NFN RISE). Labs & Teams: He leads the Henzinger Thomas Group at ISTA, collaborating with FORSYTE (TU Wien) and contributing to EU-funded initiatives. The group integrates postdocs, PhD students, and interns in formal methods and system verification.

Hendrik Jan Hoogeboomمشاهده پروفایل

دانشیار

• Theoretical Computer Science
• Formal Languages
• Algorithms
• +۱۳ مورد دیگر

Hendrik Jan Hoogeboom is an Associate Professor in the Department of Computer Science at Leiden University, affiliated with the Leiden Institute of Advanced Computer Science (LIACS) and the Theory research cluster. Research Interests: His work lies at the intersection of theoretical computer science and computational biology. He specializes in formal languages , algorithms , logic & automata (including tree-walking automata), and infinitary languages . A major theme is modeling natural computation, such as gene assembly in ciliates using graph polynomials and delta-matroids, and molecular computing paradigms like reaction systems and spiking neural P systems. Publication Trends: His recent publications (2017–2024) show a sustained focus on reaction systems and graph polynomials. He has developed formal models to analyze DNA rearrangements, explored the algebraic structure of gene assembly, and investigated the computational power of various natural computing models, often using combinatorial and algebraic tools from graph theory. Scientific Recognition: While specific awards are not listed, his extensive publication record in premier journals like Theoretical Computer Science , European Journal of Combinatorics , and Fundamenta Informaticae signifies high recognition in his field. Teaching and Mentorship: He has supervised several PhD students, including Robert Brijder, Jun Wang, and Rudy van Vliet. He teaches core courses such as Data Structures , Algorithms , Automata Theory , and Complexity , and has led seminars on topics like combinatorial game theory and SAT solvers. Laboratories and Teams: He is a key member of the Theory research cluster at LIACS, focusing on fundamental aspects of computer science. His work is deeply collaborative, especially with colleagues like Robert Brijder and W.A. Kosters.

• Computer Science
• Formal Methods
• Automata Theory
• +۳ مورد دیگر

Dr Daniel Hausmann is a Lecturer in the Department of Computer Science at the University of Liverpool, affiliated with the School of Electrical Engineering, Electronics and Computer Science. His research focuses on formal methods, automata theory, and game theory, with applications to reactive synthesis and modal fixpoint logics. Current academic rank: Lecturer Key research areas: Formal verification, automata theory, game-based synthesis algorithms Contributions: Development of tools like COOL-MC and COOL 2 for modal fixpoint logics Recent research trends involve solving complex games for system verification, optimizing symbolic algorithms, and advancing coalgebraic approaches to satisfiability checking. His work spans both theoretical foundations and practical implementations for formal verification systems. Notable collaborations include researchers at the intersection of computer science and logic (e.g., N. Piterman, L. Schröder). The University of Liverpool's Computer Science department supports his work through academic infrastructure and research partnerships.

Joost-Pieter Katoenمشاهده پروفایل

استاد

• Model Checking
• Formal Verification
• Probabilistic Models
• +۵ مورد دیگر

Joost-Pieter Katoen is a full Professor at RWTH Aachen University and Head of its Computer Science Department since 2012. He also holds a part-time (20%) Professorship at the University of Twente . His research focuses on model checking , probabilistic verification , formal semantics , and software verification , with applications in aerospace systems. His work has led to significant tools like MRMC (probabilistic model checker), COMPASS (AADL analysis tool-set), and libalf (learning automata library). He has authored over 18 international projects (total €5.2 million) and graduated 12 PhD students. Scientific Awards : Member, German National Academy of Sciences (Leopoldina), 2024 ACM Fellow, 2020 ERC Advanced Grant, 2018 Honorary doctorate, Aalborg University, 2017 Teaching Award, RWTH Aachen, 2010 Philips Early Career Development Award, 1988 Research Trends (from articles): His recent work spans probabilistic program verification , quantitative game theory , Markov chain analysis , and parameter synthesis for stochastic systems, with applications in AI, quantum computing, and fault tree analysis. Leadership & Service : Katoen co-founded the QEST conference , chairs ETAPS steering committee, and has led numerous program committees (CONCUR, TACAS, QEST). He has served on editorial boards and organized conferences/seminars globally.

• Cyber Security
• Cyber-Physical Systems
• Formal Methods
• +۳ مورد دیگر

Samir Ouchani is a Research Director at the CESI LINEACT laboratory (Aix-en-Provence, France), affiliated with the CESI Engineering School. He holds a PhD in Computer Science from Concordia University (2013) and an HDR (Accreditation to Supervise Research) from CNAM Paris (2022). His research focuses on securing cyber-physical systems (CPS) through formal methods, blockchain, and AI-driven approaches. Key roles include leading projects on resilient CPS architectures, IoT security, and federated learning in industrial contexts. Education: 2022: HDR in Security and Reliability of Smart CPS (CNAM Paris) 2013: PhD in Computer Science (Concordia University, Montreal) 2006: Master in Computer Science (Lorraine University, France) 1997: Engineering Degree in Computer Science (Djillali Liabess University, Algeria) Research Interests: His work emphasizes secure CPS design, including cryptographic protocols for IoT, formal verification frameworks, and AI applications for intrusion detection. He explores blockchain for smart cities, federated learning in distributed systems, and resilience engineering for autonomous vehicles. Recent projects include developing PUF-based authentication protocols and digital twin architectures for resource-constrained systems. Advising & Collaborations: Supervised PhD theses on IoT security (Fahem Zerrouki), smart city formal verification (Walid Miloud Dahmane), and federated learning in industrial CPS (Souhila Bedra Guendouzi). Collaborates with institutions like Blida University (Algeria) and HESAM University. Active in conferences such as CRISIS, ICFNDS, and IEEE WETICE. Labs & Teams: Leads the Engineering and Numerical Tools research team at CESI LINEACT, focusing on model-based design, CPS simulation, and cybersecurity tool development. Engaged in EU-funded projects on Industry 4.0 and smart infrastructure security.

Umang Mathurمشاهده پروفایل

استادیار

• Formal Methods
• Concurrency
• Programming Languages
• +۴ مورد دیگر

Umang Mathur is an Assistant Professor at the National University of Singapore's School of Computing, where he leads the FOCS Lab and is affiliated with PLSE@NUS. His research focuses on Formal Methods , Concurrency , and Decidability in Programming Languages and Software Engineering . PhD in Computer Science from the University of Illinois at Urbana-Champaign (advisor: Prof. Mahesh Viswanathan) Former Research Scientist at Facebook Inc. and Research Fellow at the Simons Institute Recipient of Google PhD Fellowship, 2024 CPP Distinguished Paper Award, 2023 ACM SIGPLAN Award, and ASPLOS 2022 Best Paper Award His recent work explores algorithmic techniques for detecting concurrency bugs , decidable program verification , and synthesis , with a focus on weak memory models, predictive monitoring, and automata-theoretic approaches. Articles span topics like causal concurrency, tree clock data structures, and probabilistic counting algorithms, reflecting interdisciplinary intersections of logic and systems research. Scientific Awards Google PhD Fellowship 2024 CPP Distinguished Paper 2023 ACM SIGPLAN Distinguished Paper 2022 ASPLOS Best Paper 2018 ESEC/FSE Distinguished Paper He advises PhD students in Formal Methods and supervises teams in the FOCS Lab. Teaching includes advanced modules on Automata Theory, Logic, and Verification at NUS.

• Computational Linguistics
• Natural Language Processing
• Formal Language Theory
• +۲ مورد دیگر

Giorgio Satta is a Full Professor at the Department of Information Engineering , University of Padua, Italy. He received his Ph.D. in Computer Science from the University of Padua in 1990. His career includes research positions at Fondazione Bruno Kessler (Trento) and the University of Pennsylvania (IRCS). Research Focus : His work centers on computational linguistics and formal language theory , with emphasis on: Parsing algorithms (CCG, TAG, LCFRS) Computational complexity of grammar formalisms Probabilistic language modeling Dependency parsing and synchronization techniques Professional Service : He chaired the European Chapter of the ACL (2009-10), served on editorial boards for Computational Linguistics , Transactions of the ACL , and co-chaired ACL-2001/IWPT-2001. Teaching : Current courses include Automata, Languages, and Computation and Natural Language Processing (2024-25).

Daniel Kasprowskiمشاهده پروفایل

پژوهشگر ارشد

• Low Dimensional Topology
• Geometric Topology
• Coarse Geometry
• +۲ مورد دیگر

Daniel Kasprowski is a Senior Research Fellow in Pure Mathematics at the University of Southampton. His research spans low-dimensional topology, coarse geometry, and algebraic K-theory, with a focus on the classification of 4-manifolds. He studies equivalence relations such as stable homeomorphism and homotopy equivalence, while exploring connections between coarse geometry and algebraic K-/L-theory via assembly maps. Current research: Topological classification of 4-manifolds, coarse geometry, quantum cellular automata Teaching: Geometry and Topology at Southampton; previously taught algebraic topology and geometric group theory in Bonn His publications include foundational work on immersions, embeddings, and transformations of 4-manifolds, co-authored with leading mathematicians. Daniel is actively involved in mentoring PhD students and contributes to interdisciplinary research through the Centre for Geometry, Topology, and Applications.