Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  



AISB opportunities Bulletin Item

PhD studentship in probabilistic model checking, Oxford (U.K.)


One Doctoral Studentship is available in association with ERC Advanced Grant VERIWARE led by Professor Marta Kwiatkowska. For more information see:

Two one year Research Assistant positions (Grade 6 and Grade 7) in probabilistic model checking are expected to be announced shortly, supervised by Professor Marta Kwiatkowska and Dr Dave Parker.

The successful applicants will be working with the probabilistic model checker PRISM (http://www.prismmodelchecker.org/).

Informal enquiries enclosing CVs should be sent to Professsor Marta Kwiatkowska, email Marta.Kwiatkowska@comlab.ox.ac.uk, before 15th November 2010.

Professor Marta Kwiatkowska
Fellow of Trinity College
Director of Graduate Studies

Oxford University Computing Laboratory
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509 (office)
Email: Marta.Kwiatkowska@comlab.ox.ac.uk
URL: http://web.comlab.ox.ac.uk/people/Marta.Kwiatkowska/