meta user
network profile
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 1 year, 4 months |
| seen | Mar 18 at 21:29 | |
| stats | profile views | 2 |
I am a PhD student working in the area of program analysis and formal methods in software engineering.
|
TeX - LaTeX | 65 rep | 5 |
|
Stack Overflow | 1 rep | 1 |
This user has no active bounties
4 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 4 | up | 0 | question | ||
| 0 | down | 4 | answer | ||
