20,503 reputation
60104
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 3 months
seen 8 hours 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.


337
× 31
84
× 9
41
× 6
30
× 5
330
× 31
81
× 7
40
× 4
30
× 4
239
× 24
80
× 6
40
× 2
29
× 3
185
× 12
68
× 3
40
29
× 3
161
× 14
63
× 5
39
× 3
29
152
× 10
61
× 3
38
× 5
27
149
× 11
57
× 6
34
× 5
27
141
× 15
48
× 5
33
× 5
26
× 3
138
× 13
48
× 3
33
× 5
26
× 3
110
× 11
47
× 2
33
× 3
26
107
× 11
46
× 5
32
× 5
25
× 3
103
× 6
44
× 2
32
× 3
25
96
× 6
42
× 3
31
× 2
24
× 2