22,957 reputation
68116
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 43
visits member for 2 years, 8 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.


505
× 46
105
× 9
44
× 5
32
394
× 33
102
× 6
43
× 4
31
× 2
182
× 12
94
× 9
43
× 4
30
× 4
168
× 14
78
× 8
43
30
160
× 10
78
× 3
42
× 6
30
155
× 15
71
× 6
41
× 3
29
× 3
148
× 15
69
× 4
40
× 4
29
× 3
145
× 10
63
× 5
40
× 2
29
× 3
131
× 12
62
× 7
35
× 2
29
126
× 12
58
× 5
35
× 2
27
× 3
125
× 10
57
× 8
34
27
113
× 7
52
× 6
33
× 5
27
109
× 7
46
× 2
33
× 5
26