18,510 reputation
5392
bio website people.cs.kuleuven.be/…
location Uppsala, Sweden
age 42
visits member for 2 years
seen 7 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.


326
× 30
74
× 7
40
× 6
29
× 3
318
× 31
69
× 5
40
× 4
27
228
× 23
62
× 7
40
26
× 3
157
× 13
62
× 5
39
× 3
26
× 3
149
× 10
61
× 3
39
× 2
25
143
× 11
53
× 6
37
× 5
25
133
× 11
48
× 5
34
× 5
24
× 3
131
× 14
47
× 2
33
× 5
22
× 2
130
× 13
44
× 4
31
× 5
21
× 3
103
× 6
44
× 3
30
× 5
21
× 2
93
× 10
43
× 2
30
× 4
21
× 2
81
× 5
42
× 3
30
× 4
21
78
× 10
41
× 2
29
× 3
21