ESS External Seminars usually take place on Thursdays 4-5pm.
Seminars 2012/2013 Academic Year
Unknown
Thursday 17th May 2012
TBA
TBA
Ali Mustafa Zaidi
Monday 16th April 2012
Computer Architectures for the Dark Silicon Era
Computer Architectures for the Dark Silicon Era
Dr Jens Krinke (University College London)
Friday 9th March 2012
Bugs, Vulnerabilities, and Information Flow Control
Bugs, Vulnerabilities, and Information Flow Control
Prof Neil Ghani (University of Strathclyde)
Thursday 23rd February 2012
The future of datatypes?
The future of datatypes?
Dr. Nassim Seghir (Oxford University)
Thursday 16th February 2012
Counterexample Guided Precondition Inference
Counterexample Guided Precondition Inference
Franco Raimondi (Middlesex University)
Thursday 2nd February 2012
On-the-fly Hybrid Model Checking for Software Verification
On-the-fly Hybrid Model Checking for Software Verification
Dr George A Constantinides (Imperial College London)
Thursday 12th January 2012
Abstractions for FPGA-based Computational Acceleration
Abstractions for FPGA-based Computational Acceleration
Hayo Thielecke (University of Birmingham)
Thursday 24th November 2011
Regular expression matching and operational semantics
Regular expression matching and operational semantics
Prof Carroll Morgan (University of New South Wales)
Friday 11th November 2011
Semantics for noninterference security: Rhyme and Reason
Semantics for noninterference security: Rhyme and Reason
Prof Carroll Morgan (University of New South Wales)
Friday 11th November 2011
Roll-your-own notations for elementary probability
Roll-your-own notations for elementary probability
Dr. David A. Clifton, University of Oxford
Friday 4th November 2011
The Hospital of the Future
The Hospital of the Future
John Sarik (Columbia Laboratory for Unconventional Electronics)
Thursday 27th October 2011
EnHANTs: Energy Harvesting Active Networked Tags
EnHANTs: Energy Harvesting Active Networked Tags