Department of Mathematics and Computer Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2016 2021

GEARS: NWO TOP project GEARS

Wijs, A., Wijs, A., Muhammad, M., Gerrits, E., Jama, I. & Jama, I.

11/08/1710/08/21

Project: Research directResearch

OptiLight

Linnartz, J., Bonarius, J., de Kort, Y., Smolders, K., Vogels, I., Peeters, S., Dangol, R., Kruisselbrink, T., Ozcelebi, T., Eijkemans, C., Vromans - Staps, I., Vereggen - Tielemans, T., Vereggen - Tielemans, T. & de Kort, Y.

1/11/1631/10/20

Project: Research direct

Interoperability of Heterogeneous IoT Platforms

Liotta, A., Exarchakos, G., van Hout, J., Mocanu, D., Moerenhout, M., Moerenhout, M. & van der Lee, T.

1/01/1631/12/18

Project: Research direct

Research Output 1950 2019

11,700 km Transmission at 4.8 bit/4D-sym via four-dimensional geometrically-shaped polarization-ring-switching modulation

Heide, S. V. D., Chen, B., Hout, M. V. D., Liga, G., Koonen, T., Hafermann, H., Alvarado, A. & Okonkwo, C., 29 Apr 2019, In : arXiv. 3 p., 1904.12561

Research output: Contribution to journalArticleAcademic

Open Access
File
format
modulation
rings
polarization

19th International conference on finite elements in flow problems

van Brummelen, H., Corsini, A., Perotto, S. & Rozza, G., 30 Jan 2019, In : Computers and Fluids. 179, p. 702-703 2 p.

Research output: Contribution to journalEditorialAcademicpeer-review

Biomechanics
Multiphase flow
Fluid dynamics
Finite element method
Fluids

A bilinear ℋ 2 model order reduction approach to linear parameter-varying systems

Benner, P., Cao, X. & Schilders, W., 18 Apr 2019, In : Advances in Computational Mathematics.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

Datasets

NASA Crew Exploration Vehicle (CEV) Software Event Log

Leemans, M. (Creator), 4TU.Centre for Research Data, 21 Apr 2017

Dataset

Sepsis Cases - event log

Mannhardt, F. (Creator), 4TU.Centre for Research Data, 2016

Dataset

Prizes

2nd place at the Ngi-NGN informatie scriptieprijs

Niek Tax (Recipient), 2015

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

3rd prize for the technical poster

Monika Gupta (Recipient) & Alexander Serebrenik (Recipient), 2016

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Alexander von Humboldt Professorship

Wil van der Aalst (Recipient), 2017

Recognition: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Activities 1990 2018

SpySpot: Network Traffic Analysis using Deep Packet Inspection and Data Visualization

Bram Cappers (Speaker)
13 Mar 2018

Activity: Talk or presentation typesInvited talkScientific

Tutorial on Automatic Machine Learning

Frank Hutter (Speaker), Joaquin Vanschoren (Speaker)
3 Dec 2018

Activity: Talk or presentation typesKeynote talkScientific

4th International Conference on Technology Trends, CITT 2018

Miguel Botto Tobar (Chair)
29 Aug 201831 Aug 2018

Activity: Participating in or organising an event typesConferenceScientific

Courses

Advanced algorithms

1/09/15 → …

Course

Advanced Automotive Sensing

1/09/18 → …

Course

Advanced Calculus I

1/09/18 → …

Course

Research areas

Post-Quantum Cryptography

Paul Bezembinder (Content manager), Rianne Sanders (Content manager)

Impact: Research Topic/Theme (at group level)

Quantum Materials and Devices

Paul Bezembinder (Content manager), Rianne Sanders (Content manager)

Impact: Research Topic/Theme (at group level)

Quantum Nanophotonics

Paul Bezembinder (Content manager), Rianne Sanders (Content manager)

Impact: Research Topic/Theme (at group level)

Student theses

(Ab)using Bitcoin for anti-censorship tool

Author: Okupski, K., 31 Dec 2014

Supervisor: Skoric, B. (Supervisor 1), de Weger, B. (Supervisor 2) & Serebrenik, A. (Supervisor 2)

Student thesis: Master

File

(Data) refinement calculus met stack voorbeelden

Author: Andree, H., 31 Oct 1990

Supervisor: Kaldewaij, A. (Supervisor 1) & van der Woude, J. (Supervisor 2)

Student thesis: Master

$\Gamma \vdash M : ? , \Gamma \vdash M : \tau ?, \Gamma \vdash ? : \tau$ or synthesis of types and terms for typed lambda calculi

Author: van Dommelen, R., 31 Aug 1992

Supervisor: Hemerik, C. (Supervisor 1) & Poll, E. (Supervisor 2)

Student thesis: Master