[SystemSafety] Research topics

Martyn Thomas martyn at thomas-associates.co.uk
Mon Jul 15 16:27:46 CEST 2013


I attach a slightly modified Grand Challenge talk that I gave about 10
years ago, based on a proposal that I had worked on with the help of
Tony Hoare.

Any significant progress towards this would be worth a PhD, in my
opinion. Let me know if you decide to head down this path and if I can
help ...

Regards

Martyn
Martyn Thomas CBE FREng
Vice President, Royal Academy of Engineering
Chair, IT Policy Panel, Institution of Engineering and Technology

On 15/07/2013 09:03, René Senden wrote:
> Not necessarily, e.g. a research topic for a PhD research.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20130715/f2bf3aaa/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: on being grand enough.ppt
Type: application/vnd.ms-powerpoint
Size: 68608 bytes
Desc: not available
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20130715/f2bf3aaa/attachment-0001.ppt>


More information about the systemsafety mailing list