20,748 reputation
62108
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 4 months
seen 6 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.


361
× 32
86
× 9
42
× 3
30
× 5
340
× 31
81
× 7
41
× 6
30
× 4
242
× 24
80
× 6
40
× 2
29
× 3
176
× 11
70
× 3
40
29
× 3
162
× 14
65
× 5
39
× 5
29
153
× 10
61
× 3
39
× 3
27
× 3
150
× 11
59
× 6
34
× 5
27
144
× 15
50
× 5
33
× 5
27
138
× 13
48
× 3
33
× 5
26
× 3
114
× 11
47
× 2
33
× 3
26
× 3
110
× 11
46
× 5
33
× 3
26
103
× 6
45
× 2
32
× 5
25
97
× 6
42
× 4
31
× 2
24
× 2