COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > What is an Algorithm?

## What is an Algorithm?Add to your list(s) Download to your calendar using vCal - Yuri Gurevich, Microsoft Research Redmond, USA
- Tuesday 09 February 2016, 16:00-17:00
- SW01.
If you have a question about this talk, please contact Ohad Kammar. NOTE UNUSUAL TIME, DAY, AND VENUE. There are two seminars this week (Tuesday and Friday) The title problem is of obvious interest to theorists. We will explain its importance to software engineering, in particular to specification, testing and verification of software and hardware. Wasn’t the problem solved by Turing? No. Of course Turing’s contribution was pivotal, but the problem remained open, even for sequential algorithms. We argue that problem cannot be solved in full generality because the notion of algorithm is still evolving. But certain species of algorithms have matured sufficiently to become amenable to foundational analysis. This applies first of all to sequential algorithm. In the main part of the lecture we formalize the notion of sequential algorithms in full generality. Then we will mention the other species of algorithms that have been formalized in full generality. Finally, we will describe some applications of this research, in particular at Microsoft. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Cambridge talks
- Computer Laboratory talks
- Computing and Mathematics
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- SW01
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsWomen of Mathematics throughout Europe Machine Learning Reading Group IfM Seminars## Other talksEvolutionâ€™s Bite: Dental evidence for the diets of our distant ancestors How could education systems research prompt a change to how DFIS works on education Highly Energy Efficient Key-value Store for In-network Computing Childhood adversity and chronic disease: risks, mechanisms and resilience First order rigidity of higher rank arithmetic lattices (note the nonstandard day) Fukushima and the Law |