Viktor Schuppan

Portrait of Viktor Schuppan Contact:

Im Venetianerwinkel 34 b
87629 Füssen
Germany
(Google maps)

Phone: +49 8362 9116599
Mobile: +49 172 4634274

Email of Viktor Schuppan
PGP key fingerprint: 35AD 39DD 12AF A9A4 B963 9C16 4FF8 E9DD E954 0AEA

About me

From 1993 to 1999 I studied computer science at TU München. I spent one year at Queen's University of Belfast. From 2001 to 2005 I was assistant at the Computer Systems Institute of the Swiss Federal Institute of Technology. I was working in the group of Prof. Armin Biere on verification of software and hardware systems. I defended my PhD thesis on September 28th, 2005. From October to December 2006 I worked with Alessandro Cimatti and Marco Roveri at FBK-irst. Between September 2007 and April 2008 I was a PostDoc in Oded Maler's group at Verimag. After that I spent 3 years as a PostDoc in FBK's Embedded Systems Unit.

Publications