20,768 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
41
× 6
29
× 3
340
× 31
81
× 7
40
× 2
29
× 3
242
× 24
80
× 6
40
29
176
× 11
70
× 3
39
× 5
27
× 3
162
× 14
66
× 5
39
× 3
27
153
× 10
65
× 6
34
× 5
27
150
× 11
62
× 8
33
× 5
26
× 3
144
× 15
61
× 3
33
× 5
26
× 3
138
× 13
59
× 6
33
× 3
26
114
× 11
48
× 3
33
× 3
25
110
× 11
46
× 2
32
× 5
24
× 2
103
× 6
42
× 4
31
× 2
23
× 2
97
× 6
42
× 3
30
× 4
23
× 2