Contact:
Im Venetianerwinkel 34 b 87629 Füssen Germany (Google maps) Phone: +49 8362 9116599 Mobile: +49 172 4634274 PGP key fingerprint: 35AD 39DD 12AF A9A4 B963 9C16 4FF8 E9DD E954 0AEA |
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.
© Viktor Schuppan Last Modified 24 August 2015 |