network profile
12,311
reputation
511
| bio | website | people.cs.kuleuven.be/… |
|---|---|---|
| location | Leuven, Belgium | |
| age | 41 | |
| visits | member for | 2 years, 9 months |
| seen | May 13 at 5:47 | |
| stats | profile views | 95 |
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,831 rep | 3770 |
|
Theoretical Computer Science♦ | 12,311 rep | 23589 |
|
Computer Science | 10,318 rep | 11856 |
|
Parenting | 831 rep | 210 |
|
Stack Overflow | 399 rep | 510 |
72 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 64 | up | 30 | question | ||
| 8 | down | 42 | answer | ||
