Author Index

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