Thomas Hallgren - Hello

Hello

Hello!

What am I doing here and what have I been up to?

2009	I taught the course Hardware Description and Verification this year. Starting in November, I work in the Center for Language Technology.
2001-2006	From 5 July 2001 to September 2006, I worked on the Programatica Project in the PacSoft group at Oregon Graduate Institute. I have preserved my home page from my time there.
1988-2001	From 1st May 1998 to 31 June 2001, I was an assistant professor (forskningsassistent) at the Computing Science Department at Chalmers University of Technology, and before I finished my thesis (about Fudgets) I was a PhD student at the same place. I have been a member of the Functional Programming Group for a long time. I have also worked with the Programming Logic Group the on development of user interfaces for proof assistants (Alfa).

This page is split up into several tabs. If you prefer, you can view most of the contents all at once instead.

Contents last changed Friday 2010-01-08, 16:38.

Thomas Hallgren

Involuntary disclaimer

[

|

]