top
new
show
ask
jobs
about
markusde
...joined
4 years ago
ago. Has
203
karma.
submissions
/
comments
/
favourites
PhD student in formal methods.
toggle theme