Software Technology

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):

A.M. Abdullin, MSc MTD
- Electrical Engineering, Mathematics and Computer Science, Software Engineering
Person: Academic
T.V. Aerts, MSc
- Electrical Engineering, Mathematics and Computer Science, Computer Science & Engineering-Teaching Team
Person: Academic
B.P. Ahrens
- Electrical Engineering, Mathematics and Computer Science, Programming Languages
Person: Academic

2 Finished
2 Active

Understanding the world with probabilistic programs
Dumančić, S. & Gardos Reid, R. J.
1/10/23 → 30/09/27
Project: Research
Towards a Unification of AI-Based Solving Paradigms for Combinatorial Optimisation
Demirović, E. & Flippo, M. L.
1/09/22 → 1/09/26
Project: Research
FFC: Future Proof Flexible Charging: Dealing with uncertain prices and network constraints
de Weerdt, M. M., Spaan, M. T. J., Lane, N. R., Morales Espana, G. A. & van der Linden, J. G. M.
1/02/17 → 15/09/19
Project: Research

Adaptive ensemble optimization for memory-related hyperparameters in retraining DNN at edge
Xu, Y., Han, R., Zuo, X., Ouyang, J., Liu, C. H. & Chen, L. Y., 2025, In: Future Generation Computer Systems. 164, 10 p., 107600.
Research output: Contribution to journal › Article › Scientific › peer-review
Building a Correct-by-Construction Type Checker for a Dependently Typed Core Language
Liesnikov, B. & Cockx, J., 2025, Programming Languages and Systems: 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings. Kiselyov, O. (ed.). Singapore: Springer, p. 63-83 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15194 LNCS).
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Feature Discovery for Data-Centric AI
Ionescu, A., 2025, 149 p.
Research output: Thesis › Dissertation (TU Delft)

Open Access
File

Data underlying the Bachelor's thesis: Adapting existing bug taxonomies to Haskell
Applis, L. H. (Creator), Nistor, R. (Creator) & Cockx, J. G. H. (Creator), TU Delft - 4TU.ResearchData, 19 Jun 2024
DOI: 10.4121/29A6A7BC-8B45-472C-BF26-710F2A2D1A3C
Dataset/Software: Dataset
Code underlying the publication: Dealing with Uncertainty: Understanding the Impact of Prognostic Versus Diagnostic Tasks on Trust and Reliance in Human-AI Decision Making
Gadiraju, U. K. (Creator), Salimzadeh, S. (Creator) & He, G. (Creator), TU Delft - 4TU.ResearchData, 1 Jul 2024
DOI: 10.4121/9DDB327D-1E4C-439F-A736-4B12EB58C54F, https://doi.org/10.1145/3613904.3641905
Dataset/Software: Dataset
Code underlying the publication: When in Doubt! Understanding the Role of Task Characteristics on Peer Decision-Making with AI Assistance
Gadiraju, U. K. (Creator) & Salimzadeh, S. (Creator), TU Delft - 4TU.ResearchData, 1 Jul 2024
DOI: 10.4121/FFF831DF-8900-44D1-96E0-1E9DA9BC2D2C, https://doi.org/10.1145/3627043.3659567
Dataset/Software: Dataset

2023 SIGMOD Systems Award
Katsifodimos, A. (Recipient), 1 Nov 2023
Prize: Prize (including medals and awards)
2nd Prize in RIPE Labs Article Competition
Mohan, Nitinder (Recipient), 2024
Prize: Prize (including medals and awards)
Amazon Research Award
Özkan, B. (Recipient), 2023
Prize: Prize (including medals and awards)

27 Publication peer-review
25 Editorial activity
19 Participation in conference
15 Talk or presentation at a workshop, seminar, course or other meeting
More

ECOOP/ISSTA 2024 Doctoral Symposium
Burcu Kulahcioglu Ozkan (Organiser)
16 Sept 2024 → 20 Sept 2024
Activity: Participating in or organising an event › Participation in workshop, seminar, course
ACM Student Research Competition’24
Burcu Kulahcioglu Ozkan (Organiser)
11 Mar 2024 → 14 Mar 2024
Activity: Participating in or organising an event › Participation in workshop, seminar, course
OOPSLA 2024 - ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
Burcu Kulahcioglu Ozkan (Member of programme committee)
20 Oct 2024 → 25 Oct 2024
Activity: Participating in or organising an event › Participation in conference

Batterijloze sensorbeugel onthult cruciale gezondheidsdata via smartphone
P. Pawelczak
27/11/24
2 items of Media coverage
Press/Media: Public Engagement
Vier toponderzoekers van EWI ontvangen prestigieuze NAE fellow-benoeming
A. van Deursen, C.M. Jonker, R.L. Lagendijk & G.Q. Zhang
9/11/23
2 items of Media coverage
Press/Media: Public Engagement
Asterios Katsifodimos, vroege bijdrager van Apache Flink, geëerd met SIGMOD Systems Award
A. Katsifodimos
1/11/23
2 items of Media coverage
Press/Media: Public Engagement