جستجوی استاد راهنمای دانشگاهی

Wan Fokkinkمشاهده پروفایل

استاد

• Distributed Systems
• Formal Analysis of Protocols
• Concurrency Theory
• +۳ مورد دیگر

Prof. Wan Fokkink is a Full Professor in Theoretical Computer Science at Vrije Universiteit Amsterdam (VU) and holds a part-time position as Professor of Model-Based System Engineering at Eindhoven University of Technology (TU/e). His research focuses on distributed systems, formal analysis of protocols, and supervisory control synthesis. He leads the Theoretical Computer Science group at VU and has authored three influential textbooks: Introduction to Process Algebra , Modelling Distributed Systems , and Distributed Algorithms: An Intuitive Approach . Education: MSc in Mathematics (University of Amsterdam, 1990) and PhD in Computer Science (University of Amsterdam, 1994). Postdoctoral work at Utrecht University and lectureship at Swansea University preceded his leadership roles at CWI (2001–2004) and VU (since 2004). Teaching includes courses on logic, concurrency, and distributed algorithms. He is editor of Logical Methods in Computer Science and co-founder of the Electronic Proceedings in Theoretical Computer Science . Active in professional organizations: co-founder of IFIP WG 1.8 (Concurrency Theory) and steering committee member of the CONCUR conference. Research interests span formal verification, concurrency theory, and practical applications of supervisory control in engineering systems (e.g., traffic management, ship locks). His work aligns with sustainable development goals through contributions to reliable system design and optimization. Recent articles explore model-based specification, distributed control under communication delays, and tools like Eclipse ESCET for supervisory control synthesis. Collaborations span international teams in Europe and beyond.

• Theoretical Computer Science
• Theorem Proving
• Automated Reasoning
• +۲۶ مورد دیگر

Jasmin Blanchette is a Professor of Theoretical Computer Science and Theorem Proving at Ludwig-Maximilians-Universität München (LMU), where he also serves as the Dean of Studies for Computer Science since January 22, 2024. He is affiliated with the Institute for Informatics and leads the Theoretische Informatik und Theorembeweisen research unit. Additionally, he is a guest researcher in the VeriDis group at Loria, Nancy. Research Interests: His research centers on strengthening proof automation for general-purpose logics and enhancing the usability of proof assistants. He combines automatic and interactive methods, bridging human and artificial intelligence in formal verification. His work spans higher-order logic, automated and interactive theorem proving, formalization of mathematical results, and foundational mechanisms for (co)datatypes and (co)recursive functions. Key projects include Sledgehammer, Nitpick, Matryoshka, Nekoka, IsaFoL, and Lean Forward. Publication Trends: His recent publications (2023–2025) show a strong focus on higher-order automated reasoning, superposition calculus, proof automation in Isabelle/HOL, and formalization of logical and mathematical concepts. There is a consistent emphasis on verification, efficiency, and integration of SAT/SMT techniques into higher-order provers. Scientific Awards: FroCoS 2023 Best Paper Award (with Visa Nummelin and Sander Dahmen) CADE 2023 Best Paper Award for 'Verified given clause procedures' (with Qi Qiu and Sophie Tourret) IPA Dissertation Award (awarded to student Petar Vukmirović) Dutch Prize for ICT Research 2022 Advising and Grants: He supervises a large team of postdocs and PhD students at LMU and co-supervises students at other institutions. His leadership in major collaborative projects like Matryoshka indicates significant grant funding and collaborative research efforts. He is editor-in-chief of the Journal of Automated Reasoning and serves on numerous steering and program committees, reflecting strong academic leadership and visibility. Labs and Teams: He leads a research group at LMU’s Institute for Informatics, focusing on theorem proving and formal methods. He is also associated with the VeriDis group at Loria, Nancy, and collaborates widely across Europe in the automated reasoning community.

Christopher Hojnyمشاهده پروفایل

استادیار

• Mixed-Integer Programming
• Symmetry Handling in Optimization
• Combinatorial Optimization
• +۳ مورد دیگر

Christopher Hojny is an Assistant Professor at the Department of Mathematics and Computer Science at Eindhoven University of Technology , specializing in combinatorial optimization. He contributes to the EAISI Foundational group and co-develops the academic solver SCIP . His research focuses on symmetry handling in mixed-integer programming , theoretical properties of integer programs, and algorithm development for combinatorial optimization. Recent work explores applications in graph neural network verification , clustering problems, and network coding through mixed-integer programming frameworks. Key publication trends show expertise in Symmetry detection and mitigation techniques Relaxation complexity theory Applications to machine learning robustness Decision diagram-based scheduling Scientific contributions include Proof systems for symmetry certification Topological bounds tightening in GNNs Stable set problem symmetry handling SCIP solver extensions He supervises PhD students Cédric Roy (NWO project on Local Symmetries) and Sten Wessel (co-supervised with Frits Spieksma), while Jasper van Doornmalen (2019-2023) investigated symmetry propagation algorithms.

Thales Pupo Westمشاهده پروفایل

استادیار

• Environmental Sustainability
• Land-Use/Cover Change
• Climate Governance
• +۴ مورد دیگر

Thales Pupo West is a tenured Assistant Professor at the Department of Environmental Geography, Institute for Environmental Studies (IVM), Vrije Universiteit Amsterdam. He is also a Fellow at the Centre for Environment, Energy and Natural Resource Governance (C-EENRG), University of Cambridge, UK. His research focuses on sustainability of coupled human-natural systems, including land-use change, environmental economics, climate governance, and carbon offset mechanisms like REDD+. He holds a PhD in Interdisciplinary Ecology (University of Florida, 2016) and degrees in Forest Engineering and Resource Management from the University of São Paulo. Education: PhD in Interdisciplinary Ecology, University of Florida (2016) MSc in Resource Management, University of São Paulo (2011) PgDip in Business Management, Getulio Vargas Foundation (2011) BSc in Forest Engineering, University of São Paulo (2009) Research interests emphasize policy-relevant sustainability science, particularly addressing deforestation, carbon markets, and governance frameworks. His recent work critiques methodological flaws in carbon offset programs and evaluates long-term forest recovery post-logging. He teaches courses on Big Data in Sustainability Science and Land Use Change and Ecosystems. Current projects include the European LULUCF Monitoring Framework (2022-2026), focusing on land-use policy pathways. His datasets, such as replication data for carbon offset studies, have garnered significant academic and media attention.

Nicolas Reschمشاهده پروفایل

استادیار

• Coding Theory
• Cryptography
• Theoretical Computer Science
• +۱ مورد دیگر

Nicolas Resch is an Assistant Professor at the Theoretical Computer Science Group within the Informatics Institute at the University of Amsterdam (UvA). His research focuses on coding theory, cryptography, and their intersections, with prior postdoctoral work at Centrum Wiskunde & Informatica (CWI) under Ronald Cramer. He earned his PhD from Carnegie Mellon University (CMU) advised by Venkatesan Guruswami and Bernhard Haeupler. Education: PhD (CMU), advised by Venkatesan Guruswami and Bernhard Haeupler. Resch's research addresses theoretical challenges in code-based cryptography, list decoding, and secure communication. His work includes advancements in randomness-efficient codes, smoothing bounds for lattices, and protocols for oblivious transfer and interactive coding. Articles reflect trends in post-quantum cryptography, error-correcting codes, and computational complexity. He has received the 2022 Veni award from NWO for his proposal "Secure and Efficient Code-Based Cryptography" and is invited to key workshops such as Oberwolfach (2025) and TIFR ICTS (2025). His supervision includes PhD students Lydia Tasiou and Martijn Brehm, alongside MSc and BSc advisees. Scientific Awards: 2022 Veni laureate (NWO) Resch teaches courses in information theory and modern cryptography at the UvA, with recent invitations to Simons Institute programs and Oberwolfach workshops. His work bridges theoretical foundations with practical cryptographic applications.

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

استادیار

• Artificial Intelligence
• Planning
• Search Algorithms
• +۵ مورد دیگر

Hendrik Baier is an Assistant Professor in the Information Systems group at Eindhoven University of Technology (TU/e), where he joined in 2022. His research focuses on creating agents capable of succeeding in complex decision-making tasks to help human users solve real-world problems. His work spans planning for long-term goals, learning in unknown environments, and explainability of AI systems for effective human-AI interaction. Dr. Baier's research interests center on planning and search algorithms, reinforcement learning, and explainable AI systems. His work investigates how AI can think ahead and explain its reasoning process, particularly in sequential decision-making contexts. He applies these techniques to practical domains including logistics and transportation, smart manufacturing, and sustainable energy systems. His research bridges theoretical foundations with real-world applications through collaborative projects with industry partners. Analysis of his recent publications reveals a strong focus on explainability in sequential decision-making, with increasing integration of large language models to enhance traditional planning algorithms. His work spans theoretical foundations of Monte Carlo Tree Search, programmatic policy generation, multi-agent reinforcement learning, and practical applications of these techniques. A notable trend is the growing emphasis on human-AI collaboration, where AI systems must not only perform well but also effectively communicate their reasoning to human users. Dr. Baier actively collaborates with researchers across multiple institutions, including CWI Amsterdam where he maintains an affiliation, and has participated in significant interdisciplinary efforts such as the Dagstuhl Seminar on Explainable AI for Sequential Decision Making. His research group at TU/e works closely with industry partners to translate fundamental research into practical applications. He is affiliated with EAISI (Eindhoven Artificial Intelligence Systems Institute) and contributes to the Decision Making with Artificial Intelligence educational program at TU/e. His laboratory work focuses on developing benchmark environments and frameworks that enable rigorous evaluation of decision-making algorithms, with recent contributions including MOMAland for multi-objective multi-agent reinforcement learning.

Assia Mahboubiمشاهده پروفایل

استاد

• Formalization
• Type Theory
• Formal Proof
• +۵ مورد دیگر

Assia Mahboubi is an Endowed Professor at the Department of Mathematics, Faculty of Science, Vrije Universiteit Amsterdam, holding the title 'Automated Verification of Mathematical Proof'. She concurrently serves as a researcher at Inria Nantes since 2018. Her research focuses on formal methods in mathematics and computer science, particularly type theory, formal proof systems, and computer algebra. She leads projects related to automated reasoning, dependent type systems, and formalization of mathematical theories. Education & Professional Background: PhD in Mathematics (implied by academic rank) Ancillary activity: Researcher at Inria, Nantes Research Interests: Her work centers on foundational aspects of formal proofs, including type theory, automated reasoning, and the formalization of complex mathematical concepts like polynomial equations and continuity models. She develops tools for compositional preprocessing in theorem proving and explores univalent foundations in proof transfer. Recent Work Trends: Recent publications emphasize advancements in proof automation, dependent type systems, and the formal verification of algebraic structures. Her work bridges theoretical computer science with practical formal methods implementation. Labs/Teams: Associated with Inria research teams and the Computer Algebra Nederland foundation. Engages in collaborative projects with international institutions through her network in type theory and formal methods communities.

• Artificial Intelligence
• Multi-Agent Systems
• Norm Enforcement
• +۳ مورد دیگر

Bas Testerink is a Researcher at the Faculty of Science , Utrecht University , focusing on Responsible AI . He works in the AI & Data Science subtheme with research interests in Human-centered Artificial Intelligence and Applied Data Science . Email: b.j.g.testerink@uu.nl Office: Minnaert Building, Leuvenlaan 4, Room 304, Utrecht His research explores Norm Enforcement in distributed systems, Multi-Agent System design, and Runtime Verification mechanisms. Key projects include AI-assisted message processing for police and Norm-based traffic control systems . Recent publications highlight his work on Argumentation-based Inquiry (2022) and Collaborative Monitoring (2016). He also investigates Security Threats in collaborative verification and Organizational Replication through inheritance models. He contributes to: Autonomous Vehicles regulation Crime Analysis through AI Peer-to-Peer Argumentation frameworks His work appears in venues like PRIMA , ECAI , and AAMAS .

Boudewijn van Dongenمشاهده پروفایل

استاد

• Process Mining
• Conformance Checking
• Business Process Management
• +۳ مورد دیگر

Dr. Boudewijn van Dongen is a Full Professor at Eindhoven University of Technology's Department of Mathematics and Computer Science, chairing the Process Analytics group. His research focuses on conformance checking and process mining , particularly through alignment-based techniques. Develops ProM and CPN Tools frameworks Collaborates with Philips Research and Vanderlande Leads IEEE Task Force on Process Mining Research Interests : Specializes in aligning observed data with process models, addressing multi-case dependencies , privacy-aware mining , and stream processing . Project Highlights : • Strategic partnership with Philips on health data science • Logistics optimization with Vanderlande Industries • Foundational work in alignment theory and behavioral diagnostics

Rob Nederpeltمشاهده پروفایل

پژوهشگر

• Type Theory
• Calculus
• Mathematics
• +۹ مورد دیگر

Rob Nederpelt is a University Researcher at the Mathematics and Computer Science department of Eindhoven University of Technology. His work focuses on Type Theory , Formal Proof , and Formalization of Mathematics , with significant contributions to Automath , the earliest proof checker. Research areas: Type Theory, Formal Proof, Lambda Calculus, Type Systems, Formalization, Computer Science history Notable collaborations: Herman Geuvers, Fairouz Kamareddine, Francien Dechesne His research output includes a 2022 analysis of Automath, a 2014 textbook on type theory, and historical studies of formal systems. Key subfields span formal verification , proof assistants , and logical frameworks . He has over 240 citations and maintains active academic presence through peer-reviewed publications. Selected publications highlight trends in type systems (100%), proof checking (100%), and historical context (100%) analysis. His work bridges mathematical logic and computer science , emphasizing rigorous formal methods.

Giovanni Silenoمشاهده پروفایل

مدرس

• Artificial Intelligence
• Logic Programming
• Knowledge Representation
• +۵ مورد دیگر

Giovanni Sileno is an academic specializing in Artificial Intelligence, Logic Programming, and Knowledge Representation, with teaching appointments at the University of Amsterdam, EPITA Paris, and Université Pierre et Marie Curie. His primary affiliation is with the Informatics Institute at the University of Amsterdam where he serves as a Lecturer. His research interests span multiple domains within computer science, focusing particularly on formal methods for normative systems, agent-based programming, and logic-based knowledge representation. His work bridges theoretical computer science with practical applications in policy modeling, forensic science, and business information systems. Dr. Sileno has developed several notable software projects including AgentScriptCC for single-threaded intentional agents, DCPLschema for normative policy specifications, and libraries for normative primitives in Answer Set Programming. His GitHub activity shows consistent contributions from 2012 through 2025, indicating active engagement in both research and development. His publications reflect a strong focus on formal methods applied to practical problems, with particular emphasis on normative systems, agent architectures, and logic programming applications. The research trajectory shows evolution from foundational topics in logic and numeral systems toward increasingly sophisticated applications in policy modeling and agent-based systems. As an educator, he has taught across multiple institutions and disciplines, covering topics from basic programming paradigms to advanced knowledge representation and formal modeling techniques. His teaching spans undergraduate to master's level courses in information studies, cognitive science, data science, and forensic science.

Linghan Zhangمشاهده پروفایل

استادیار

• Mobile/Wearable Sensing
• Affective Computing
• Assistive Technology
• +۳ مورد دیگر

Linghan Zhang is an Assistant Professor in Human Technology Interaction (HTI) at Eindhoven University of Technology (TU/e). Her research focuses on leveraging wearable/mobile sensors, AI, and data fusion to enable personalized human-computer interactions. Key interests include mobile/wearable sensing, affective computing, and assistive technologies. She holds a PhD in Computer Science from TU/e, specializing in voice authentication via mobile sensing. Education: Doctorate in Computer Science (TU/e), with thesis titled Enhanced Voice Authentication via Mobile Sensing . Courses taught include Programming for Psychology and Technology , Recognizing & Implementing Social Cues for HRI , and The Quantified Self in Health . Research explores stress detection in ICU environments, dementia care technologies, and biometric authentication systems. Recent work includes developing the Mindful Waters digital aquarium for dementia patients and analyzing heart rate-perceived stress correlations using Fitbit data. Active in interdisciplinary projects addressing healthcare, cybersecurity, and aging care. Publications span healthcare ergonomics, gaze tracking evaluation, and wearable-based authentication. No awards explicitly listed, but frequently collaborates on multidisciplinary projects. Supervises 7 academic works, though student names are not disclosed. Engages in lab activities within HTI's interdisciplinary environment.

Cynthia Kopمشاهده پروفایل

دانشیار

• Term Rewriting
• Computational Complexity
• Software Verification
• +۳ مورد دیگر

Cynthia Kop is an Associate Professor in the Software Science group at Radboud University Nijmegen. Her research focuses on term rewriting systems and their applications in computational complexity, software verification, and program analysis. She leads the CHORPE and ICHOR research projects and coordinates multiple academic courses including Automated Reasoning and GiPHouse programs. Education: PhD in Computer Science from Vrije Universiteit Amsterdam (2012) Master's degree from Radboud University Nijmegen (2007) Research Interests: Cynthia's work bridges theoretical foundations with practical applications, particularly in higher-order term rewriting systems, constrained rewriting, program equivalence verification, and complexity analysis. She develops analysis tools like WANDA and Cora to automate verification processes. Publication Trends: Her recent articles demonstrate a strong focus on higher-order systems complexity analysis, termination proofs, program equivalence methods, and practical tool implementations for rewriting systems. Work frequently combines theoretical computer science with applied verification techniques. Grants and Projects: Principal Investigator for NWO VIDI project CHORPE (2021-2026) Principal Investigator for NWO TOP project ICHOR (2019-2023) Marie Curie Fellowship for HORIP project (2015-2017) Research Group: Leads a team including PhD students Liye Guo, Kasper Hagens, and Deivid Vale. The group develops formal methods for program analysis through constrained higher-order rewriting systems.

• Program verification
• Software Reliability
• Formal methods
• +۴ مورد دیگر

Professor Marieke Huisman is a leading figure in software reliability at the University of Twente, where she chairs the Computer Science department within the Faculty EEMCS and leads the Formal Methods and Tools (FMT) Group. She serves as President and Steering Committee chair of the ETAPS association, Member of the board of IPN (ICT-Research Platform Netherlands), and Fellow of the Netherlands Academy of Engineering (NAE). Her research focuses on program verification, reliability of concurrent, parallel and distributed applications, software specification, and formal methods. She develops verification techniques through the VerCors verifier, with applications spanning concurrent data structures, GPGPU programming, and distributed systems. Her work bridges theoretical formal methods with industrial applications, particularly in safety-critical domains. Professor Huisman's recent publications demonstrate strong activity in deductive verification, with particular emphasis on verification of concurrent and parallel systems, memory models, and practical applications of formal methods. Her research shows consistent evolution from theoretical foundations toward practical industrial applications, with increasing focus on GPU programming verification and automated invariant generation. Netherlands Prize for ICT Research 2013 (50,000 euros) 2023 Athena Award for female researchers who stand out as role models She leads multiple significant research projects including NWO OC M Pallas, WWU Münster - UT collaboration Saves, NWO TTW OTP Cheops, NWO VICI Mercedes, and Interreg North Sea Storm_Safe. Her leadership extends to editorial roles including Associate Editor-in-Chief of the Software Track of Science in Computer Programming and executive board membership of VERSEN, the Dutch National Association for Software Engineering. Professor Huisman directs the FMT Group which develops the VerCors verification toolset for concurrent and parallel software. The group collaborates internationally with institutions including WWU Münster, TU Eindhoven, and NlNet Labs, focusing on making formal verification accessible and practical for real-world software development challenges.

Boudewijn Haverkortمشاهده پروفایل

استاد

• Cyber-Physical Systems
• Data Science
• Artificial Intelligence
• +۸ مورد دیگر

Boudewijn Haverkort is Dean of the Tilburg School of Humanities and Digital Sciences at Tilburg University , with a distinguished career spanning over 30 years in academia and research leadership. He has held professorships at the University of Twente and RWTH Aachen, focusing on cyber-physical systems, and led major institutions like the Embedded Systems Institute (ESI) and the Dutch national research program Commit2Data . Education : PhD in Performability Modelling (University of Twente, 1991) Master’s in Computer Science (University of Twente, 1986; thesis work at University of Dortmund, Germany) Research centers on cyber-physical systems , including their application to sustainability , smart grids , wearable systems , and industrial security . His work combines technical rigor with societal impact and is funded by national (NWO) and international (EU) grants. Scientific contributions span performance evaluation , model checking , stochastic Petri nets , and digital twin development . His recent publications address temperature-aware scheduling , virtual entity modeling , and safety-critical system verification . Scientific leadership : Chairman of Commit2Data (2016–present) Chair of 3TU Centre of Excellence CeDICT (2005–2009) Scientific Director of Embedded Systems Institute (2009–2013) Head of Computer Science Department (University of Twente, 2008–2009, 2017–2018) Awards : Harvey Rosten Award for Excellence (2019) Collaborations include roles at the Fraunhofer Project Centre (2018) and advisory positions for regional innovation policies. He has supervised over 30 PhD students and taught courses on cyber-physical design , computer networking , and smart industry modules .