Foundations of Artificial Intelligence (FAI) Group
divider line


   About me   

   FAI Group Members Back to FAI


divider line

Marcel Vinzent

Computer Science Department
Foundations of Artificial Intelligence (FAI) Group
Campus E 1.1, R. 3.13
Universität des Saarlandes
66123 Saarbrücken, Germany

Mail:

divider line

I am a PhD student at the chair of Prof. Jörg Hoffmann in the Computer Science department at Saarland University.
The focus of my research is NN action policy verification, specifically via predicate abstraction.