Artificial intelligence Active4Life NWO ZonMw beurs, 2019-2023 Arjen Hommersom SaTSNASP: Safe and Transparent Scheduling with Neuro-Symbolic Answer Set Programming NWO AiNed XS-project, 2025-2026 Jesse Heyninck  Multi-Agent Systems for Trading Energy (MAS4TE)Doel is Interreg Euregio Maas-Rijn, 2025-2027 Stefano Bromuri en Clara Maathuis
	Education & Learning
	Software Quality Executable and Linking and Liftable Format: Formally provable liftable binaries for cyber reasoning and rapid remediation (ELLF) Virginia Tech, 2024- 2026 Freek Verbeek TestSense Tanja Vos Autolink: Automated unobtrusive techniques for LINKing requirements and testing in agile software development NWO-grant, 2022-2023 Tanja Vos FALCON: Formal Analysis of Legacy COde domaiNs DARPA, 2021-2025 Freek Verbeek QPED - Quality-focused Programming Education Erasmus+, 2020-2023 Harrie Passier. Luce DARPA grant, 2020-? Freek Verbeek. IVVES Eureka ITEA3, 2019-2022 Tanja Vos Making computers work harder NWO Veni, 2019-2021 Sung-Shik Jongmans.
	Security & Privacy: Future-proofing File Carving NWO lerarenbeurs, 2018-2022, Hugo Jonker.

Finished projects

Aritificial intelligence

• Impress
  Erasmus+, 2018-2021, Tanja Vos.

Education and learning

• SERF - Structured Exercise Repository with Feedback
  Min. OCW, 2018-2021, Harrie Passier.
• Strategy-based tutoring systems for programming
  2015-2020, Bastiaan Heeren.
• Training for Smart Services
  Interreg Vlaanderen-Nederland, 2018-2020, Marko van Eekelen.
• Advise-Me:
  Erasmus+, 2016-2019, Bastiaan Heeren.
• Open Maths- activating learning mathematics online
  NWO Comenius Teaching Fellow, 2018-2019, Greg Alpár.

Software quality

• Testomat
  ITEA3, 2017-2020, Tanja Vos.
• Simplifying multicore programming through familiarity-centricity: NWO Rubicon, 2017-2019, Sung-Shik Jongmans.

Security and privacy

• Cyberweerbaarheid in Limburg
  RVO, 2019-2021, Hugo Jonker.
• Dagobert
  OU: LIRS, SIDN Labs, 2018-2020, Harald Vranken.
• Fearfighter
  OU: De veilige stad, 2018-2020, Harald Vranken.
• Well-being of people in urban environments:
  OU: De veilige stad, 2018-2019, Harald Vranken.