Institut für Rechnerarchitektur
und Parallelrechner
M. Sc. 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
 
Publikationen
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.