Professor Thomas A Henzinger was awarded the 2015 Milner Award for fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems.
The lecture
A reactive system is a dynamic system that evolves in time by reacting to external events. Hardware components and software processes are reactive systems that interact with each other and with their physical environment. Computer science has developed powerful models, theories, algorithms, and tools for analyzing and predicting the behavior of reactive systems.
These techniques are based on mathematical logic, theory of computation, programming languages, and game theory. They were originally developed to let us build a more dependable computer infrastructure, but their utility transcends computer science. For example, both an aircraft and a living organism are complex reactive systems. Our understanding and the design of such systems can benefit greatly from reactive modeling and analysis techniques such as execution, composition, and abstraction.
The award
The Royal Society Milner Award, supported by Microsoft Research, is given annually for outstanding achievement in computer science by a European researcher. It replaces the Royal Society and Academie des sciences Microsoft Award and is named in honour of Professor Robin Milner FRS (1934-2010), a pioneer in computer science. The recipient is chosen by the Council of the Royal Society on the recommendation of the Milner Award Committee. The Committee is made up of Fellows of the Royal Society, Members of the Academie des sciences and Members of Leopoldina (Germany).
Attending this event
This event is free and no registration is required. Doors open at 6pm with seats allocated on a first come first served basis. If you require BSL interpretation please let us know at least 2 weeks before the event.
A powerful paradigm for modeling and analysis from engineering to biology
The Royal Society, 6 - 9 Carlton House Terrace, London
Ad
Event has ended
This event ended on Wednesday 18th of November 2015
This event ended on Wednesday 18th of November 2015
Admission
Free
Free
Location
The Royal Society, 6 - 9 Carlton House Terrace, London
Website
Tags:
Around Town
User Reviews
There are no user reviews