[Photo of Thohmas Hallgren, November 2008]

Thomas Hallgren

Email:[first name at altocumulus dot org]
Hello Teaching Research Publications Software Links :-)

Hello!

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

2009 I taught the course Hardware Description and Verification this year.
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 Monday 2009-06-15, 20:51.
Thomas Hallgren
Involuntary disclaimer
Best viewed with any browser [ Valid HTML? | Check Links ]