21,208 reputation
64109
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 5 months
seen 2 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.


496
× 46
96
× 8
42
× 4
30
363
× 32
80
× 6
41
× 6
29
× 3
176
× 11
71
× 3
41
29
163
× 14
66
× 5
40
× 2
28
× 3
155
× 10
65
× 6
39
× 3
27
× 3
151
× 11
64
× 8
34
27
× 3
145
× 15
63
× 3
33
× 5
27
142
× 13
62
× 7
33
× 5
27
120
× 10
59
× 6
33
× 3
26
119
× 12
55
× 8
33
× 3
25
110
× 11
48
× 3
32
× 5
24
× 2
103
× 6
46
× 2
31
× 2
23
× 2
100
× 6
43
× 4
30
× 4
23
× 2