peleska Goto Github PK
Name: Jan Peleska
Type: User
Company: University of Bremen, Department of Mathematics and Computer Science
Bio: Jan Peleska is professor for computer science at the University of Bremen. His research focus is on safety-critical systems, formal methods, test automation.
Location: Bremen, Germany