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

Vedran Dunjkoمشاهده پروفایل

استاد

• Quantum Computing
• Quantum Machine Learning
• Quantum Artificial Intelligence
• +۷ مورد دیگر

Professor Vedran Dunjko is a faculty member at the Leiden Institute of Advanced Computer Science (LIACS), Leiden University, with affiliations to the Leiden Institute of Physics (LION). He leads the Applied Quantum Algorithms group and co-founded the Quantum@LIACS initiative, focusing on the intersection of quantum computing, machine learning, and artificial intelligence. His research interests include quantum machine learning, quantum-enhanced reinforcement learning, quantum heuristics, and the application of AI to quantum computing challenges. Dunjko's work bridges theoretical foundations with experimental implementations on near-term quantum devices, exploring both quantum advantages in learning and the use of classical AI for quantum system design. The recent publications show a strong trend toward proving quantum advantages in learning tasks, optimization, and topological data analysis, with publications in Nature , Nature Communications , and NeurIPS . Key themes include quantum policy gradients, quantum TDA, and reinforcement learning for quantum circuit optimization. ERC Consolidator Grant (2024) PNAS Cozzarelli Prize (2018) Editor’s Suggestion in Physical Review Letters (2014, 2018) Featured in Physics (American Physical Society) (2014, 2018) Dunjko advises several PhD candidates and postdocs, including Rahul Bandyopadhyay, Sofiene Jerbi, and Lea Trenkwalder. He has received competitive grants, most notably the ERC Consolidator Grant in 2024. His group fosters international collaborations with institutions across Europe and industry partners. The Applied Quantum Algorithms group and the Quantum@LIACS team combine theoretical investigations with practical implementations on quantum hardware, focusing on scalable quantum algorithms and AI-driven quantum discovery.

Nathan van de Wouwمشاهده پروفایل

استاد

• Dynamics and Control
• Mechatronics and Robotics
• Smart Manufacturing
• +۶ مورد دیگر

Nathan van de Wouw is a Full Professor at the Mechanical Engineering Department of Eindhoven University of Technology (TU/e), affiliated with ICMS, EAISI Mobility, EAISI High Tech Systems, EAISI Foundational, and EIRES. He also holds an adjunct Full Professor position at the University of Minnesota and a part-time Full Professorship at Delft University of Technology. His research focuses on dynamics and control of mechanical systems, including mechatronics, robotics, smart manufacturing, energy systems, and networked control. He has supervised over 150 students and led numerous projects funded by industry partners like ASML, Philips, and Shell. Education: M.Sc. (with Honors) in Mechanical Engineering, TU/e (1994) Ph.D. in Mechanical Engineering, TU/e (1999) Research Interests: Nonlinear systems and control Model reduction and complexity analysis Data-driven and networked control strategies Applications in high-tech systems, autonomous vehicles, and energy systems Awards: IEEE Control Systems Technology Award (2015) for variable-gain control in motion systems Grants & Projects: Lead projects on mechatronic design, lithography systems, and thermodynamic optimization Collaborations with TNO, ASML, and industrial partners Labs & Teams: Member of TU/e’s Dynamics and Control group Affiliated with EAISI (Eindhoven AI Systems Institute)

Noela Müllerمشاهده پروفایل

استادیار

• Probability Theory
• Random Matrices
• Sparse Matrices
• +۵ مورد دیگر

Noela Müller is an Assistant Professor in the Mathematics and Computer Science school at Eindhoven University of Technology . Her research focuses on Probability Theory , Random Matrices , and Random Graphs , with significant contributions to understanding the rank of sparse matrices and clique factors in probabilistic settings. Research Outputs : Published 22 works including journal articles and preprints. Collaborations : Active in international networks, particularly in sparse matrix analysis and probabilistic combinatorics. Her recent work explores sparse pooled data algorithms , random 2-SAT models , and sharp thresholds in random graphs , showcasing interdisciplinary applications in computer science, mathematics, and theoretical physics.

Jop Briëtمشاهده پروفایل

پژوهشگر

• Theoretical Computer Science
• Quantum Information Theory
• Combinatorics
• +۳ مورد دیگر

Jop Briët is a Researcher at the Department of Algorithms and Complexity at Centrum Wiskunde & Informatica (CWI) in the Netherlands. His work focuses on theoretical computer science, quantum information theory, combinatorics, and tensor analysis. He has held grants including the Veni Innovational Research Grant from NWO and a Rubicon fellowship. He has authored over 50 publications in leading venues, exploring topics such as Grothendieck inequalities, quantum computing, and additive combinatorics. His research interests span the interplay between combinatorics and computational complexity, with particular emphasis on tensor analysis, probabilistic methods, and algorithm design. Recent work includes studies on Szemerédi’s theorem with random differences and the application of quantum query algorithms to entanglement-based problems. Awards: Outstanding paper award TQC (2020), Andreas Bonn medal (2013), Stieltjesprijs (2011). Professional Activities: Editor for ERCIM News, Board Member of Koninklijk Wiskundig Genootschap, and frequent invited speaker at workshops on quantum computing and combinatorics. Grants: Veni Grant (2014), Rubicon Fellowship (2012). Current teaching includes courses on Additive Combinatorics and Quantum Information Processing, reflecting his commitment to bridging foundational theory with advanced applications in computing and mathematics.

• Model-Based Design
• Design Automation
• Optimization
• +۴ مورد دیگر

Marc C.W. Geilen is an Associate Professor at the Electronic Systems group , Eindhoven University of Technology. He leads the Model-Based Design Lab and contributes to the CompSOC Lab and High Tech Systems Center . His work focuses on model-based design methods, design automation, and optimization for real-time and embedded systems. Research Keywords: Cyber-Physical Systems, Real-Time Systems, Embedded Systems, Performance Analysis, Design Automation Key Collaborations: EU ECSEL TRANSACT project, SAM-FMS project, Arrowhead Tools initiative His recent publications address weakly-hard timing constraints in server-based systems, hybrid performance modeling for cyber-physical systems, and neural network optimization for communication. Article trends span Real-Time Scheduling , Trustworthy Modeling , Neural Network Efficiency , and Resource Allocation in distributed environments. Scientific Awards : Partial-Order Reduction for Performance Analysis (2018) Teaching activities include courses in Computational Modeling , Embedded Signal Processing , and Discrete Mathematics . He collaborates across projects like TRANSACT, SAM-FMS, and Arrowhead Tools, focusing on flexible manufacturing and cloud-to-edge transitions.

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.

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

استادیار

• Logic
• Type Theory
• Program Verification
• +۵ مورد دیگر

Daniel Frumin is an Assistant Professor in the Department of Fundamental Computing Science at the University of Groningen, affiliated with the Bernoulli Institute. His research focuses on Logic, Type Theory, and Program Verification, with a particular emphasis on formal methods for concurrency, type systems, and homotopy type theory. He has contributed to foundational work in denotational semantics, modular programming language design, and mechanized verification of concurrent systems. His expertise includes the application of logical frameworks to concurrency models, such as ReLoC (Relational Logic for Concurrent Programming) and the integration of type theories with operational semantics. Recent work explores guarded interaction trees, interval domains in homotopy type theory, and compositional security properties for fine-grained systems. Frumin has published extensively in top-tier venues like ESOP, CONCUR, and ACM POPL, with peer-reviewed contributions on topics ranging from bunched implications in session-based concurrency to formal verification of data structures like concurrent queues. His research often bridges theoretical computer science and practical formal verification, leveraging tools like Coq for mechanized proofs. Collaborations include projects with institutions such as Aarhus University (Denmark) and the University of Bologna, focusing on univalent foundations, categorical semantics, and security verification. His work is supported by grants from the Dutch Research Council (NWO) and industry partnerships like Meta's Folly Library verification efforts. Labs/Teams: Active contributor to the Bernoulli Institute's Formal Methods Group and the Univalent Foundations initiative. His research group specializes in applying type-theoretic and categorical methods to concurrency and verification challenges.

Twan Bastenمشاهده پروفایل

استاد

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

Twan Basten is a Full Professor in the Electronic Systems group at Eindhoven University of Technology (TU/e). He leads research on embedded and cyber-physical systems, focusing on model-driven design, computational models, and system dependability. He holds an MSc (1993) and PhD (1998) in Computing Science from TU/e, advancing from Assistant to Full Professor by 2009, and became the Electronic Systems group chair in 2013. His research spans international projects (FP5-7, H2020, ECSEL) and Dutch initiatives (STW, NWO, RVO), with over 200 publications and seven best paper awards. He has co-supervised 21 PhD students and actively participates in program committees and conferences. His work contributes to UN Sustainable Development Goals through innovations in smart systems. Education: MSc in Computing Science, TU/e (1993) PhD in Computing Science, TU/e (1998) Research Interests: Explores design methodologies for embedded systems, including scenario-based design, real-time scheduling, and performance analysis. Specializes in model-driven engineering and computational models to ensure system dependability. Active in projects like TRANSACT (real-time systems) and SAM-FMS (flexible manufacturing). Key Contributions: Co-author of 1 book and over 200 scientific publications Recipient of seven best paper awards Co-supervised 21 PhD degrees Senior member of IEEE and lifetime member of ACM Labs & Teams: Leads the Model-Based Design Lab and contributes to EAISI High Tech Systems initiatives. Collaborates on tools like TRACE4CPS for execution trace analysis and CReTS for vehicle platooning simulation.

Jacquelien Scherpenمشاهده پروفایل

استاد

• Automation & Control Systems
• Nonlinear Control Systems
• Smart Energy Systems
• +۳ مورد دیگر

Jacquelien Scherpen is a Professor at the University of Groningen, currently serving as Rector Magnificus. She holds a position in the Engineering and Technology institute Groningen (ENTEG) within the Faculty of Science and Engineering. Her academic journey includes a PhD in Applied Mathematics from the University of Twente (1994) and post-doctoral roles at Delft University of Technology before joining Groningen in 2006. She has been a leader in systems and control research, with roles as Scientific Director of ENTEG (2013–2019) and Director of the Groningen Engineering Center (2016–2023). Her research focuses on model reduction, nonlinear control, smart energy systems, and distributed control applications in smart grids. Key achievements include the Automatica Best Paper Prize (2020), Knight of the Order of the Netherlands Lion (2019), and the Prince Friso Engineer of the Year Award (2023). She has held leadership roles in organizations like the European Control Association (EUCA) and is a Fellow of IEEE. Her professional activities include editorial roles in journals like the IEEE Transactions on Automatic Control and the International Journal of Robust and Nonlinear Control. She has organized major conferences, including the European Control Conference (ECC) 2021 and 2023. Her work bridges theoretical advancements with practical applications, emphasizing sustainability and engineering innovation.

• Theoretical Computer Science
• Design and Analysis of Algorithms
• Discrete Optimization
• +۷ مورد دیگر

Nikhil Bansal holds the prestigious Patrick C. Fischer Professorship of Theoretical Computer Science in the Department of Computer Science & Engineering at the University of Michigan's College of Engineering. His research program has established him as a leading figure in theoretical computer science, with significant contributions to algorithm design and analysis, particularly in discrete optimization problems. Bansal's research focuses on theoretical computer science with emphasis on design and analysis of algorithms for discrete optimization problems. His work spans multiple areas including discrepancy theory, approximation algorithms, randomized algorithms, combinatorial optimization, complexity theory, machine learning theory, and probability. He has made significant contributions to understanding the limits of approximation algorithms and developing novel techniques for combinatorial optimization problems. Analysis of Bansal's recent publications reveals a strong focus on discrepancy theory, online algorithms, and combinatorial optimization. His work often bridges theoretical computer science with discrete mathematics and probability theory. A recurring theme across his publications is the development of novel algorithmic techniques for solving NP-hard problems with provable guarantees. His research has evolved from foundational work in approximation algorithms to more recent contributions in quantum computing complexity and stochastic optimization. Patrick C. Fischer Professor of Theoretical Computer Science Bansal has advised numerous PhD students including Marek Elias, Shashwat Garg, and Greg Koumoutsous, as well as mentoring several postdoctoral researchers. He has served on editorial boards for top journals including Journal of the ACM, Theory of Computing, and Stochastic Models, and has been active on program committees for major conferences such as STOC, FOCS, SODA, and ICALP, including serving as chair for ICALP 2021. Bansal has organized multiple academic workshops including the STOC 2020 Workshop on Recent Advances in Discrepancy and Applications, several SDP Days at CWI Amsterdam, and the Semester on Bridging Continuous and Discrete Optimization at UC Berkeley in Fall 2017.

Tiziano De Matteisمشاهده پروفایل

استادیار

• Parallel and Distributed Computing
• High-Performance Computing
• Energy Efficiency in Computing
• +۴ مورد دیگر

Tiziano De Matteis is an Assistant Professor in the @Large Research group at Vrije Universiteit Amsterdam's Faculty of Science, Department of Computer Systems. He also holds an affiliation with the Network Institute. His research focuses on overcoming post-Moore architecture challenges through parallel and distributed computing, high-performance systems, energy efficiency, and FPGA applications. Previously, he was a PostDoc at ETH Zurich's SPCL Group and earned his MSc/PhD from the University of Pisa. Education PhD in Computer Science, University of Pisa MSc in Computer Science, University of Pisa Research Interests Post-Moore architectures for distributed ecosystems Energy-aware parallel computing High-level abstractions for parallel software development FPGA-based hardware acceleration Data stream processing and distributed systems Recent Research Trends Recent work emphasizes: Data center risk analysis and sustainability Optimizing microservices and distributed scheduling LLM model offloading to NVMe storage Python-based data-centric programming productivity GPU interconnect performance in supercomputing Grants & Projects Participates in the EU-funded 'Extreme and Sustainable Graph Processing' project (2023-2025), exploring scalable graph algorithms and energy-efficient computing systems. Teaching Accelerator-Centric Computing Ecosystems Computer Organization Distributed Systems Systems Seminar

Artem Kaznatcheevمشاهده پروفایل

استادیار

• Evolutionary Biology
• Theoretical Computer Science
• Computational Complexity
• +۵ مورد دیگر

Artem Kaznatcheev is an Assistant Professor at Utrecht University in the Department of Mathematics and Department of Information and Computing Sciences within the Science faculty. His research bridges theoretical computer science and evolutionary biology to analyze biological and social systems through an algorithmic lens. Current role since January 2023 Recruiting PhD students and postdocs Previously: James S. McDonnell postdoctoral fellow at University of Pennsylvania His work focuses on: Computational complexity of evolution Evolutionary game theory Algorithmic biology Mathematical modeling of cancer dynamics Cultural evolution of science Selected article trends show: Interdisciplinary integration of computer science and cancer biology Key themes: fitness landscapes, evolutionary games, treatment optimization 2021-2020 publications dominate Mathematical formalisms applied to biological and social phenomena Scientific contributions include: James S. McDonnell Foundation Independent Postdoctoral Fellowship 2019 Genetics paper on computational complexity as evolutionary constraint 2017 Nature Ecology & Evolution study on fibroblast-drug interactions in cancer Collaborative environments: Worked with Theory, Evolution and Games Group Previous affiliations: Oxford University, University of Pennsylvania, Moffitt Cancer Center, McGill University Developed teaching roles at Oriel College (Oxford)

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.

Oliver Fabertمشاهده پروفایل

دانشیار

• Symplectic Geometry
• Hamiltonian Systems
• Floer Theory
• +۳ مورد دیگر

Dr. Oliver Fabert is an Associate Professor in the Department of Mathematics at the Faculty of Science, Vrije Universiteit Amsterdam. His research focuses on advanced topics in symplectic geometry, Hamiltonian systems, and Floer theory. He teaches courses such as Differential Geometry, Non-linear Dynamical Systems, and Partial Differential Equations. Key research interests include Hamiltonian systems, periodic solutions, symplectic manifolds, and the application of Floer theory to nonlinear PDEs. His work often intersects with algebraic topology and geometric analysis, addressing challenges like the small divisor problem in Hamiltonian PDEs and the development of regularization techniques in polysymplectic geometry. Dr. Fabert has published extensively on topics such as hyperkähler Floer theory, pseudoholomorphic curves, and topological recursion relations. His contributions span foundational work in symplectic field theory and polyfold theory, with applications to both finite and infinite-dimensional Hamiltonian systems. He has supervised at least one PhD thesis and actively engages in teaching advanced mathematical concepts, reflecting his commitment to both research and education in theoretical mathematics.

Erik Dietzenbacherمشاهده پروفایل

استاد

• Input-output Analysis
• Economic Growth
• Climate Change
• +۶ مورد دیگر

Erik Dietzenbacher is a Full Professor of Interindustry Economics at the University of Groningen's Faculty of Economics and Business. He specializes in input-output analysis, climate change, and regional economics. He holds honorary positions at institutions like the University of the Chinese Academy of Sciences and has been a visiting professor at Rutgers University and UIBE in Beijing. Education: MSc in Econometrics (1982) and PhD in Economics (1991) from the University of Groningen. His academic career spans over three decades, with leadership roles including Chair of the Board of Examiners at FEB and former President of the International Input-Output Association (2013-2018). Research focuses on global value chains, environmental impacts of trade, and structural decomposition analysis. He coordinates large projects like the WIOD (World Input-Output Database), funded by the EU. Notable awards include the Ricardo Torres Gaitán Chair (2023), Officer in the Order of Orange-Nassau (2021), and An Zijie International Trade Research Award (2014). Teaching contributions include pioneering courses on academic writing and research methodology. He has supervised 15 PhD students and developed modular courses on input-output analysis worldwide. His work bridges academia and policy, influencing EU trade and climate policies through frameworks like the FIGARO MRIO database. Leadership roles include Chair of the University Committee for Academic Practice and past Head of the Global Economics and Management department. His research extends to ecological economics and sustainability, with over 100 refereed articles and 15 books, reflecting a H-index of 30 (Web of Science) and 48 (Google Scholar).