Poul Frederick Williams

About me

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:

• Equivalence checking of flat combinational circuits.
• Equivalence checking of hierarchical combinational circuits.
• Symbolic model checking of finite state machines.
• Satisfiability checking.

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:

• Machine-Oriented Programming (Spring 1998)
• Advanced Algorithms (Fall 1997)

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.

In my spare time I have been studying Bengali and Hindi.