Work Experience
PhD Student Jun. 2020 ‑ Present
Formal methods and tools group, University of Twente, Enschede, Netherlands
I am currently doing my PhD in the Formal Methods and Tools group, part of the Faculty of Electrical Engineering, Mathematics and Computer Science". The project I am involved with is called ChEOPS.
ChEOPS project: Integrating Verification into GPU Program Development. Within this project we investigate how to make the development and maintenance of software aimed at graphics processing units (GPUs) more insightful and effective in terms of functional correctness and performance.
GPUs have an increasingly big impact on industry and academia, due to their great computational capabilities. However, in practice, one usually needs to have expert knowledge on GPU architectures to optimally gain advantage of those capabilities.
Within the project, I focussed on the verification of GPU code and the structured optimisation of GPU code, while ensuring that functional correctness is preserved.
During my PhD, I worked mainly with the VerCors toolset, a deductive verifier for concurrent software. It also supports the deductive verification of GPGPU programs. For my publications, see here.
Education I was involved in:
- Programming, Bachelor course, introduction to programming, role Teacher
- Programming Principles, Patterns, Processes, Master’s course, role assisting Teacher.
Teaching Assistant (TA, Student Assistent) 2016 ‑ 2020
University of Twente, Enschede, Netherlands
- Teaching Assistant for the Bachelor Technical Computer Science courses. TA during the following modules. Modules are comprised of multiple courses following a general topic.
- Pearls of Computer Science (2016/2017, 2017/2018, 2018/2019, 2019/2020). An introduction to Computer Science.
- Software Systems (2017/2018, 2018/2019, 2019/2020). Introduction to designing, implementing and testing software.
- Network Systems (2017/2018, 2018/2019). A module with courses on computer networking.
- Data & Information (2017/2018, 2018/2019). A module with courses on structured/unstructured data, databases, scripting frameworks and services such as RESTful services.
Developer Quizzard Feb. 2017 ‑ May 2019
Enschede, Netherlands
- Quizzard: A teaching quiz application.
- Mainly back end development.
- Technologies used: Java, Maven, PostgreSQL, Spring Boot, Thymeleaf, Hibernate, React.
- GitLab page: https://git.tworem.nl/tnb/quizzard
- A project comissioned by the University of Twente
Back end developer Groufty Feb. 2017 ‑ May 2019
Enschede, Netherlands
- Groufty: group peer review system.
- Technologies used: Java, Maven, PostgreSQL, Spring Boot, Thymeleaf, Hibernate.
- GitHub page: https://github.com/utwente/Groufty
- A project comissioned by the University of Twente
Education
PhD Student Jun. 2020 ‑ Present
Formal methods and tools group, University of Twente, Enschede, Netherlands
I am currently doing my PhD in the Formal Methods and Tools group, part of the Faculty of Electrical Engineering, Mathematics and Computer Science". The project I am involved with is called ChEOPS.
ChEOPS project: Integrating Verification into GPU Program Development. Within this project we investigate how to make the development and maintenance of software aimed at graphics processing units (GPUs) more insightful and effective in terms of functional correctness and performance.
GPUs have an increasingly big impact on industry and academia, due to their great computational capabilities. However, in practice, one usually needs to have expert knowledge on GPU architectures to optimally gain advantage of those capabilities.
Within the project, I focussed on the verification of GPU code and the structured optimisation of GPU code, while ensuring that functional correctness is preserved.
During my PhD, I worked mainly with the VerCors toolset, a deductive verifier for concurrent software. It also supports the deductive verification of GPGPU programs. For my publications, see here.
Education I was involved in:
- Programming, Bachelor course, introduction to programming, role Teacher
- Programming Principles, Patterns, Processes, Master’s course, role assisting Teacher.
Master: Technical Computer Science Nov. 2017 ‑ April 2020
Master of Science, University of Twente, Enschede, Netherlands
- Specialization: Software Technology
- Title of Thesis: Extending support for axiomatic data types in VerCors. [ .pdf ]
- Grade: 9.0
- Technische Informatica in Dutch
Bachelor: Technical Computer Science Sept. 2014 ‑ Nov. 2017
Bachelor of Science, University of Twente, Enschede, Netherlands
- Title of Thesis: Correlating the 2012 Dutch House of Representatives Elections based on Twitter mentions of Parties and their Party Leader. [ .pdf ]
- Grade: 8.0
- Technische Informatica in Dutch