Iain Bate, Visiting Professor

Iain Bate is a Senior Lecturer in Real-Time Systems at the University of York. He frequently performs consultancy related to the development and certification of systems for a range of international companies. He is the director of a University spin off working in the safety sector. Iain is a member of both the High Integrity Systems Engineering and Real-Time Systems groups at UoY, two of the internationally most reputed groups in their fields. UK Ministry of Defence, as well as Phillips, BAE SYSTEMS, and Airbus, are currently supporting his work. His research on novel approaches to developing and assuring dependable real-time systems is widely published in more than 80 papers in top conferences and journals, e.g., in 2009, he had five papers relevant to SYNOPSIS accepted in premier journals, including the IEEE Transactions on Software Engineering, Computers and Industrial Informatics. He is also the Editor-in-Chief of the J. of Systems Architecture.

PhD students supervised as assistant supervisor:

Omar Jaradat