Austin
April 25-29, 2016
High Level Specifications and Formal Methods
Amazon has been using the TLA+ specification language to great effect on their AWS services since 2011. We are interested in developing concise and complete descriptions of Openstack services. Using a formal specification language will let us unambiguously formulate an answer to, "Is this how Openstack should behave?" and verify that our designs do not lead to inconsistencies. Let's talk about specification languages, modeling, and formal methods!
What can I expect to learn?
They will learn about formal methods, high-level specifications, and mathematical modeling.
Wednesday, April 27, 2:40pm-3:20pm (7:40pm - 8:20pm UTC)
Difficulty Level: Advanced
Researcher
Simon Hudon is a Ph.D. candidate in Computer Science at Lassonde School of Engineering, York University, Canada. He completed his M.Sc. at ETH, Zürich, Switzerland and his B.Sc. at Université de Sherbrooke, Canada. He is interested in the design of software systems using their proof of correctness as a guiding principle. More specifically, his work focuses on refinement approaches... FULL PROFILE
DreamHost
James King is a software engineer with more than 10 years of industry experience from web development to cloud infrastructure. He is an active open source contributor to a wide range of projects such as Openstack, WebGL, Mozilla Firefox, Python and more. He has a keen love of mathematics. FULL PROFILE
Comments
0 Reviews
0
Registration Opening Soon
Registration will open for you to purchase passes for the OpenStack Summit very soon!
We're excited to see you there!
Download App
