22,457 reputation
66114
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.


502
× 46
105
× 9
43
× 4
30
385
× 34
100
× 6
43
× 4
29
× 3
188
× 11
94
× 9
43
29
× 3
176
× 11
78
× 3
42
× 4
29
164
× 14
75
× 8
41
× 6
29
152
× 15
71
× 6
41
× 3
27
× 3
148
× 15
69
× 4
40
× 4
27
× 3
144
× 10
63
× 5
40
× 2
27
128
× 12
62
× 7
34
27
125
× 12
57
× 5
33
× 5
26
121
× 10
56
× 8
32
× 5
25
× 3
109
× 7
51
× 6
31
× 2
25
109
× 6
46
× 2
30
× 4
24
× 2