| bio | website | people.cs.kuleuven.be/… |
|---|---|---|
| location | Leuven, Belgium | |
| age | 41 | |
| visits | member for | 1 year, 1 month |
| seen | 3 hours ago | |
| stats | profile views | 468 |
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,881 rep | 3770 |
|
|
Theoretical Computer Science♦ | 12,311 rep | 23589 |
|
|
Computer Science | 10,328 rep | 11856 |
|
|
Parenting | 831 rep | 210 |
|
|
Stack Overflow | 399 rep | 510 |
| Enlightened × 23 | phd |
| Nice Answer × 51 | Custodian × 2 |
| Yearling | publications |
| Good Answer × 8 | Cleanup |
| Guru | Quorum |
This user has no active bounties
617 Votes Cast
| all time | by type | month | week | day | ||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 610 | up | 266 | question | 7 | 1 | 1 | ||||
| 7 | down | 351 | answer | |||||||