Daniel Kröning

Dissertation: Formal Verification of Pipelined Microprocessors

Advisor 1

Name	Institution	Year	Students
Gérard Charly Basler	Not recorded	—	0
Nicolas Blanc	Not recorded	—	0
Angelo Brillout	Not recorded	—	0
Dario Cattaruzza	University of Oxford	2018	0
Yury Chebiryak	Not recorded	—	0
Vijay Victor D'Silva	Not recorded	—	0
Leopold Haller	Not recorded	—	0
Sean Heelan	Not recorded	—	0
Alexander Horn	Not recorded	—	0
Alexander Kaiser	University of Oxford	2013	0
Pascal Kesseli	Not recorded	—	0
David Landsberg	Not recorded	—	0
Matt Lewis	Not recorded	—	0
Lihao Liang	Not recorded	—	0
Rajdeep Mukherjee	Not recorded	—	0
Vincent Nimal	Not recorded	—	0
Daniel Poetzl	University of Oxford	2018	0
Mitra Purandare	Not recorded	—	0
Marcelo Sousa	Not recorded	—	0
Georg Weissenbacher	Not recorded	—	7
Christoph Michael Wintersteiger	Not recorded	—	1

Genealogy