new | ask | show | jobs
user:markusde
created:4 years ago
karma:203
about:PhD student in formal methods.