AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


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: ( 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 DNA Computing, Oxford, U.K.
Contact: Professor Marta Kwiatkowska,

Funded by a Microsoft Research PhD Scholarship

Oxford University is offering a fully funded D.Phil studentship associated with the project "Automated Verification Techniques for DNA Computing", funded by a Microsoft Research PhD Scholarship. This position will be based in Oxford University's Computing Laboratory, co-supervised by Professor Marta Kwiatkowska from the Computing Laboratory, and Professor Andrew Turberfield from the Department of Physics. There will be an internship opportunity at Microsoft Research Cambridge associated with the studentship, and the student will additionally be co-supervised by Dr Andrew Phillips.

The goal of this project is to develop efficient and scalable techniques for formal verification of DNA computing designs. DNA computing is a new and fast-growing field that aims to engineer artificial computing devices using bio-molecular materials such as DNA. The project will develop new modelling languages and verification techniques, with a particular emphasis on quantitative approaches such as probabilistic model checking. 
The project will work with a variety of techniques, such as symmetry reduction, graph transformation, abstraction and refinement, statistical model checking and verification for systems biology. There will also be a focus on building software tools and validating the techniques developed against experimental data from state-of the art DNA assembly/computation methods.

The studentship is fully funded (at EU fees level - overseas candidates will need supplementary funding) for 3  years and is available from October 2011. The studentship includes a stipend of at least 13,590 per year as well as provision for travel to conferences.

For information on admissions criteria and how to apply see:

The closing date for applications is 28th February 2011.

Informal enquiries enclosing CVs should be sent to Professsor Marta Kwiatkowska, email

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)