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

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 .

Matthias Christandlمشاهده پروفایل

استاد

• Quantum Information Theory
• Quantum Cryptography
• Mathematical Physics
• +۳ مورد دیگر

Matthias Christandl is a Professor of Mathematical Sciences at the University of Copenhagen, leading the Quantum for Life Center (Novo Nordisk Foundation) and co-PI of the VILLUM Foundation's QMATH center. He also heads the UCPH Quantum Hub, a cross-faculty initiative. His research focuses on quantum information theory, quantum cryptography, and mathematical physics, with contributions to quantum algorithms, tensor networks, and algebraic complexity. During 2024–2025, he holds the Turing Chair at QuSoft/CWI in Amsterdam, fostering collaborations in quantum software and theory. Education: PhD (2006, University of Cambridge), Diploma (2002, ETH Zurich). Previous roles include Assistant Professorships at ETH Zurich (2010–2014) and University of Munich (2008–2010), and postdoctoral research at Cambridge (2005–2008). Research interests span quantum communication protocols, entanglement verification, and the interplay between quantum mechanics and information processing. His work bridges theoretical computer science, mathematics, and physics, with key results in quantum position verification, tensor rank analysis, and fault-tolerant quantum coding. Scientific awards include ERC Starting (2013) and Consolidator Grants (2018), and election to the Royal Danish Academy of Sciences and Letters (2016). Major collaborations involve QuSoft, CWI, and international teams in quantum information and complexity theory. Grants and leadership: ERC grants, VILLUM Foundation, and Novo Nordisk Foundation funding. His group actively mentors PhD/postdoc researchers and contributes to quantum education via the MSc Quantum Computer Science program.

Wouter Kalfمشاهده پروفایل

مدرس

• Moral Philosophy
• Political Philosophy
• Meta-Ethics
• +۴ مورد دیگر

Wouter Kalf is a university lecturer in moral and political philosophy at Leiden University and a core lecturer in the Vision of the Future program. He is also affiliated with Utrecht University as a postdoctoral researcher and works with AOG School of Management. His academic journey includes obtaining a PhD from the University of Leeds in 2013, after which he has focused on bridging philosophy with practical applications in various domains. Dr. Kalf's research spans multiple areas of philosophical inquiry with a strong emphasis on practical application. His work primarily focuses on moral philosophy , political philosophy , and meta-ethics , examining how ethical frameworks can function as practical toolkits for decision making. He places significant importance on the cross-pollination between philosophy, science, and real-world practice, seeking to make philosophical insights accessible and applicable to contemporary challenges. His distinctive approach treats ethics not merely as subjective opinion but as a structured methodology for improving decision-making processes. His publications reveal a consistent trajectory toward making complex philosophical concepts relevant to everyday decision-making and future-oriented thinking. Kalf's work increasingly engages with contemporary issues such as artificial intelligence, sustainability, and the challenges of information integrity in the digital age, while maintaining a strong foundation in traditional philosophical inquiry. His 2023 book represents a significant contribution to making meta-ethical inquiry accessible to Dutch-speaking audiences. Since the fall of 2018, Dr. Kalf has served as program leader for Effective Thinking, where he develops approaches to enhance reasoning and decision-making capabilities. His teaching methodology emphasizes the critical distinction between mere streams of thought and norm-regulated thinking with specific goals, comparing effective thinking to chess where both purpose and rules guide meaningful outcomes. His vision centers on how sharper and more precise thinking about values contributes to a better world.

Wouter Petersمشاهده پروفایل

استاد

• Carbon Cycle
• Climate Science
• Atmospheric Composition Modeling
• +۸ مورد دیگر

Prof. Wouter Peters holds dual professorships at the University of Groningen (Honorary Professor in Atmospheric Composition Modeling since 2025) and Wageningen University (Carbon Cycle Professor since 2015). His research focuses on global carbon cycle dynamics, climate modeling, and greenhouse gas monitoring. He leads interdisciplinary teams investigating emissions, climate variability, and energy transition challenges. Education: PhD in Meteorology (Utrecht University, 2002), MSc in Meteorology & Physical Oceanography (1998), BSc in Physics (Vrije Universiteit Amsterdam, 1994). Research interests include atmospheric composition modeling, methane emissions tracking, wildfire impacts on CO₂ uptake, and integration of observational data with climate models. Key contributions include the CarbonTracker system and leadership in the Global Carbon Project. Recipient of major grants (NWO VIDI, ERC Consolidator) and advisor to Dutch climate policy initiatives. Leads national and international consortia on climate science infrastructure (e.g., Ruisdael Infrastructure, ICOS Carbon Portal). Advocates for science communication and mentors early-career climate scientists through TransCom community programs.

Cornelis (Kees) Huizingمشاهده پروفایل

استادیار

• Software Engineering
• Concurrent Programming
• Code Transformation
• +۳ مورد دیگر

Cornelis (Kees) Huizing is an Assistant Professor in the Department of Mathematics and Computer Science at Eindhoven University of Technology. His work focuses on software engineering , concurrent programming , and dependency safety in Java , with a strong emphasis on model-to-code transformations and educational tools. Research Interests : Concurrency, code transformation, Java programming, failbox mechanisms, and structured design methodologies. Collaboration Networks : Active in interdisciplinary research related to concurrent systems, state machines, and software engineering practices, as evidenced by his fingerprint metrics. Teaching Contributions : Involved in courses such as Capstone and Computer Science Teaching, emphasizing interactive and independent learning strategies for software-intensive systems.

Peter Bruinمشاهده پروفایل

استادیار

• Number Theory
• Algebraic Geometry
• Elliptic Curves
• +۵ مورد دیگر

Peter Bruin is an Assistant Professor at the Mathematical Institute of Leiden University, specializing in algebra, geometry, and number theory. He is affiliated with the Quantum Software Consortium, an NWO Gravitation project, and the ALGANT Organisation. His research focuses on concrete arithmetic between geometry and number theory, with particular interest in elliptic curves, Galois representations, and modular forms. Peter Bruin completed his PhD at Universiteit Leiden in 2010 with the thesis "Modular curves, Arakelov theory, algorithmic applications" under the supervision of Prof. dr. S. J. Edixhoven and Dr. R. S. de Jong. Prior to that, he earned his Master's degree from the same institution in 2006 with the thesis "Green functions on Riemann surfaces and an application to Arakelov theory." His academic journey includes postdoctoral positions at Université Paris-Sud 11, Institut des Hautes Études Scientifiques, Universität Zürich, and the University of Warwick, where he served as an Assistant Professor (Warwick Zeeman Lecturer). Bruin's research interests lie at the intersection of algebraic geometry and number theory, with particular focus on elliptic curves, Galois representations, modular forms, and arithmetic geometry. His work often involves developing computational methods and software tools to explore theoretical questions in these areas. He has made significant contributions to understanding torsion structures of elliptic curves, L-functions, and the connections between modular curves and number fields. His research has applications in cryptography, particularly in lattice-based and post-quantum cryptographic systems. His recent publications demonstrate a strong focus on the arithmetic properties of elliptic curves and their generalizations, with particular attention to torsion structures, modular curves, and the computational aspects of Galois representations. His work spans both theoretical developments and practical implementations, as evidenced by his creation of specialized mathematical software packages. Organized "An Expedition into Arithmetic Geometry" (2023) in memory of Bas Edixhoven Co-organized COUNT workshop (2023) on computations in number theory Organized 6th General Assembly of Quantum Software Consortium (2021) Organized Algorithms in Number Theory and Arithmetic Geometry workshop (2017) As an educator, Bruin teaches a variety of courses including Linear Algebra, Topology, Modular Forms, and Representation Theory of Finite Groups. He also leads seminars on presenting and communicating mathematical concepts. His teaching philosophy emphasizes connecting theoretical concepts with practical applications, particularly in the emerging field of quantum computing.

• Computer Security
• Hardware Security
• Programming Languages
• +۳ مورد دیگر

Klaus Freiherr von Gleissenthal is an Assistant Professor at the Faculty of Science and the Network Institute at Vrije Universiteit Amsterdam. His research focuses on computer security, hardware security, and programming languages. He teaches courses on compiler construction and verification for security. His work addresses challenges in embedded systems, microcontroller-based devices, and open-source processor verification. Collaborations span international research networks, emphasizing practical applications in cybersecurity and hardware-software co-design. Research Interests: Hardware-Triggered Security Mechanisms Type Systems and Static Analysis Side-channel Attack Mitigation Compiler Optimization Impacts on Security His recent publications explore topics such as data integrity in microcontrollers, refinement type systems, and leakage contracts for open-source processors. He actively contributes to conferences like CCS and PLAS, fostering interdisciplinary approaches to security challenges.

• Theoretical Computer Science
• Rewriting Systems
• Lambda Calculus
• +۳ مورد دیگر

Femke van Raamsdonk is an Assistant Professor in Theoretical Computer Science at Vrije Universiteit Amsterdam’s Faculty of Science and affiliated with the Network Institute. She specializes in rewriting systems, lambda calculus, and formal methods. Her research spans higher-order rewriting, termination analysis, and computational logic, with a focus on theoretical foundations and applications in programming languages. Van Raamsdonk has edited numerous conference proceedings, including RTA 2013 and FSCD 2023, and has authored over 24 research outputs. She teaches advanced courses like Advanced Logic and Equational Programming, emphasizing practical tools like the ProofWeb system. Her work contributes to UN Sustainable Development Goals through advancements in computational theory and education. No scientific awards are explicitly mentioned, but her extensive editorial roles and conference contributions highlight her academic leadership. She has supervised two PhD theses, though student names are not listed. Her activities include memberships in professional organizations like CL and RTA, and lectures on topics such as constructor subtyping and termination in lambda calculus.

Ana-Maria-Roxana Petrescuمشاهده پروفایل

پژوهشگر

• Greenhouse gas emissions
• Methane emissions from wetlands
• Climate data analysis
• +۵ مورد دیگر

Dr. Ana-Maria-Roxana Petrescu is a Visiting Researcher at the Faculty of Science, Earth and Climate department of Vrije Universiteit Amsterdam. She specializes in greenhouse gas (GHG) emissions research, particularly methane emissions from natural wetlands and other sectors. Her work focuses on reconciling bottom-up and top-down emission estimates to improve UNFCCC reporting accuracy. She contributes to EU projects like VERIFY and AVENGERS, developing tools for national agencies to validate emissions inventories using atmospheric data. PhD in Environmental Sciences/Hydrology 15+ years of research experience Expertise in hydrological modeling, remote sensing, and land-climate interactions Her research integrates emission inventory data, process-based models, and inversion techniques to assess GHG fluxes. Key contributions include European methane and nitrous oxide emission synthesis and cross-validation of methodologies for policy-relevant emission reporting.

Engelbert Hubbersمشاهده پروفایل

مدرس

• Formal Methods
• Electronic Voting Systems
• Cybersecurity
• +۳ مورد دیگر

Engelbert Hubbers is a Lecturer at Radboud University, affiliated with the Digital Security Group within the Institute for Computing and Information Sciences (iCIS). His primary role involves teaching responsibilities across multiple courses such as Mathematical Structures, Formal Reasoning, and Logic and Applications. His research interests focus on formal methods, electronic voting systems, and discrete mathematics, with a particular emphasis on cybersecurity applications like Java Card security and e-passport systems. Engelbert has contributed to significant projects such as the RIES internet voting system and the KOA remote voting system, emphasizing formal verification and secure protocol design. He has held roles in academic governance, including membership in the Exam Committee and Program Committee of iCIS. His work bridges theoretical computer science with practical applications in secure voting technologies and embedded systems. Publications span topics from formal logic in education to cryptographic protocols, reflecting his transition from foundational research (e.g., polynomial automorphisms) to applied security. His teaching includes coordinating courses on formal reasoning, discrete mathematics, and semantics, demonstrating a commitment to both education and cybersecurity innovation.

Nick Bezhanishviliمشاهده پروفایل

استاد

• Modal Logic
• Intuitionistic Logic
• Mathematical Logic
• +۶ مورد دیگر

Nick Bezhanishvili is a Professor at the Institute for Logic, Language and Computation (ILLC) within the Faculty of Science at the University of Amsterdam. He serves as Director of the Master of Logic program and is Managing Editor of the Journal of Logic, Language and Information. His academic leadership extends to his role as President of the Dutch Association for Logic and Philosophy of the Exact Sciences (VvL). Bezhanishvili's research centers on Mathematical Logic, particularly Modal Logic, Intuitionistic Logic, and their algebraic and topological semantics. His work bridges abstract mathematical structures with computational applications, focusing on duality theory, proof theory, and the geometric interpretation of logical systems. His research has produced significant contributions to stable canonical rules, polyhedral semantics, and topological models for belief and knowledge. His publication record shows a strong trend toward geometric and topological approaches to logical systems, with recent work exploring polyhedral model checking, intermediate logics of convex polyhedra, and the topological mu-calculus. These works demonstrate increasing interdisciplinary connections between logic, topology, and computer science, particularly in verification and spatial reasoning. Best Paper Award for 'Weak simplicial bisimilarity for polyhedral models and SLCS_eta' (FORTE 2024) Ray Ritter Best Paper Award for 'The topology of surprise' (KR 2022) Italian Logic Association's Ada Lettieri Best Paper Award for 'Profiniteness and representability of spectra of Heyting algebras' (2021) Bezhanishvili has supervised an extensive number of students, including 6 PhD graduates and over 30 Master's students, many of whom have received awards for their theses. His research projects have involved collaborations across multiple institutions in Europe, particularly focusing on the SYSMICS network (Syntax meets Semantics) and the Tbilisi School of Logic. He maintains active research groups exploring algebraic logic, topological semantics, and applications to computer science.

Johannes Hölzlمشاهده پروفایل

پژوهشگر

• Formal Verification
• Probabilistic Programming
• Markov Chains
• +۷ مورد دیگر

Johannes Hölzl is a Post-doctoral Researcher in the Faculty of Science , specifically within the Department of Computer Science at Vrije Universiteit Amsterdam . He works in the Section of Theoretical Computer Science , focusing on formal verification and probabilistic systems. His research integrates higher-order logic with programming languages to model and verify complex computational processes. Position: Post-doctoral Researcher Institution: Vrije Universiteit Amsterdam Department: Computer Science Section: Theoretical Computer Science Hölzl's research spans formal verification, probabilistic programming, and concurrency. He has contributed extensively to the Isabelle/HOL proof assistant, formalizing mathematical structures like measure theory, Markov chains, and timed automata. His work bridges theoretical analysis with practical verification tools, ensuring rigorous proofs in automated reasoning. His publications highlight advancements in probabilistic systems, including formalizing Markov decision processes (2017), verifying compilers for probability density functions (2015), and analyzing expected running times of probabilistic programs (2016). The 2025 article on probabilistic timed automata indicates ongoing exploration of concurrent probabilistic models. Hölzl has no explicitly listed scientific awards in the provided texts. His collaborations with researchers like Tobias Nipkow and Andrei Popescu underscore interdisciplinary efforts in formal methods and security verification. He contributes to the Theoretical Computer Science Section at VU Amsterdam, advancing foundational research in logic-based programming and probabilistic modeling.

• Arithmetic Geometry
• Formalization of Mathematics
• Algebraic Geometry
• +۷ مورد دیگر

Johan Commelin is an Assistant Professor in the Fundamental Mathematics group at the Mathematical Institute of Utrecht University. He works part-time (0.6FTE) at Utrecht University and part-time at Lean FRO, focusing on arithmetic geometry and formalization of mathematics. His educational background includes: PhD in Nijmegen (2013-2017), supervised by Ben Moonen Master's degree with thesis on "Algebraic cycles, Chow motives, and L-functions" (2013), supervised by Robin de Jong Bachelor's degree with thesis on "Tannaka Duality for Finite Groups" (2011), supervised by Lenny Taelman Commelin's research focuses on formalization of algebraic geometry, homological algebra, and condensed mathematics, as well as categorical logic and applications of o-minimality to algebraic geometry and topology. His work particularly examines applications of o-minimality to the theory of periods and motives. He is actively involved in the Lean community and led the Liquid Tensor Experiment following Peter Scholze's challenge. His recent publications show a strong trend toward formalization of mathematics using the Lean theorem prover, with significant contributions to formalizing advanced mathematical concepts like perfectoid spaces and Witt vectors. His work bridges traditional mathematical research with computer-assisted proof verification. Scientific awards include: Distinguished Paper Award for "Formalizing the Ring of Witt Vectors" at Certified Programs and Proofs 2021 Commelin supervises three PhD students: Raphael Douglas Giles, Christian Merten, and Pim Otte. He has received grants supporting his work in formalization of mathematics and is actively involved in organizing the group meeting on logic, formalization, and related topics at Utrecht University. He is one of the maintainers of the mathematical library of the Lean theorem prover and has collaborated on projects like "Superficie algebriche" and "Sloganerator" with Pieter Belmans.

Vadim Zaytsevمشاهده پروفایل

دانشیار

• Software Language Engineering
• Program Verification
• Conceptual Modeling
• +۵ مورد دیگر

Vadim Zaytsev is an Associate Professor at Vrije Universiteit, specializing in Formal Methods and Tools. His research spans software language engineering, program verification, and model-driven development, with a focus on legacy systems and modernization. PhD in Recovery, Convergence, and Documentation of Languages (2008) Master's in Combinatorial Test Set Generation (2004) and Modelling Distributed Systems (2003) Bachelor's in Python Programming E-Learning (2002) Zaytsev's work integrates software language engineering , program verification , and domain-specific languages to address legacy system modernization. His recent publications emphasize data enrichment , automated repair , and refactoring detection across languages like Kotlin and Python. His scientific contributions include the IFIP TC2 Manfred Paul Award (2020) and datasets for program verification, refactoring detection, and automated repair. He actively participates in editorial work, including peer-review for workshops like OOPSLE 2020.

Andrea Brunelloمشاهده پروفایل

استادیار

• Artificial Intelligence
• Machine Learning
• Deep Learning
• +۹ مورد دیگر

Andrea Brunello serves as an Assistant Professor (tenure-track) at the Department of Humanities and Cultural Heritage (DIUM) of the University of Udine, while maintaining a dual affiliation with the Department of Mathematics, Computer Science and Physics (DMIF) where he participates in the Data Science and Automatic Verification Laboratory. He holds a prominent position on the board of directors for the AI4CH Initiative, reflecting his unique bridging of technical AI development and humanities scholarship. His educational foundation includes a Computer Science degree earned through an international program between the University of Udine and Austria's University of Klagenfurt, followed by a PhD in Computer Science, Mathematics, and Physics from Udine. His doctoral research included a significant international component at the University of Western Australia, where he specialized in temporal logic and formal methods. Dr. Brunello's research program demonstrates remarkable interdisciplinary reach: Technical AI Development: Specializing in machine/deep learning architectures with emphasis on model interpretability (XAI), neural network applications, and temporal data processing Domain Applications: Medical diagnostics, intelligent sensor systems, localization technologies, and digital humanities projects Data Infrastructure: Expertise spanning relational and NoSQL databases, data warehousing, and decision support systems Theoretical Contributions: Work on symbolic/subsymbolic AI integration and spatio-temporal data modeling His professional engagements extend beyond academia through substantial collaborations with industry partners including u-blox, SAL Silicon Austria Labs, GAP srlu, and beanTech. He regularly conducts specialized training for non-academic audiences on data integration, decision support systems, and explainable AI implementation. As an active PeerJ Editor & Reviewer with over 900 contribution points, he maintains strong connections with the international computer science research community. Dr. Brunello directs his efforts through the Data Science and Automatic Verification Laboratory at DMIF and the interdisciplinary AI4CH Initiative, creating pathways for meaningful technology transfer between humanities scholarship and advanced computational methods.