meta user
network profile
| bio | website | i-have-no-homepage.net |
|---|---|---|
| location | Freiburg, Germany | |
| age | 28 | |
| visits | member for | 11 months |
| seen | Apr 26 at 12:41 | |
| stats | profile views | 1 |
I am a student of computer science at the University of Freiburg.
Currently I am working on my Bachelor thesis about Petri Nets in the context of trace abstraction for automated program verification.
This user has not asked any questions
|
TeX - LaTeX | 322 rep | 9 |
|
Stack Overflow | 108 rep | 7 |
|
Meta Stack Overflow | 106 rep | 2 |
|
Ask Ubuntu | 101 rep | 3 |
|
Skeptics | 101 rep | 2 |
This user has no active bounties
6 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 6 | up | 4 | question | ||
| 0 | down | 2 | answer | ||
