1121

ratings
Time:
55:41
More in
Science & Technology

Time:
55:41
More in
Science & Technology
VB and C# together share about 50% of the “garbage-collected languages” market. I’ll talk about how we design these languages. Where do we get ideas? How do we incorporate new paradigms without breaking the existing languages? Where will we go in the future, and how will we get there? I’ll illustrate this talk with three main examples: how LINQ was introduced, how XML literals were introduced, and what we’re planning for concurrency.
Lucian is the Spec Lead for Microsoft Visual Basic in Redmond, USA. Before that he was a post-doc at the University of Bologna, working with Cosimo Laneve on implementing the pi calculus. And before that he did his PhD on the same topic, supervised Philippa Gardner in the Computer Laboratory of the University of Cambridge.
This session is presented by Lucian Wischik during Microsoft DevDays 2010 in The Hague in The Netherlands.

Time:
01:11:32
More in
Science & Technology
Welcome to the latest installment of C9 Conversations. For this episode, we were very fortunate to get a chance to converse openly with one of the world’s preeminent mathematical logicians, the great Yuri Gurevich.
Dr. Gurevich is Professor Emeritus of Electrical Engineering and Computer Science at the University of Michigan. He is currently a principle research scientist in Wolfram Schulte’s RiSE team (Research in Software Engineering group at Microsoft Research).
Originally, Dr. Gurevich started his career as an algebraist. Later he became a logician. Then he moved to computer science, where his main projects have been Abstract State Machines, Average Case Computational Complexity, and Finite Model Theory. Dr. Gurevich has been honored as a Dr. Honoris Causa of the University of Limburg, Belgium (1998), as a Fellow of the Association for Computing Machinery (1996), as well as a Fellow of the John Simon Guggenheim Memorial Foundation (1995).
Dr. Gurevich’s fundamental work on the theory of Abstract State Machines (ASMs) is of paramount importance for theoretical and applied computer science. The significance of the theoretical concepts developed by Gurevich is confirmed by the substantial impact they have on mathematical modeling of discrete dynamic systems.
*This is probably the only interview in C9’s history where a good case is made for imperative programming versus declarative and functional (this starts right off the bat at around 02:31).
Read Yuri’s Annotated Articles
Tune in. Meet Yuri Gurevich.

Time:
52:55
More in
Science & Technology

Time:
46:12
More in
Science & Technology