Poul Frederick Williams |
Peldor: You never take a break, do you?
Bosco: Hey, being me is a full-time job! (Thomas Miller: The Adventurers) |
I am a research assistant professor at IT University of Copenhagen, Denmark. I got my MSc and PhD (still pending successful defense) from the Technical University of Denmark.
Recently I returned from a 1/2 year visit to the School of Computer Science at Carnegie Mellon University in Pittsburgh, Pennsylvania. At CMU I was working with Professor Edmund Clarke and his model checking group.
During my PhD studies I was supervised by Associate Professor Henrik Reif Andersen and Associate Professor Henrik Hulgaard.
My research interests lie in the area of formal verification of system design. In my research I try to exploit the Boolean Expression Diagram data structure for verification purposes. Until now I have concentrated on the following areas:
I have taught the class "C++ Programming" (Spring 1999) at the Technical University of Denmark. Furthermore I have given lectures in verification classes at both the Technical University of Denmark and Carnegie Mellon University. ("Verification Tools", Fall 1998 and "Verification of Concurrent, Reactive and Real-Time Programs", Spring 2000.)
At the Technical University of Denmark I have been a teaching assistant in:
In the summer of 1997 I graduated from the Technical University of Denmark with a Master of Science in Engineering degree. I specialized in computer science (Danish: Informatik Fagprofil).
I spent the year 1995-96 at Rheinisch-Westfälische Technische Hochschule Aachen (Technical University of Aachen) in Germany as an ERASMUS exchange student.
In the spring of 1998 I participated in RoboCup'98. It is the annual robot competition at the Technical University of Denmark. Philip Norstand and I built a robot which was able to follow a white line of tape on the floor as well as pass a number of obstacles along the way. We won third place. You can see a picture of the robot here.
| Poul Frederick Williams E-mail: pfw@it-c.dk Homepage: www.it-c.dk/people/pfw |
banglar mukh ami dekhiyachi,
tai ami prithibiir rup khujite yai na ar. (Jibanananda Das) |