21,613 reputation
65111
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 6 months
seen 18 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
97
× 8
43
× 4
30
365
× 32
80
× 6
42
× 4
29
× 3
176
× 11
76
× 3
42
29
× 3
164
× 14
73
× 7
41
× 6
29
156
× 10
71
× 6
40
× 4
27
× 3
152
× 11
68
× 4
40
× 2
27
× 3
146
× 15
66
× 6
34
27
143
× 13
64
× 8
33
× 5
27
123
× 12
62
× 7
33
× 5
26
120
× 10
56
× 8
33
× 3
25
110
× 11
53
× 4
32
× 5
24
× 2
108
× 6
46
× 2
31
× 2
23
× 2
100
× 6
43
× 4
30
× 4
23
× 2