User:Ragerdl

David Rager obtained his PhD in Computer Science from The University of Texas at Austin. His main areas of research are hardware, software, and protocol verification, security, automated theorem proving, and parallel theorem proving.