Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Thursday, August 13 • 3:30pm - 4:15pm
Building working software: An introduction to formal verification

Sign up or log in to save this to your schedule and see who's attending!

We will talk about software development using modern tooling such as theorem assistants, advanced type theory techniques, and other methods of formally verifying code. We'll discuss some of the advantages and disadvantages of several methods and motivate the need to move in the direction of making heavier use of such tooling.

Speakers
avatar for Ricky Elrod

Ricky Elrod

Red Hat
I work at Red Hat on the Fedora Engineering team. I am a student at Youngstown State University where I am majoring in computer science and mathematics. I care about improving the state of our field and making it better. Programming language theory is my research area of interest, in connection with type theory, category theory, and logic.


Thursday August 13, 2015 3:30pm - 4:15pm
Room 3 - Rackspace Room

Attendees (7)