Runtime Vеrification
Andrew Miller is an Assistant Professor at the University of Illinois, Urbana-Champaign, Associate Director of the Initiative for Cryptocurrencies and Contracts (IC3), board member of the Zcash Foundation, and Director of the Decentralized Systems Lab at UIUC. Andrew’s research interests are broadly in computer security, and focused on the design of secure decentralized systems and cryptocurrencies. He combines techniques from programming languages, cryptography, and distributed computing. Andrew Miller received his Ph.D. from the University of Maryland Cybersecurity Center.
This person is not in any offices
Runtime Vеrification
Runtime Vеrification is a dynamic software analysis techniques to automatically detect bugs and errors of a software system.