Find Academic Supervisors

Tiziano De MatteisView profile

Assistant Professor

• Parallel and Distributed Computing
• High-Performance Computing
• Energy Efficiency in Computing
• +4 more

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

• Program verification
• Software Reliability
• Formal methods
• +4 more

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.

• Medieval Literature
• Translation Studies
• Reception Studies
• +5 more

Dr. Natalia Petrovskaia is an Assistant Professor at Utrecht University's Department of Languages, Literature and Communication , specializing in Celtic Studies within the Humanities faculty. She serves as Program Coordinator for the BA in Celtic Languages and Culture Domain Coordinator for the Humanities Honours Programme Board Member of the Utrecht University Centre for Medieval Studies Having earned her PhD at the University of Cambridge and held a Clare Hall Research Fellowship (2012-14), she later received a Humboldt Research Fellowship (2016) at Philipps-Universität Marburg. Her research focuses on Medieval geographical traditions Textual translation/transmission Arthurian literature Encyclopedic knowledge systems Reception studies History of the book Her recent publications include monographs like Transforming Europe (2025) analyzing Imago mundi translations, and The Modern Afterlives of Old Irish Travel Narratives (2025) exploring connections between Star Trek and medieval Irish texts. She contributes to Queeste as a reviews editor and organizes public engagement events like 'Cracking the Celtic Code' at the Weekend of Science. Scientific Awards : NWO Veni Award (2016) Arthurian Essay Prize (2021) Global Engagement Fund Award (2025) She supervises the PhD project 'Empowering Individuals, Opening Cities' with Arnoud Visser and Rozanne Verdendaal, and teaches courses ranging from Old Irish to Media and Persuasion in Premodern Europe .

Dries De CromView profile

Assistant Professor

• Septuagint Studies
• Biblical Exegesis
• Ancient Greek Linguistics
• +3 more

Dr. Dries De Crom is an Assistant Professor at the Tilburg School of Catholic Theology , specializing in Septuagint studies , Biblical exegesis , and Ancient Greek linguistics . He is affiliated with the Texts in Contexts research group and contributes to projects linking biblical scholarship with the UN Sustainable Development Goals through linguistic and theological analysis. Expertise : Septuagint, Biblical Exegesis, Greek Literature, Lexicography External Roles : Teacher (Latin-Greek) and student counselor (College van het Eucharistisch Hart) His research focuses on textual analysis of biblical and classical works, including gendered language in LXX Ezekiel and public/private space dynamics in early Christian communities . Recent publications highlight lexicographical approaches to post-classical Greek and Septuagint texts. Scientific Awards : Jaarprijs Cuijpers-Opdenakker (2022)

• System Security
• Fault Injection
• Fuzzing
• +5 more

Erik van der Kouwe is an Assistant Professor at the Faculty of Science, Vrije Universiteit Amsterdam, holding dual appointments in the Computer Systems department and the Network Institute. His research focuses on system security, fault injection, fuzzing, and embedded systems security. He contributes to both theoretical advancements and practical implementations of security mechanisms. Key research areas include mitigating vulnerabilities through hardware-software co-design, exposing compiler optimization flaws that evade sanitizers, and developing efficient fuzzing frameworks for malware analysis. His work often bridges academic research with real-world applications in embedded systems and operating systems. Recent publications highlight innovations like InvisiGuard for microcontroller security, hwdbg for hardware debugging frameworks, and Enviral for environment-aware malware analysis. His research has been published in top-tier venues such as IEEE Transactions, ACM conferences, and workshops like EuroSEC. Teaching responsibilities include Advanced Operating Systems, Secure Programming, and Software Security courses. Collaborations span international teams working on topics like compiler hardening, embedded system resilience, and vulnerability benchmarking.

• Multicore Computing
• Program Analysis
• Virtual Machine Optimization
• +4 more

Daniele Bonetta is an Assistant Professor in the Department of Computer Science at Vrije Universiteit Amsterdam and holds an ancillary role as a Medewerker (Employee) at Eindhoven University of Technology since June 2020. His primary affiliation is with the Faculty of Science, where he contributes to the Network Institute as well. His research focuses on optimizing virtual machines, parallel programming models, and dynamic compilation techniques, with a particular emphasis on multicore systems and distributed computing environments. Bonetta has also been involved in teaching advanced courses such as Advanced Network Programming and contributes to the Accelerator-Centric Computing Ecosystems program. His research interests are centered around improving the performance of managed runtimes, including virtual machine optimization, dynamic taint analysis, and efficient data processing in polyglot environments. He has explored topics such as speculative optimizations for JSON data access, columnar array storage transformations, and scalable solutions for virtual memory oversubscription. His work frequently addresses challenges in distributed systems, cloud computing, and cross-language program analysis. Bonetta’s recent publications (2023-2025) highlight advancements in transparent scale-out mechanisms for virtual memory, automated supernode generation in interpreters, and dynamic query engines embedded in polyglot runtimes. His contributions to the field include both theoretical frameworks and practical implementations, often leveraging the GraalVM and Truffle frameworks for polyglot execution. While no formal awards are listed, his extensive publication record (47+ outputs) demonstrates significant scholarly impact. His teaching portfolio includes courses on network programming and systems architecture, reflecting his dual focus on both theoretical research and applied computer science education.

• Energy-Efficient Computing
• High-Performance Computing
• Compiler Techniques
• +4 more

Kanishkan Vadivel is a Researcher in the Electronic Systems group at Eindhoven University of Technology (TU/e), specializing in energy-efficient hardware architectures and compiler-based code-generation techniques. He holds a Master’s degree in Embedded Systems from TU/e (2017) and a Bachelor’s from Coimbatore Institute of Technology (India). Prior to academia, he worked in embedded systems at Tata Engineering and Arm Ltd. Research Interests : His work focuses on computation-in-memory architectures using resistive devices, optimal code generation for CGRA (Coarse-Grained Reconfigurable Architecture), and high-performance computing. Key projects include the MNEMOSENE initiative and development of the CIM-SIM simulator for computation-in-memory systems. Awards : HiPEAC collaboration grant (2019) Advising & Grants : His research is supported by grants focused on neuromorphic processors and edge-AI hardware. He collaborates on projects like NEUROKIT2E for embedded deep learning systems. Labs/Teams : Active member of TU/e’s Electronic Systems Center and Efficient Stream Processing Lab, contributing to neuromorphic and energy-efficient computing initiatives.

Sander StuijkView profile

Associate Professor

• Embedded Systems
• Signal Processing
• Multi-Core Architectures
• +3 more

Sander Stuijk is an associate professor at the Department of Electrical Engineering of Eindhoven University of Technology, chairing the Electronic Systems (ES) group. His research focuses on design methodologies for embedded signal processing applications in high-tech systems like industrial manufacturing, automotive, and healthcare. He develops high-level compilation strategies for heterogeneous multi-core platforms, with interests in efficient code generation and resource allocation. Prof. Stuijk holds leadership roles including chairing the ES group, serving on the board of 4TU.NIRICT (a Dutch ICT research consortium), and coordinating the Embedded Systems master program. He contributes to national ICT initiatives through ICT Next Generation, a network for mid-career academics. He also chaired the Department Council (2016-2018) and participates in TPC activities. His research spans streaming applications, real-time systems, and multi-processor architectures. Notable projects include the PROMES initiative (programming embedded multi-media systems) and the MNEMEE project (automated MPSoC design). His work emphasizes predictable and energy-efficient computing, with applications in healthcare monitoring (e.g., remote PPG, thermal imaging) and reconfigurable systems. Prof. Stuijk has advised numerous PhD/Master students and led projects like FORSEE, VSM, and SenSafety. His publications include over 70 journal/conference papers, covering topics like neuromorphic computing, GPU optimization, and medical signal processing. He actively engages in academic service, including organizing SCOPES workshops and serving on editorial boards.

Gabriele KellerView profile

Professor

• Functional Programming
• Type Systems
• High-Performance Computing
• +3 more

Prof. Gabriele Keller is a Professor of Software Technology at Utrecht University's Faculty of Science. She previously held roles at the University of New South Wales, including Associate Professor (2014–2018) and Senior Lecturer (2001–2013). Her research focuses on functional programming, type systems, high-performance computing, and verification methodologies. Current projects include Accelerate (a parallel computing DSL embedded in Haskell) and Cogent (a systems programming language with formal verification features). Education: PhD in Natural Sciences (Technische Universität Berlin, 1999): 'Efficient Compilation of Nested Data-Parallelism for Distributed Memory Machines' MSc Computer Science (Technische Universität Berlin, 1995) Research Interests: Type systems and correctness guarantees Parallel computing and GPU programming Formal verification of systems software Domain-specific languages for high-performance domains Professional Activities: Co-Chair, IPN Working Group on Equity, Diversity & Inclusion Editor, Journal of Functional Programming Member, IFIP Working Group 2.8 Selected Projects: Accelerate: Optimized parallel computing for Haskell Cogent: Verified systems programming with uniqueness types EmoSTL: Formal verification of game emotion logic

• Bayesian Statistics
• Category Theory
• Compiler Construction
• +4 more

Matthijs Vákár is an Assistant Professor at the Department of Information and Computing Sciences , Utrecht University , focusing on the software foundations of machine learning . He actively develops the Stan language , a state-of-the-art probabilistic programming language. Areas of Expertise: Bayesian Statistics, Category Theory, Compiler Construction, Machine Learning, Programming Languages. Research Themes: Probabilistic programming languages, differential programming languages, separation of modeling from algorithmic tasks, automatic differentiation in ML-family languages. His research bridges theoretical computer science and practical machine learning, emphasizing logical relations, monoidal structures, and efficient compiler designs for differentiable programming. His recent publications explore correctness proofs, category-theoretic models, and optimization techniques in automatic differentiation. Scientific Awards: ERC Starting Grant NWO Veni Fellowship Marie Sklodowska-Curie Fellowship Academic Journey: PhD from the University of Oxford (dependent types and computational effects), MSc in Pure Mathematics (University of Cambridge), and BScs in Mathematics and Physics (Utrecht University). Prior roles include postdoctoral research at Columbia University and the University of Oxford. Industrial Experience: Build systems at Microsoft Research, NLP at Linguamatics, and compiler design for Stan.

Peter BonczView profile

Professor

• Database Systems
• Column-Store Databases
• Vectorized Query Processing
• +5 more

Peter Boncz is a Professor in the special chair of Large Scale Analytical Database Systems at Vrije Universiteit Amsterdam and leads the Database Architectures (DA) research group at CWI (Centrum Wiskunde & Informatica), the Netherlands' national research institute for mathematics and computer science. He serves on the CWI management team and is actively involved in multiple research initiatives and industry collaborations. Professor Boncz is internationally recognized as a pioneer of column-store databases, introduced through his PhD project MonetDB. His research spans database architecture, query processing optimization, and analytical database systems. His work on vectorized query processing with his first PhD student Marcin Zukowski has become foundational in modern analytical databases including BigQuery, Databricks, Snowflake, and DuckDB, which has millions of monthly downloads. Current research focuses include GPU data processing, vector search optimization, confidential computing, and graph data management. Boncz's recent publications reveal strong trends toward optimizing database systems for modern hardware architectures, particularly GPUs and cloud CPUs. His work bridges theoretical database concepts with practical implementation, focusing on performance optimization through innovative data layouts, compression techniques, and hardware-aware processing. The research shows a clear trajectory from foundational database concepts toward specialized optimization for emerging hardware and application requirements. VLDB Test of Time Award 2025 (second time, previously won in 2009) CIDR Test of Time Award 2024 ACM Fellow (2022) Humboldt Research Award (2013) ICTRegie Award (2006) Boncz has co-founded six spin-off companies in data systems, including MonetDB BV, and serves as an advisor to ventures like Databricks Corp. His research is supported by multiple external funding projects including Actian Research Grants, Databricks research agreements, and Motherduck Service Agreements. He has advised numerous students, with Marcin Zukowski being notably mentioned as his first PhD student who co-developed vectorized query processing. As leader of the Database Architectures research group at CWI, Boncz oversees a team focused on pushing the boundaries of database technology. The group maintains close ties with industry through projects with Databricks, Motherduck, and RelationalAI, while continuing to develop open-source technologies like DuckDB. The team is particularly active in GPU acceleration, confidential computing, and graph data management through the Linked Data Benchmark Council (LDBC), which Boncz founded.

Alex NicolauView profile

Professor

• Parallelizing Compilers
• High-Performance Java
• Power-aware Computing
• +3 more

Alex Nicolau is a Professor of Computer Science at the University of California, Irvine within the Donald Bren School of Information and Computer Sciences and an IEEE Fellow. He serves as Editor for PeerJ Computer Science and leads research at the Center for Embedded Computer Systems, focusing on high-performance computing systems and compiler-driven hardware optimization. His research spans Parallelizing Compilers , High-Performance Java , Power-aware Computing , and Reconfigurable Computing , with current projects including Julius C (divide-and-conquer algorithm modeling), EXPRESS (retargetable compiler framework), FORGE (distributed embedded systems optimization), SPARK (C-to-VHDL synthesis), and CoReComp (reconfigurable architecture compilers). These initiatives address critical challenges in energy efficiency, hardware-software co-design, and performance optimization for embedded platforms. Recent publications (2003-2004) reveal concentrated efforts on mobile energy efficiency and reconfigurable systems, with recurring themes of power management in multimedia streaming, task partitioning for watermarking algorithms, and network topology exploration in mesh architectures. His work demonstrates a cohesive vision bridging theoretical compiler advances with practical hardware implementations. His professional recognition includes: IEEE Fellow Professor Nicolau has mentored over 20 Ph.D. students to completion, including current advisees Weiyu Tang and Radu Cornea, and alumni like Sumit Gupta and Joseph Hummel who now lead industry and academic research. His editorial leadership as Editor-in-Chief of the International Journal of Parallel Programming and program committee roles for ICS and LCTES conferences reflect his significant contributions to the field. Based at UC Irvine's Center for Embedded Computer Systems (CECS 204), he directs a research ecosystem focused on compiler-driven hardware adaptation, with ongoing exploration into dynamic resource management and energy-aware system design for next-generation computing platforms.

Thomas NeeleView profile

Assistant Professor

• Formal Methods
• Model Checking
• Concurrent Systems
• +4 more

Thomas Neele is an Assistant Professor at TU/e in the Formal System Analysis group, focusing on concurrency analysis and scalability of formal methods. He earned his PhD at TU/e in 2020 under Prof. Jan Friso Groote and Dr. Tim Willemse, with postdoctoral work at Royal Holloway, University of London. His research addresses partial-order reduction, symbolic techniques, and automata learning. Notable awards include the IPA Dissertation Award (2020) and an NWO Veni Grant (2024) for Explainable Formal Methods with Certificates. Education: BSc and MSc in Computer Science from University of Twente. Teaching includes Automated Reasoning (2022–2024), Automotive Software Engineering, and supervision of over 10 Master’s theses. Research interests span formal verification, fixpoint logic, and parallel programming. Key projects include CLeVer (Postdoc) and MACHINAIDE (2022). Tools developed include contributions to mCRL2 and LTSmin. Awards: IPA Dissertation Award, Best Paper Awards (ETAPS/FACS), NWO Veni Grant Grants: NWO Veni Grant (2024) Labs/Teams: Formal System Analysis group, IPA research school (Managing Director)

Arnold MeijsterView profile

Lecturer

• Computer Science
• Parallel Computing
• Algorithm Design
• +2 more

Arnold Meijster is a Lecturer in the Faculty of Science and Engineering at the University of Groningen, specializing in Computer Science with focus areas in Parallel Computing, Programming, Signal Processing, and Algorithm Design. He teaches courses including Imperative Programming, Functional Programming, Signals and Systems, Compiler Construction, and Artificial Intelligence. His research spans parallel computing, image processing algorithms, and artificial intelligence, with particular expertise in developing efficient algorithms for morphological image processing and watershed transforms. His work frequently involves parallel algorithm design for shared-memory systems applied to large-scale image data. Publications from 1996 to 2018 demonstrate consistent focus on image processing and parallel computing, with recent work on hybrid shared-memory algorithms and machine learning applications. Early contributions centered on watershed transformation and connected component algorithms. Best young author paper award (1998)

Loek G.W.A. CleophasView profile

Assistant Professor

• Model-Driven Software Engineering
• Algorithm Engineering
• Pattern Matching
• +5 more

Loek G.W.A. Cleophas is an Assistant Professor in Engineering of Software-Intensive Systems at Eindhoven University of Technology (TU/e), affiliated with the Mathematics and Computer Science department. He holds an Extraordinary Associate Professorship at Stellenbosch University and has held visiting roles at TU Braunschweig (2016-2017) and Umeå University (2014-2016). His academic career includes industry collaborations with ASML and Canon, and leadership as Managing Director of the Dutch research school for Programming and Algorithmics (IPrA). Education: Both his MSc (with honors) and PhD in Computer Science and Engineering were obtained at TU/e. His research focuses on model-driven software engineering (MDSE) and algorithm engineering, with emphasis on pattern matching using finite automata and parallel processing for large datasets. Recent work includes model repository analytics, digital twin systems, and variability analysis in software product lines. Research Trends: Over 129 publications span topics like SAMOS framework for model analytics, VPDSL domain-specific languages, and taxonomy-based algorithm toolkits. His work bridges theoretical foundations with industrial applications in high-tech systems. Advising: Supervised 27 postgraduate students at Stellenbosch and TU/e. Grants/Projects: Led collaborations with ASML on model-driven virtualization, and organized international workshops like AMMoRe (2018-2020). Labs/Tools: Developed SAMOS framework for model analytics and LaMa web application for thematic labeling. Active in open-source tool development for correctness-by-construction methodologies.