CS researcher passionate about Formal Methods/Verification, Java Programming, and Petri Nets. Currently working on verification under weak memory models.
-
Uni Oldenburg
- Oldenburg, Germany
-
02:06
(UTC +02:00)
Piepmatz
cptpiepmatz
CS Student at CvO University Oldenburg, @nushell Core Team, @wisdom-oss Frontend Dev
CvO University Oldenburg Germany