Coolt föredrag för D-teknologer om programmering och avlusning

This text could not be translated automatically.

Den 19-20 mars får KTH besök av Rustan Leino (http://research.microsoft.com/en-us/um/people/leino/) från Microsoft Research i Redmond, USA. Rustan jobbar i Microsofts RiSE-grupp (Research in Software Engineering) och är världsledande på sitt område. Dessutom är han en erkänt suverän föredragshållare. Rustan kommer att hålla en officiell fin-gäst-föreläsning på KTH, men ställer också gärna upp på ett lite mer avspänt, informellt föredrag för D-teknologerna. Av egen erfarenhet kan jag säga att det kommer att vara årets häftigaste föredrag alla kategorier på KTH.

Problems with bugs in your code? Doctor Rustan’s tool to the rescue!

Speaker: Rustan Leino, Microsoft Research
Time and date: Tuesday March 20, 13:15-15:00
Location: Lecture hall E1, Osquars backe 2
Details: www.csc.kth.se/tcs/seminarsevents/rustanleino.php

INFORMAL ABSTRACT

Wasn’t that easy?!

Problems with bugs in your code? Doctor Rustan’s tool to the rescue!

Get to know how debugging your code gets the simple look and feel of spell checking in Word.* See some of the latest and most exciting research in formal verification deployed in action. This will be a hands-on tutorial, so bring your own laptop to try it out for yourself.

Rustan Leino from Microsoft Research is a world-leading expert in the area. Those who have seen his presentations know why programming is cool. You don’t want to miss this!

More details, and a slightly more formal abstract, can be found at http://www.csc.kth.se/tcs/seminarsevents/rustanleino.php .

*) Your mileage may vary. Do not use when operating heavy machinery. Prolonged excitement from using programming tools may cure drowsiness. Some users report a sensation of increased and irresistible social attraction. If you experience bug withdrawal, consider collecting pet armadillidiidae.