Portrait of Tomas Petricek

Tomas Petricek

Lecturer
Deputy Admissions Officer (YinCO)

About

I’m interested in finding easier and more accessible ways of thinking about programming. To do so, I combine technical work on programming languages and tools with research into history and philosophy of science. On the technical side, I’m interested in unorthodox ideas in programming language design such as integrating external data into type systems (type providers) or representing programs not as code, but as a sequence of interactions. On the philosophical side, I have been exploring the surprisingly rich nature of programming concepts such as types, monads and errors from the perspective of philosophy of science. I’m also interested in finding and recovering good ideas in the history of programming that got lost for one reason or another!
More information can be found on my web site at http://tomasp.net  

Research interests

I belong to the following research groups:

Teaching

I teach COMP8860 and CO5590 modules

Last updated