Brandon Bohrer -

Not registered as user yet

Name:Brandon Bohrer

Contributions

PLDI 2018	Author of VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models within the PLDI Research Papers-track
CPP 2017	Author of Formally verified differential dynamic logic within the CPP-track