network profile
| bio | website | people.cs.kuleuven.be/… |
|---|---|---|
| location | Leuven, Belgium | |
| age | 40 | |
| visits | member for | 1 year, 9 months |
| seen | 1 min ago | |
| stats | profile views | 2,081 |
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.
|
|
Theoretical Computer Science♦ | 11,247 rep | 22675 |
|
|
Computer Science | 4,662 rep | 833 |
|
|
Academia | 1,695 rep | 512 |
|
|
Area 51 | 363 rep | 17 |
|
|
Stack Overflow | 350 rep | 38 |
This user has no active bounties
| all time | by type | month | week | ||||||
|---|---|---|---|---|---|---|---|---|---|
| 1,965 | up | 864 | question | 28 | 2 | ||||
| 52 | down | 1,153 | answer | ||||||
