| bio | website | people.cs.kuleuven.be/… |
|---|---|---|
| location | Leuven, Belgium | |
| age | 41 | |
| visits | member for | 2 years, 9 months |
| seen | 7 hours ago | |
| stats | profile views | 2,623 |
Computer scientist working on programming language design, formal methods for software product line engineering and security, with a smattering of logic and coordination in there for good measure.
|
|
Academia | 13,961 rep | 3770 |
|
|
Theoretical Computer Science♦ | 12,331 rep | 23589 |
|
|
Computer Science | 10,404 rep | 11857 |
|
|
Parenting | 841 rep | 210 |
|
|
Stack Overflow | 399 rep | 510 |
| Popular Question × 2 | Reviewer |
| Custodian × 4 | Necromancer × 2 |
| Nice Answer × 49 | Yearling × 2 |
| Good Question × 2 | Enlightened × 16 |
| Good Answer × 4 | Constituent |
This user has no active bounties
2,222 Votes Cast
| all time | by type | month | |||||
|---|---|---|---|---|---|---|---|
| 2,158 | up | 941 | question | 12 | |||
| 64 | down | 1,281 | answer | ||||