Monday November 1 4:00 - 5:00 PM Kelley 1001
John Launchbury Chief Scientist Galois Inc. The Era Of Functional Programming Functional programming languages have been under academic development for over 30 years. Throughout that time they supplied key innovations to mainstream languages, but did not meet widespread acceptance themselves. All that is changing now. A new groundswell of interest is emerging in functional languages because of their ability to provide compelling approaches for the critical software challenges of the decade: multicore and software assurance. Microsoft has noticed this, and recently released F# -- their first functional language product -- as a full citizen of .NET. In this talk, we examine the industrial forces and trends that are driving functional languages to feature prominently within the future landscape of software. Biography Dr. John Launchbury is Chief Scientist of Galois, Inc. John founded Galois in 1999 to address challenges in Information Assurance through the application of Functional Programming and Formal Methods. Under his leadership, formerly as CEO, the company has grown strongly, successfully winning and delivering on multiple contract awards for U.S. Government intelligence and defense customers. Prior to founding Galois, John was a full professor in Computer Science and Engineering at the Oregon Graduate Institute School of Science and Engineering at OHSU. His instruction style earned him several awards for outstanding teaching, and he is internationally recognized for his work on the analysis and semantics of programming languages, and on the Haskell programming language in particular. John received First Class Honors in Mathematics from Oxford University in 1985. He holds a Ph.D. in Computing Science from University of Glasgow and won the British Computer Society's distinguished di ssertation prize. _______________________________________________ Colloquium mailing list [email protected] https://secure.engr.oregonstate.edu/mailman/listinfo/colloquium
