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

Milan Abel Lopuhaä-Zwakenbergمشاهده پروفایل

استادیار

• Computer Security
• Differential Privacy
• Side Channel Attacks
• +۷ مورد دیگر

Milan Abel Lopuhaä-Zwakenberg is an Assistant Professor at the University of Twente, holding dual appointments at the Digital Society Institute and the Formal Methods and Tools research group within the Faculty of Electrical Engineering, Mathematics and Computer Science. His expertise bridges theoretical computer science with practical security applications for critical infrastructure systems. His research focuses on computer security, differential privacy, and formal methods, with specialized work in attack trees, fault trees, and defense trees for modeling security vulnerabilities. He develops quantitative analysis techniques including statistical model checking and integer linear programming to address side channel attacks and risk mitigation in cyber-physical systems. His work demonstrates particular strength in translating formal verification methods into actionable security solutions for smart grids and aerospace systems. Recent publications reveal a clear trajectory toward practical implementation of theoretical security models, with increasing emphasis on real-world case studies in critical infrastructure. His 2024-2025 output shows significant expansion in satellite security applications and gridshield dependencies, while maintaining core contributions to fault tree analysis and differential privacy frameworks. The research consistently integrates quantitative metrics with formal verification to address evolving security challenges. Dr. Lopuhaä-Zwakenberg has received prestigious recognition for his contributions: Best paper award at the 14th International Conference on the Digital Society (2020) Best Paper Award at the 21st International Conference on Software Engineering and Formal Methods (2023) SPIN 2025 Best paper award (2025) As an active researcher within the Formal Methods and Tools group, he collaborates extensively on security analysis projects that combine attack-fault-defense trees with quantitative risk assessment methodologies. His team develops advanced tools for security dependency mapping in critical infrastructure, with current work focusing on satellite mission security and smart grid resilience through the Gridshield framework.

Joshua Sackمشاهده پروفایل

دانشیار

• Logic
• Mathematics
• Theoretical Computer Science
• +۳ مورد دیگر

Joshua Sack is an Associate Professor in the Department of Mathematics and Statistics at California State University Long Beach (CSULB). He holds a Ph.D. in Mathematics from Indiana University (2007), with a dissertation on Dynamic Epistemic Logic, and a Certificate in Logic from the University of Amsterdam's ILLC. His research focuses on logic applications in quantum theory, probabilistic systems, algebra, and theoretical computer science. He has published extensively on topics including quantum logic, epistemic logic, and algebraic structures, with recent work on immune cell kill rate models and quantum protocols verification. Education: Ph.D. in Mathematics, Indiana University (2007) Certificate in Logic, University of Amsterdam (2002) B.S. in Mathematics, University of Wisconsin (2001) Research Interests: Dr. Sack explores interdisciplinary areas such as quantum logic foundations, probabilistic reasoning in multi-agent systems, and algebraic structures in topology and functional analysis. His work bridges logic, mathematics, and computer science, with applications to quantum computing and immunology modeling. Key Publications Trends: His recent articles emphasize quantum logic formalisms (e.g., orthomodular lattices, quantum protocols), probabilistic epistemic systems, and algebraic studies of measurable functions. Earlier work includes contributions to dynamic epistemic logic and concurrency theory. Events & Grants: He co-organized the 2014 Amsterdam Quantum Logic Workshop (sponsored by NWO/ILLC), and his research has been supported by collaborations with institutions like Oxford, Radboud University, and the University of Technology Sydney. His GitHub repository hosts code for immune cell kill rate models (co-authored with Ami Radunskaya). Labs/Teams: Active in quantum logic and formal methods research groups, including contributions to the Quantomatic project and collaborations on probabilistic characteristic formulae frameworks.

Erik P. de Vinkمشاهده پروفایل

دانشیار

• Formal Methods
• Software Product Lines
• Probabilistic Systems
• +۶ مورد دیگر

Erik P. de Vink is an Associate Professor at Eindhoven University of Technology (TU/e), Department of Mathematics and Computer Science. He also serves as an Associated Research Fellow at CWI, the Dutch National Research Institute for Mathematics and Computer Science. His research focuses on formal methods, software product lines, dynamic system adaptation, and probabilistic process algebra. He has held roles such as Treasurer of Formal Methods Europe and organized symposia like the International Symposium on Formal Methods (2018). His academic background includes a PhD from VU Amsterdam, a Senior Researcher position at KPN, and prior teaching at Leiden University. Key research interests include formal modeling of software systems using tools like mCRL2 and Prism, analysis of feature-behavior interactions in software product lines, and validation techniques for dynamic system adaptation. He has co-promoted 9 PhD students in areas like denotational semantics, security, and probabilistic process algebra. His work integrates theoretical computer science with practical applications in distributed systems and concurrency. Recent articles explore topics such as formal methods education, bisimulation in polyhedral models, and probabilistic process analysis. He contributes to open-source tool development (e.g., mCRL2) and has published extensively in journals like Formal Aspects of Computing and Journal of Logical and Algebraic Methods in Programming .

Shahab Shariat Torbaghanمشاهده پروفایل

استادیار

• Sustainable Energy
• Operations Research
• Optimization
• +۶ مورد دیگر

Dr. Shahab Shariat Torbaghan is a tenure-track Assistant Professor of Smart Grids in Urban Energy and Water Systems at Wageningen University & Research. His expertise spans mathematical models, operations research, decision support systems, optimization, stochastic processes, sustainable energy, green infrastructure, machine learning, and energy transition. He holds a B.Sc. in Electrical Engineering from the University of Tehran (2008), an M.Sc. from Chalmers University of Technology (2010), and a Ph.D. from Delft University of Technology (2015). He previously worked as a Postdoctoral Fellow at Eindhoven University of Technology (2015–2017) and as a Research Scientist at VITO/EnergyVille in Belgium (2017–2020). His research focuses on applying sequential decision-making under uncertainty to water and energy infrastructure modeling and optimization, leveraging convex optimization, combinatorial optimization, and machine learning (deep learning, reinforcement learning). He collaborates with the City of Amsterdam, AMS Institute, water companies, and academic partners like HZ University of Applied Sciences and Utrecht University. He participates in European H2020 projects such as Magnitude, FHP, and Coordinate. Dr. Torbaghan teaches courses including 'Sustainability Transitions,' 'Data-Driven Environmental Modelling and Optimization,' and 'Managing Urban Environmental Infrastructure.' His work intersects urban infrastructure transitions, energy storage arbitrage, hydrogen production, and market-based mechanisms for flexibility provision. He is a Senior Member of IEEE and part of INFORMS and the GO-P2P community.

Cindy Kuijpersمشاهده پروفایل

دانشیار

• Operations Management
• Supply Chain Management
• Genetic Algorithms
• +۵ مورد دیگر

Cindy Kuijpers is an Associate Professor and Academic Director of the Master Supply Chain Management program at Tilburg School of Economics and Management (TiSEM), part of Tilburg University. She holds a position in the Department of Information Systems and Operations Management. Her work focuses on operations management, supply chain optimization, and applications of genetic algorithms in complex problem-solving. Her research interests span genetic algorithms for optimization challenges like the Traveling Salesman Problem, supply chain risk management in agricultural industries, and sustainability in supply networks through simulation-based approaches. She has contributed to foundational studies in moral graph triangulation and wafer stepper efficiency in semiconductor manufacturing. Key publications include seminal works on genetic algorithm representations (1999), supply risk management in Dutch horticulture (2005), and trust’s role in sustainable supply chains (2008). No scientific awards are explicitly listed in the provided texts. She teaches Operations Management across multiple programs (IBA, EBE, BA, BE). No advising relationships or grants are detailed in the source materials. Her interdisciplinary work bridges theoretical computer science with practical supply chain challenges, reflecting her dual focus on algorithmic innovation and industry-relevant solutions.

Hylke Jellemaمشاهده پروفایل

استادیار

• Criminal Law
• Evidence Law
• Legal Theory
• +۳ مورد دیگر

Dr. Hylke Jellema is an Assistant Professor at the Willem Pompe Institute for Criminal Law and Criminology, Utrecht University, and holds a postdoctoral position at the University of Groningen's Transboundary Legal Studies. His research focuses on rational criminal proof mechanisms, Bayesian reasoning in legal contexts, and preventing miscarriages of justice through evidence evaluation. He defended his PhD thesis cum laude on integrating Bayesian and explanation-based approaches to criminal proof. Currently, he works on truth-efficiency tensions in criminal investigations and defendant statement veracity evaluation under the 'Preventing Miscarriages of Justice' NWO project. Education background includes advanced training in both law and philosophy, reflected in his interdisciplinary research spanning legal theory and empirical legal studies. His work emphasizes probabilistic reasoning fallacies in judicial processes, as seen in his contributions to judge training programs and empirical testing of legal decision-making frameworks. Key awards include his PhD distinction. He collaborates on grants related to forensic epistemology and criminal justice reform, with active participation in multidisciplinary teams focusing on evidence reliability and judicial error reduction.

Mark van den Brandمشاهده پروفایل

استاد

• Software Engineering
• Digital Twin Engineering
• Model-Driven Engineering
• +۴ مورد دیگر

Mark van den Brand is a Full Professor of Software Engineering and Technology at Eindhoven University of Technology (TU/e), where he holds the chair in Software Engineering and serves as Scientific Director of the Digital Twin Lab (part of EAISI). He concurrently holds a Visiting Professorship at Royal Holloway University of London. His academic journey includes a PhD in Computer Science from Radboud University (1992), prior roles as part-time Associate Professor at Vrije Universiteit Amsterdam, and senior research positions at CWI. He also serves as Editor-in-Chief of the Journal on Software Engineering of Autonomous Systems (JSEAS) and editorial board member of Computer Languages, Systems and Structures . His research focuses on software engineering fundamentals, digital twins, model-driven engineering, safety-critical systems, and automotive software. Key contributions include work on domain-specific languages, model consistency, and safety assessment frameworks. He leads the Software Engineering and Technology cluster at TU/e and directs educational initiatives in the Department of Mathematics and Computer Science. Recent publications emphasize digital twin engineering, model management, and automotive systems safety. He collaborates internationally on projects like the C-ITS reference architecture and functional safety for autonomous driving. His work bridges academic research with industrial challenges through tools like SAMOS and COGENT, addressing scalability and consistency in large-scale systems. Current educational responsibilities include courses on programming, digital systems, and data science. He actively engages with industry through the TU/e innovation ecosystem, focusing on impactful research solutions for modern software engineering problems.

Clemens Dubslaffمشاهده پروفایل

استادیار

• Formal Methods
• Probabilistic Model Checking
• Symbolic Methods
• +۴ مورد دیگر

Clemens Dubslaff is an Assistant Professor in the Formal System Analysis group at TU Eindhoven (The Netherlands). His research focuses on improving the reliability and explainability of computing systems through formal methods, particularly probabilistic model checking and symbolic techniques. He holds a Ph.D. from TU Dresden (Germany) and has affiliations with TU Dresden's Cluster of Excellence CeTI and Collaborative Research Center CPEC. His work addresses challenges in analyzing complex configurable systems and enhancing system transparency through explainable AI approaches. Education: B.Sc. in Mathematics and Computer Science (TU Dresden) M.Sc. in Computational Logic (NOVA University Lisbon) Ph.D. in Formal Methods (TU Dresden) Research Interests: Formal methods and model checking Symbolic analysis techniques Configurable and reconfigurable systems Explainability in AI and verification Probabilistic systems analysis Recent Achievements: NWO VENI Grant (2023) Launched OxiDD decision diagram framework (2024) Key contributions to feature-based software analysis Labs/Teams: Formal System Analysis group at TU/e, collaborating with Dresden's CeTI and CPEC initiatives.

Rick Nouwenمشاهده پروفایل

دانشیار

• Semantics
• Pragmatics
• Cognitive Science
• +۴ مورد دیگر

Dr. Rick Nouwen is an Associate Professor in the Department of Languages, Literature and Communication at Utrecht University, affiliated with the Humanities Institute for Language Sciences. His work bridges semantics, pragmatics, cognitive science, and artificial intelligence, focusing on language-meaning relationships and their applications in human-machine communication. He coordinates the Linguistics Research Master's program and teaches in AI and linguistics programs. Research interests include presupposition processing, anaphora resolution, modified numerals, and numerical semantics. He leads an NWO-funded project on experimental and computational models of pragmatic discourse processes with Jakub Dotlacil. Nouwen has held editorial roles at the Journal of Semantics and Semantics and Pragmatics , contributing to academic integrity as a faculty contact. His recent work explores scalar phenomena, vagueness, and the cognitive foundations of linguistic meaning. Key contributions include studies on presupposition denial, interference effects, and the experimental validation of semantic theories. He organizes conferences and workshops, such as Processing meets semantics , fostering interdisciplinary dialogue. Awards and grants include NWO Free Competition funding (2020–2024). He advises on AI ethics and serves on academic committees, balancing research, teaching, and institutional roles.

Abraham Westerbaanمشاهده پروفایل

مدرس

• Category Theory
• Von Neumann Algebras
• Operator Algebras
• +۴ مورد دیگر

Dr. Abraham Westerbaan is a Lecturer at Radboud University's ICIS (Digital Security Department) and a Scientific Programmer at Radboud's iHub. He earned his Ph.D. in 2019 under the supervision of Bart Jacobs, defending a thesis titled *The Category of Von Neumann Algebras*, which explores foundational aspects of operator algebras and category theory. His research spans quantum computing, mathematical logic, and cryptographic systems, with notable contributions to quantum programming languages and mathematical structures in theoretical physics. Westerbaan's work integrates advanced algebraic concepts with computational security, reflecting his dual role in academic research and applied scientific programming. His publications emphasize categorical frameworks for quantum mechanics, operational quantum logic, and cryptographic protocols for network privacy. He maintains an active GitHub repository documenting his thesis and related projects, showcasing collaborations in operator algebra theory and computational mathematics. While no specific grants or awards are explicitly listed, his extensive publication record and academic roles indicate sustained engagement with cutting-edge research in theoretical computer science and mathematical physics. His affiliations with ICIS and the iHub highlight a commitment to both foundational inquiry and applied technological development.

Jan Friso Grooteمشاهده پروفایل

استاد

• Formal Methods
• Verification Technology
• Software Engineering
• +۱۲ مورد دیگر

Jan Friso Groote is a Full Professor and Chair of the Formal System Analysis group in the Department of Mathematics and Computer Science at Eindhoven University of Technology (TU/e). He also holds professorial roles in the EAISI Foundational and EAISI High Tech Systems institutes. Since 2016, he has been working part-time at ASML, contributing his expertise in formal verification to industrial applications. Education: Born in 1965, studied Computer Science at Twente University of Technology (now University of Twente), 1983–1988. PhD in 1991 from the University of Amsterdam with thesis 'Process algebra and structured operational semantics', based on research at CWI (Centrum Wiskunde en Informatica). Jan Friso Groote is a leading researcher in formal methods and software verification. His work focuses on enabling the development of flawless software through rigorous formal analysis. Key research areas include structural operational semantics, model checking, branching bisimulation, protocol verification, and the development of the mCRL2 toolset. His current goal is to integrate formal techniques into complete software system design, improving both development speed and quality. His research has demonstrated that formal methods can reduce development time by a factor of three and increase quality tenfold, with potential for zero-defect software. His recent publications demonstrate sustained contributions in formal verification, including work on mutual exclusion algorithms, industrial control system modeling, probabilistic systems, and efficient bisimulation algorithms. The articles span topics such as tunnel control systems, simulation lower bounds, and formal methods for critical systems, reflecting both theoretical depth and practical application. Scientific Awards: Best Paper Award FACS 2018 FMICS-AVoCS Best Paper Award (2017) Jan Friso Groote has held significant leadership roles in education, including Director of Education for Computer Science (2000–2010) and for multiple bachelor’s and master’s programs. He has advised numerous researchers and supervised a large body of research output (over 320 publications). He leads the Formal System Analysis group and has been involved in projects such as 'Composable Embedded Systems for Healthcare'. His work bridges academia and industry, particularly through collaborations with ASML and Rijkswaterstaat, and he has been a visiting researcher at institutions across Europe and China. He is a key contributor to the mCRL2 toolset, which supports modeling and verification of software behavior with data, time, and probabilities. His research fingerprints highlight strong expertise in model checking, transition systems, software design, and process algebra. He teaches courses such as System Validation, Embedded Software, and Capita Selecta in Formal System Analysis.

Remco W. van der Hofstadمشاهده پروفایل

استاد

• Probability theory
• Statistics
• Complex networks
• +۷ مورد دیگر

Remco W. van der Hofstad is a Full Professor and Chair of Probability at the Department of Mathematics and Computer Science, Eindhoven University of Technology (TU/e). He also serves as Scientific Director of EURANDOM (Dutch center for statistics, probability theory, and stochastic operations research) and co-directs the 'Random Spatial Structures' program at EURANDOM. His research focuses on probability theory, statistics, and their applications to complex networks including social media systems, with specific interests in percolation, random graphs, self-interacting random processes, and interdisciplinary applications in electrical engineering, computer science, and theoretical physics. Key Affiliations: Eindhoven University of Technology (TU/e) EURANDOM Gravitation Program NETWORKS Platform Wiskunde Nederland (spokesman) Research Highlights: He investigates probabilistic models for complex networks, combining theoretical mathematics with real-world applications. His work connects statistical physics concepts (e.g., percolation theory) with network science challenges in areas like glioma patient neuroimaging and pandemic transmission modeling. Scientific Recognition: Recipient of prestigious awards including the Prix Henri Poincaré (2003), Rollo Davidson Prize (2007), and NWO VIDI/VICI grants. His research contributes to UN Sustainable Development Goals related to scientific innovation. Collaborative Leadership: Active in interdisciplinary projects like the Gravitation Program NETWORKS and the Dutch Mathematics Platform. He also contributes to public dissemination through roles as Editor-in-Chief of the Network Pages community website.

Claudia Fecarottiمشاهده پروفایل

استادیار

• Reliability Engineering
• Maintenance Modelling and Optimization
• Infrastructure Asset Management
• +۶ مورد دیگر

Claudia Fecarotti is an Assistant Professor in Resilient Asset Management and Maintenance at Eindhoven University of Technology (TU/e), Netherlands, since January 2019. She is affiliated with the Operations, Planning, Accounting and Control Group (OPAC) within the Department of Industrial Engineering and Innovation Sciences, as well as EAISI and the 4TU Centre for Resilience Engineering. Prior to TU/e, she was a Research Associate at the University of Nottingham's Resilience Engineering Research Group (RERG), where she earned her PhD in Reliability Engineering and Infrastructure Asset Management in 2018. Education: BSc in Civil Engineering, University of Palermo, Italy MSc in Transportation Systems and Infrastructures, University of Palermo, Italy PhD in Reliability Engineering and Infrastructure Asset Management, University of Nottingham, UK Her research focuses on reliability engineering, maintenance modeling and optimization, and infrastructure asset management. She develops methodologies for planning, operating, and maintaining complex safety-critical systems (railways, fuel cells, offshore oil/gas, agricultural robots) to enhance performance and reduce costs. Her work bridges academic rigor with industrial relevance. Recent research trends include condition-based maintenance for multi-component systems, intervention planning for interconnected infrastructures, and digital tools for railway and modular construction systems. Her work aligns with UN Sustainable Development Goals for resilient infrastructure and sustainable cities. Scientific Awards: IMechE’s Best Young Researcher Award 2013 IMechE’s Donald Julius Groen Prize 2017 She is actively involved in projects like Modular prefabricated construction (2024–2027) and serves on the editorial board of the Journal of Infrastructure Systems (ASCE). Her expertise spans Petri nets, fault tolerance, and systems performance optimization.

Eric Nalisnickمشاهده پروفایل

استادیار

• Machine Learning
• Artificial Intelligence
• Probabilistic Modeling
• +۵ مورد دیگر

Eric Nalisnick is an Assistant Professor in the Department of Computer Science at Johns Hopkins University. He holds affiliations with the Institute for Assured Autonomy, Mathematical Institute for Data Science, and Data Science and AI Institute. His research focuses on developing safe and robust intelligent systems through probabilistic modeling and computational statistics, with applications in healthcare, online content moderation, and sign language processing. His work emphasizes human-centered design, exploring how to incorporate prior knowledge, detect system failures, and integrate human-machine decision-making. Research Trends: Recent publications highlight advancements in uncertainty quantification (e.g., Lightning UQ Box tool), early-exiting neural networks for risk control, and generative models for symmetry transformations. He also investigates calibration in multi-distribution learning and ethical considerations in hate speech detection systems. Advising & Contributions: Eric mentors a diverse cohort of PhD students and has developed influential open-source tools like Lightning UQ Box and Learning to Defer frameworks. His teaching includes courses on Deep Learning, Human-in-the-Loop Machine Learning, and Bayesian Methods.

• Formal Methods
• Probabilistic Systems
• Model Checking
• +۳ مورد دیگر

Joost-Pieter Katoen is a Full Professor at the Digital Society Institute and Formal Methods and Tools department. His research focuses on formal methods, probabilistic systems, and model checking, with applications in automated verification and Markov models. He has been actively involved in international conferences like FM 2023 and has collaborated globally on safety-critical systems analysis. Research Interests: Katoen’s work bridges theoretical foundations with practical tools, including parameter synthesis in probabilistic systems, fault tree analysis, and Bayesian network optimization. His contributions span algorithm design for model checking and probabilistic program verification. Awards: Received the Beste paper award in 2018 for contributions to uncertainty management in probabilistic programming. Advising & Grants: Supervised 10 academic works and contributed datasets for tools like Prophesy and SAFEST. Active in organizing events such as the 2017 Symposium on Model-Ed, Test-Ed, and Trust-Ed.