Embedded Systems Unit
Fondazione Bruno Kessler
Via Sommarive 18
I-38123 Trento Povo (TN)
Italy
(Google maps)
Phone: +39 0461 314 335
Mobile: +39 340 2486846
|
Contact:
(work|home) Embedded Systems Unit Fondazione Bruno Kessler Via Sommarive 18 I-38123 Trento Povo (TN) Italy (Google maps) Phone: +39 0461 314 335 Mobile: +39 340 2486846 |
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. Now I'm back at FBK's Embedded Systems Unit on a 3 year PostDoc contract.
|
© Viktor Schuppan Last Modified 09 September 2009 |