Research Park Master

Back to Listing

Blockchain User Group: Runtime Verification with Patrick MacKay and Everett Hildenbrandt

Event Type
EnterpriseWorks, Research Park
wifi event
Apr 16, 2021   12:00 - 1:00 pm  
Patrick MacKay, Everett Hildenbrandt
Cathy McArthur
Originating Calendar
Research Park Events

Join the Blockchain Meetup Group from 12-1PM on Friday, April 16. 


We can't be sure that blockchain systems are secure unless they are built on good code and audited to make sure everything runs according to the intent of the designers. That's where Runtime Verification comes in - a software company right here in Champaign-Urbana developing and using runtime verification-based techniques to perform security audits on virtual machines and smart contracts on public blockchains.


For the time being, blockchain safety tests are mostly lightweight static analysis tests (testing only the internal logic of source code), while dynamic analysis test (using the data generated as the codes are compiled and executed) increases coverage to find bugs as opposed to static analysis tests. Runtime Verification is a global leader in formal verification and is capable of directly verifying compiled binary code. Compared to the formal verification of source code, this catches bugs that are otherwise missed due to miscompilation.


Joining us will be Patrick MacKay (COO) and Everett Hildenbrandt (CTO) of the company. Prior to joining RV Patrick was the founding Director and General Manger for Capital One’s Illinois Digital Campus Lab, the bank's first R&D operation located on a university campus. Everett is a formal modeling engineer who studied at the UI Computer Science program. His interests include automated system analysis via symbolic model checking, rigorous software development via carefully designed development practices.


Runtime Verification Homepage:


This is group is for anyone interested in distributed ledger technology (i.e. blockchains, cryptography, smart contracts, decentralized applications (DApps) cryptocurrency/tokens, and relevant related subjects). Everyone is welcome! We will meet once a month and will have an educational component as well as a discussion component at our meetups. Join if you seek to learn about this industry and have a great time!


Our group is affiliated with the Blockchain Special Interest Group of the Association for Computer Machinery at the University of Illinois. Blockchain SIG members help manage the group, provide informational sessions, and coordinate special events.


For more information on this event, check out our Meetup Page here.


Be sure to check out the rest of our monthly tech meetup groups here.


If you have questions, or need accommodations for this event, please contact Cathy McArthur at 

link for robots only