Warning: Undefined array key "lang" in /www/www-wjp/system/lang.php on line 19
Institut für Rechnerarchitektur und Parallelrechner - Leute
Institut für Rechnerarchitektur
und Parallelrechner

Warning: Undefined variable $pubfilter in /www/www-wjp/includes/listeindividuum.php on line 130
Dr. Petro Lutsyk
Universität des Saarlandes   Gebäude E1 3
FR 6.2 Informatik   Raum 306
Postfach 151150   Tel: +49 (0)681 302-4130
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail: petro@wjpserver.cs.uni-saarland.de
 
 
Lebenslauf
1990 Birth
2007 - 2011 Bachelor, thesis in Quantum error correction
2011 - 2014 Master, thesis in Processor correctness
2014 PhD student, thesis topic: Correctness of Multi-core Processors with OS Support
 
Forschungsinteressen
Hardware Design
Hardware-assisted Virtualization
Formal Verification of Hardware and Low-level Software
 
Private Homepage
https://www-wjp.cs.uni-saarland.de/leute/individuum.php?person=11112
 
Publikationen

Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 83

Warning: Undefined variable $english in /www/www-wjp/includes/publikation.php on line 77
Paul, W.J. and Baumann, C. and Lutsyk, P. and Schmaltz, S. and Oberhauser, J.     BibTeX
System Architecture as an Ordinary Engineering Discipline.
Springer, 2016.
 
Paul, W.J. and Lutsyk, P. and Oberhauser, J.     BibTeX
Multi-core System Architecture.
Lecture notes, Saarland University, 2016.
 
Lutsyk, Petro     BibTeX
Pipelined MIPS Processor with a Store Buffer.
Masterarbeit, Saarland University, 2014.