IJCAI Inc / Hewlett-Packard / Cambridge University Press / MIT Press / Computer Sciences / Volvo / Parallel Information Systems / Andrew Ireland / IPL / CADE Inc. / Siemens / Rutherford Labs / IBM / Mathematical Reasoning Group / Nokia / Tracts / Trustworthy Ambient Systems / Praxis High Integrity Systems Ltd / /
Country
Netherlands / United Kingdom / Belgium / Ireland / /
Currency
EUR / /
Event
Layoffs / /
Facility
Heriot-Watt University / Newcastle University / Edinburgh University / University of Edinburgh / University of Southampton / Narvik University College / EPSRC Peer Review College / port System / /
IndustryTerm
software system / software engineering / Hardware systems / Siemens / automated software engineering / data-mining / main site / extract software / software development / software development proofs / automotive systems / software development applications / search space / proof search / secure software / industrial software engineers / high integrity software verification / software modelling / automated proof search / lightweight tool / formal methods tools / software specification / exhaustive search / SAP / software systems / A lot of unnecfrom other systems / software verification / rail systems / validation tool / Bosch / /
MusicGroup
D12 / /
Organization
Cambridge University / Edinburgh University / Newcastle University / Royal Academy of Engineers / EPSRC Peer Review College / Royal Society of Edinburgh / IBM Vienna Lab / University of Edinburgh / US Federal Reserve / European Union / School of Mathematical and Computer Sciences / MIT / Division of Informatics / AISB / Heriot-Watt University / Scottish Science Advisory Committee / Narvik University College / University of Southampton / School of Mathematical / Royal Society / ITEC Foresight Panel / /
Person
Alan Bundy / Koen Claessen / Tony Hoare / Cliff B Jones / Michael Butler / Computational Logic / Gudmund Grov / John Hughes / Alan Robinson / Phil Trans / /
Position
Butler / Head / engineer / author / designer / Professor of Computer Science / tooling coordinator / undergraduate mathematics lecturer / principal investigator / co-investigator / Consultant / research assistant / one of the founders of the seminal VDM research / Co-Chair / Chair / Programme Chair / member / /
PublishedMedium
Theoretical Computer Science / /
Region
North Holland / /
Technology
LAN / artificial intelligence / video conferencing / animation / /
Case for support projects — most recently venturing into interdisciplinary research, when he led the six year Dependability IRC.1 He also has a Platform grant (TrAmS) on “Trustworthy Ambient Systems”.