POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / Vincent Rahli

Not registered as user yet

Name:Vincent Rahli
Affiliation:SnT
Personal website:http://www.cs.cornell.edu/~rahli/

Contributions

CPP 2017 Committee Member in Program Committee within the CPP-track
Formally verified differential dynamic logic
Show activities from other conferences

POPL 2017-profile
View general profile