Projects per year
Organisation profile
Organisation profile
Societal challenges on Health, Energy and Smart Mobility are the driving force for our research. Our research unit is well-recognized witnessing a long list of prestigious grants including many personal grants (NWO, ERC), contract research, and EU projects. Talent management is improved via explicit hiring policies and personal development support.
Our department of M&CS and our research are linked to the innovative ecosystem of the Brainport region: a booming science hub that was mentioned by the international research journal Nature as a high-tech hotspot within a leading nation. In the same article, our university is ranked as a top institution in innovation. Here we build a brighter tomorrow for us all.
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
Fingerprint
Dive into the research topics where Mathematics and Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Aida Abiad Monge
- Mathematics and Computer Science, Algebraic Combinatorics - Associate Professor
- EAISI Foundational - Associate Professor
Person: UHD : Associate Professor
-
Ad T.M. Aerts
- Education and Student Affairs - Invigilator
Person: OBP : Supportive and management staff
-
Manu Agarwal, M.Tech.
- Mathematics and Computer Science, Applied Data Science - Former Doctoral Candidate
Person: Prom. : doctoral candidate (PhD)
-
Reference Architecture and Security Monitoring for Offshore Wind
Weffers, H. (Project Manager) & Zambon, E. (Project member)
1/07/25 → 31/12/25
Project: Third tier
-
Deep Learning for Inverse Lithography and SEM Inspection
Duits, R. (Project Manager) & Vis, L. (Project member)
1/01/24 → 31/12/29
Project: Third tier
-
Patient-centered Exploration for Reliable, Smart and Efficient Utilization of healthcare Services
van den Heuvel, E. R. (Project Manager) & Wanten, D. (Project member)
1/01/23 → 16/04/29
Project: Third tier
-
An overview of research with SLCO on seamless integration of formal verification into model-driven software engineering
Wijs, A. (Corresponding author), Mar 2026, In: Science of Computer Programming. 248, 21 p., 103386.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Featured Message Sequence Graphs
Dubslaff, C. (Corresponding author), 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Bertrand, N., Dubslaff, C. & Klüppelholz, S. (eds.). Springer, p. 234-252 19 p. (Lecture Notes in Computer Science; vol. 15760).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
1 Downloads (Pure) -
From analysis to findings: How do process mining analysts discover results?
Zerbato, F. (Corresponding author), Zimmermann, L., Vrotsou, K. & Weber, B., Jan 2026, In: Information Systems. 135, 20 p., 102596.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile5 Downloads (Pure)
Equipment
-
Artificial Intelligence and Data Engineering lab
de Campos, C. (Manager)
Uncertainty in Artificial IntelligenceFacility/equipment: Research lab
-
BlackHat’s lab
Allodi, L. (Manager) & Gankhuyag, G. (Manager)
SecurityFacility/equipment: Research lab
-
Datasets
-
SAIBERSOC: Synthetic Attack Injection to Benchmark and Evaluate the Performance of Security Operation Centers
Rosso, M. (Creator), Campobasso, M. (Creator), Gankhuyag, G. (Creator) & Allodi, L. (Creator), Eindhoven University of Technology, 7 Dec 2020
https://gitlab.tue.nl/saibersoc/acsac2020-artifacts
Dataset
-
A labeled Ecore metamodel dataset for domain clustering
Babur, Ö. (Creator), Zenodo, 6 Mar 2019
Dataset
-
BPI Challenge 2020
van Dongen, B. F. (Creator), 4TU.Centre for Research Data, 26 Mar 2020
DOI: 10.4121/uuid:52fb97d4-4588-43c9-9d04-3604d4613b51
Dataset
Prizes
-
-
2007 Visualization Technical Achievement Award
van Wijk, J. J. (Recipient), 28 Oct 2007
Prize: Other › Discipline related › Scientific
-
-
Verifying Message-Passing Neural Networks Via Topology-Based Bounds Tightening
Hojny, C. (Speaker)
3 Nov 2025Activity: Talk or presentation types › Contributed talk › Scientific
-
Price of Diversity: the case of the TSP
Spieksma, F. C. R. (Speaker)
15 Oct 2025Activity: Talk or presentation types › Invited talk › Scientific
-
Development of Design Framework for Mass Personalization Systems A Case Study for IPL Hair Removal Devices
Aysolmaz, B. (Examiner), Barosan, I. (Examiner) & Adan, I. J. B. F. (Examiner)
13 Oct 2025Activity: Examination types › Examination › Scientific
Courses
Press/Media
-
Verliert Comet den Anschluss an die nächste Halbleitergeneration?
7/07/25
1 Media contribution
Press/Media: Expert Comment
-
Visualization-Empowered Human-in-the-Loop AI: Dennis Collaris on His ELLIIT Focus Period Experience
Collaris, D.
18/06/25
1 Media contribution
Press/Media: Public Engagement Activities
-
TU Eindhoven stelt simulatie quantumcomputer open voor gebruikers
Lous, R. & Kokkelmans, S. J. J. M. F.
12/06/25
1 item of Media coverage
Press/Media: Research
Research areas
-
Computational Geometry
Speckmann, B. (Researcher) & Luyk, M. (Content manager)
Impact: Research Topic/Theme (at group level)
-
Digital Humanities
Speckmann, B. (Researcher) & Luyk, M. (Content manager)
Impact: Research Topic/Theme (at group level)
-
Geovisualization
Speckmann, B. (Researcher) & Luyk, M. (Content manager)
Impact: Research Topic/Theme (at group level)
Student theses
-
(Ab)using Bitcoin for anti-censorship tool
Okupski, K. S. (Author), Skoric, B. (Supervisor 1), de Weger, B. M. M. (Supervisor 2) & Serebrenik, A. (Supervisor 2), 31 Dec 2014Student thesis: Master
File -
(Data) refinement calculus met stack voorbeelden
Andree, H. M. A. (Author), Kaldewaij, A. (Supervisor 1) & van der Woude, J. C. S. P. (Supervisor 2), 31 Oct 1990Student thesis: Master
-
(In)security of video surveillance systems in building automation systems
Yeh, M. M. (Author), den Hartog, J. (Supervisor 1), Constante, E. (External coach) & Dagrada, M. (External coach), 29 Oct 2018Student thesis: Master
File