| bio | website | people.cs.kuleuven.be/… |
|---|---|---|
| location | Leuven, Belgium | |
| age | 41 | |
| visits | member for | 1 year, 4 months |
| seen | yesterday | |
| stats | profile views | 36 |
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,951 rep | 3770 |
|
|
Theoretical Computer Science♦ | 12,331 rep | 23589 |
|
|
Computer Science | 10,403 rep | 11857 |
|
|
Parenting | 841 rep | 210 |
|
|
Stack Overflow | 399 rep | 510 |
This user has no active bounties
222 Votes Cast
| all time | by type | month | |||||
|---|---|---|---|---|---|---|---|
| 207 | up | 69 | question | 1 | |||
| 15 | down | 153 | answer | ||||