Welcome to Sven Beyer's official homepage!

just a photo of me

I did my PhD thesis in computer sciences at Saarland University, Saarbruecken, Germany. From 2003 to 2005, I worked in the project management of the Verisoft project which is funded by the German federal government. My PhD thesis belongs to the VAMP project where we formally verified the correctness of a complete state-of-the art microprocessor on the gate level using SRI's theorem-proving system PVS. My research interests lie in the direction of formal verification. A list of my publications can be found here.

The easiest way to contact me is via email, as you may have guessed.

When I'm not really working on a computer, I'm most likely having a good time with friends (which usually involves some serious drinking), reading a good book, or doing some swimming (and that is the whole reason for the background image, just in case you wondered). I'm also quite a fan of South Park and Gary Larson, and I like going to the movies-that's why I also have a good home-cinema system.

Furthermore, I'm a more or less active member of the German Lifesaving Association DLRG. From time to time, I'm swimming some championship, doing some baywatch at our local lake in Losheim, and I'm also engaged in other complimentary work for the DLRG as far (or as little) as time permits.

I also have a German homepage, which is mostly for fun and won't tell you anything new about research at all.

You can find my GPG key (fingerprint 939E C6FE D819 E6D4 1C87 001F 6E4D 1852 1745 3772) here.

Visits since Nov 09, 2001:

Letzte Änderung: 25.07.2005, 23:46 Uhr

Sven Beyer