Hi, my name is Martin Dybdal. I'm a computer science (or datalogy as we like to call it) student at the Computer Science Department, University Of Copenhagen. I'm currently on the last year of my masters. I do a lot of teaching
as teaching assistant at the department as well. My academic interests lies in all matters of computing, from low-level workings of the architecture and operating systems, to the high-level specifications and correctness proofs involved in programming language research and algorithmics. That said, the subjects that fascinates me the most, are those encompassing the development of new programming languages and the techniques used for their specification and implementation. I also enjoy:
CV
|
About me |