Dipl.-Ing. Michael Rathmair studies at the TU Wien since 2004. He finished the bachelor program for electrical engineering and information technology and the master program in the field of computer technology. The according thesis are about design of computer systems for energy and IT applications. Since 2011 he started his PhD study and works as an university- and project assistant at the ICT. His scientific interests focus in the field of enhanced system verification (range-based simulation methods, formal system verification, design for verification, etc.) Within his PhD thesis he deals with the topic of system verification under the presence of parameter variations. Especially analysis methods are presented to evaluate the impact of single uncertainties to the full system performance.