23,133 reputation
68116
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 9 months
seen 3 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.


507
× 46
107
× 9
44
× 5
33
× 5
397
× 33
103
× 6
43
× 6
33
× 5
184
× 12
98
× 9
43
× 4
32
× 2
168
× 14
78
× 8
43
× 4
32
163
× 10
78
× 3
43
32
155
× 15
72
× 6
42
× 5
30
× 4
149
× 15
69
× 4
41
× 3
30
× 3
146
× 10
63
× 5
40
× 4
30
132
× 12
62
× 7
40
× 2
29
× 3
126
× 12
60
× 5
40
× 2
29
× 3
126
× 10
57
× 8
36
× 2
28
115
× 7
53
× 2
36
× 2
28
114
× 7
46
× 2
34
28