22,739 reputation
67115
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 7 months
seen 1 hour 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.


503
× 46
105
× 9
43
× 4
31
× 2
385
× 33
100
× 6
43
× 4
30
× 4
188
× 11
94
× 9
43
30
176
× 11
78
× 3
42
× 4
29
× 3
164
× 14
75
× 8
41
× 6
29
× 3
153
× 15
71
× 6
41
× 3
29
148
× 15
69
× 4
40
× 4
29
145
× 10
63
× 5
40
× 2
28
× 3
131
× 12
62
× 7
35
× 2
27
× 3
125
× 12
58
× 5
35
× 2
27
121
× 10
56
× 8
34
27
109
× 7
51
× 6
33
× 5
26
109
× 6
46
× 2
32
× 5
25
× 3