Presentation: "Compile-time verification, it's not just for type safety any more"

Time: Friday 12:05 - 13:05

Location: Henry Moore Room, Fourth Floor

Abstract: With .NET 4 came the Contracts library and a theorem prover. One cannot have a discussion of the differences between static and dynamic languages without talking about theorem proving yet very few even know it exists. This talk looks at the current implementation including its weaknesses, how it can affect the quality control for your software (eg: unit testing), and what to be looking for in the future.

Greg Young, IMIS

Greg Young

Greg Young is co-founder and CTO of IMIS, a stock market analytics firm in Vancouver BC. With over 10 years of varied experience in computer science from embedded operating systems to business systems and everything in between, he brings a pragmatic and often times unusual viewpoint to discussions.

In his spare time you can often find Greg on experts-exchange.com where he runs the .NET section of the site, writing articles for InfoQ.com, speaking at local .NET groups throughout the south eastern US and now the pacific northwest, or floating upside down through rapids in his kayak.