Department of Mathematics and Computer Science

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

Research Output 1950 2018

A 93.3% peak-efficiency self-resonant hybrid-switched-capacitor LED driver in 0.18-μm CMOS technology

Castellanos, J. C., Turhan, M. & Cantatore, E. 2 May 2018 (Accepted/In press) In : IEEE Journal of Solid-State Circuits.

Research output: Contribution to journalArticle

Light emitting diodes
Capacitors
Switching frequency
Clocks
Switches

A bug bounty perspective on the disclosure of web vulnerabilities

Ruohonen, J. & Allodi, L. Jun 2018 (Accepted/In press)

Research output: Contribution to conferencePaper

A column generation approach for the shift design and rostering problem in airport ground handling

Firat, M., van Twist, J. & Hurkens, C. A. J. 8 Jul 2018

Research output: Contribution to conferenceAbstract

Airports
Personnel
Costs
Preferred numbers
Planning

Prizes

2nd place at the Ngi-NGN informatie scriptieprijs

Niek Tax (Recipient), 2015

Prize: Prizes (including medals and awards)

3rd prize for the technical poster

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

Prize: Prizes (including medals and awards)

Alexander von Humboldt Professorship

Wil van der Aalst (Recipient), 2017

Prize: Prizes (including medals and awards)

Activities 1990 2018

Collaborative Software Development

Serebrenik, A. (Speaker)
9 Feb 2018

Activity: ProfessionalContributed talk

4th International Conference on Technology Trends, CITT 2018

Botto Tobar, M. (Chair)
29 Aug 201831 Aug 2018

Activity: ScientificConference

Information and Communication Technologies of Ecuador, TIC-EC 2018

Botto Tobar, M. (Member of programme committee)
21 Nov 201823 Nov 2018

Activity: ScientificConference

Courses

Adaptive web-based systems

1/09/1531/08/18

Course

Advanced algorithms

1/09/15 → …

Course

Advanced calculus

1/09/15 → …

Course

Press / Media

M&CS scientists contribute to European Cyber Security Perspectives report

Bram Cappers

24/04/18

1 media contribution

Press/Media: Public Engagement Activities

Human aspects of software engineering

Alexander Serebrenik

10/04/18

1 item of media coverage

Press/Media: Research

Research areas

File

Physics-based Quantum Security and Quantum Networks

Paul Bezembinder (Content manager)

Impact: Research Topic/Theme (at group level)

Post-Quantum Cryptography

Paul Bezembinder (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, K. (Supervisor 1) & Poll, E. (Supervisor 2)

Student thesis: Master