18,350 reputation
5392
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 42
visits member for 2 years
seen 3 mins ago

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.


318
× 31
74
× 7
40
× 4
29
× 3
315
× 30
66
× 5
40
27
228
× 23
62
× 7
39
× 3
26
× 3
157
× 13
62
× 5
39
× 2
26
× 3
149
× 10
61
× 3
37
× 5
25
143
× 11
53
× 6
33
× 5
25
131
× 14
48
× 5
33
× 5
24
× 3
129
× 13
47
× 2
32
× 2
22
× 2
129
× 11
44
× 4
31
× 5
21
× 3
94
× 6
44
× 3
30
× 5
21
× 2
93
× 10
43
× 2
30
× 4
21
× 2
80
× 5
42
× 3
30
× 4
20
× 2
78
× 10
40
× 6
29
× 3
19
× 2