Ph.D. student at Technische Universiteit Eindhoven
Eindhoven Area, Netherlands
Ph.D. student at Technische Universiteit Eindhoven
Eindhoven Area, Netherlands
When I started my studies, I got involved with Linux and Debian. With others I have set up a small network of servers and maintained it for over 7 years, facilitating our development and study efforts as well as external projects. During the system administration tasks and my Computer Science study I got in contact with programming languages. I've been designing small-scale software systems for a few institutions and for private use.
Meanwhile, during my studies, my interest in formal languages and process algebras was stirred and I graduated within the Formal Methods group. As a side job I have tutored students in various projects and courses. At the moment I am continuing research in this area.
In the theoretical research area: formal languages, formalisation, process algebras.
In the software area: Debian package maintenance, scripting languages (Ruby in particular), designing and constructing small-scale software systems, system administration.
free software, software development, formal languages, natural languages, cooking, reading, films
NVTI