|
|
|
| Hello | Research | Teaching | Software | Leisure | Photos | Links |
|
|---|---|---|---|---|---|---|---|
Hello!Starting 5 July 2001, I work at PacSoft at Oregon Graduate Institute. See my new home page. 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. |
|||||||