CS researcher passionate about Formal Methods/Verification, Java Programming, and Petri Nets. Currently working on verification under weak memory models.
-
Uni Oldenburg
- Oldenburg, Germany
-
01:49
(UTC +02:00)
Search results
0 open and 0 closed projects found.-
There aren't any projects yet