Author Index

Erik Adkins
Imperial College, London, United Kingdom.
The Effect of Extensible Models on Cryptography
Engaging your audience, Feb 21st 19, 14:00 - 15:00
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Kristi Andrews
Oxford University, Oxford, United Kingdom.
The Relationship Between Courseware and the Internet Using RoonTossel
Changing attitudes, Feb 21st 19, 10:00 - 12:00, Sally Green
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
John Bell
Imperial College, London, United Kingdom.
Self-Learning, Pervasive Symmetries for Consistent Hashing
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Geoffrey Campbell
Imperial College, London, United Kingdom.
Self-Learning, Pervasive Symmetries for Consistent Hashing
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Andy Carr
UCL, London, United Kingdom.
Hovel: A Methodology for the Development of Model Checking.
Preparing for the future, Feb 21st 19, 14:00 - 15:00, Peter Black
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Searching for solutions, Feb 21st 19, 10:00 - 12:00, John Smith, Location: Red Room
Gregory Figueroa
Kings College, London, United Kingdom.
The Relationship Between Courseware and the Internet Using RoonTossel
Changing attitudes, Feb 21st 19, 10:00 - 12:00, Sally Green
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Tonya Fuller
Imperial College, London, United Kingdom. Kings College, London, United Kingdom.
The Relationship Between Courseware and the Internet Using RoonTossel
Changing attitudes, Feb 21st 19, 10:00 - 12:00, Sally Green
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Gretchen Harrington
Imperial College, London, United Kingdom.
The Effect of Extensible Models on Cryptography
Engaging your audience, Feb 21st 19, 14:00 - 15:00
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Lindsay James
UCL, London, United Kingdom.
An Analysis of the Transistor Using CLIME
Engaging your audience, Feb 21st 19, 15:00 - 16:00
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Gene Jefferson
UCL, London, United Kingdom.
Choree: Emulation of the Ethernet
Changing attitudes, Feb 21st 19, 10:00 - 12:00, Sally Green
Preparing for the future, Feb 21st 19, 15:00 - 16:00, Peter Black
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Searching for solutions, Feb 21st 19, 10:00 - 12:00, John Smith, Location: Red Room
Darrin Knight
UCL, London, United Kingdom.
Hovel: A Methodology for the Development of Model Checking.
Preparing for the future, Feb 21st 19, 14:00 - 15:00, Peter Black
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Searching for solutions, Feb 21st 19, 10:00 - 12:00, John Smith, Location: Red Room
Jeanne Mason
University of the Highlands and Islands, Perth, United Kingdom.
An Analysis of the Transistor Using CLIME
Engaging your audience, Feb 21st 19, 15:00 - 16:00
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Blanche Pratt
Imperial College, London, United Kingdom.
Choree: Emulation of the Ethernet
Changing attitudes, Feb 21st 19, 10:00 - 12:00, Sally Green
Preparing for the future, Feb 21st 19, 15:00 - 16:00, Peter Black
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Searching for solutions, Feb 21st 19, 10:00 - 12:00, John Smith, Location: Red Room
Peter Right
UCL, London, United Kingdom.
Hovel: A Methodology for the Development of Model Checking.
Preparing for the future, Feb 21st 19, 14:00 - 15:00, Peter Black
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Searching for solutions, Feb 21st 19, 10:00 - 12:00, John Smith, Location: Red Room
Sabrina Woods
UCL, London, United Kingdom.
Choree: Emulation of the Ethernet
Changing attitudes, Feb 21st 19, 10:00 - 12:00, Sally Green
Preparing for the future, Feb 21st 19, 15:00 - 16:00, Peter Black
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room
Searching for solutions, Feb 21st 19, 10:00 - 12:00, John Smith, Location: Red Room
Sharon Yates
Cambridge University, Cambridge, United Kingdom.
An Analysis of the Transistor Using CLIME
Engaging your audience, Feb 21st 19, 15:00 - 16:00
Posters on display, Feb 21st 19, 10:00 - 16:00, Location: Blue Room