| bio | website | people.cs.kuleuven.be/… |
|---|---|---|
| location | Leuven, Belgium | |
| age | 41 | |
| visits | member for | 1 year, 2 months |
| seen | 7 hours ago | |
| stats | profile views | 489 |
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 | 14,806 rep | 3874 |
|
|
Theoretical Computer Science♦ | 12,361 rep | 23589 |
|
|
Computer Science | 10,604 rep | 11958 |
|
|
Parenting | 1,139 rep | 311 |
|
|
Stack Overflow | 400 rep | 510 |
| Nice Answer × 54 | Guru |
| Enlightened × 24 | phd |
| publishing | Custodian × 2 |
| Yearling | publications |
| Good Answer × 8 | Cleanup |
This user has no active bounties
656 Votes Cast
| all time | by type | month | week | ||||||
|---|---|---|---|---|---|---|---|---|---|
| 648 | up | 281 | question | 33 | 11 | ||||
| 8 | down | 375 | answer | ||||||