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...


Read More...

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...


Read More...

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...


Read More...

Lighthill Debates

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


Read More...
0123

Notice

AISB opportunities Bulletin Item

PhD position in coalgebraic logics, Glasgow, SCOTLAND


******************************************************************
***                               PhD Position
***
***            Coalgebraic Logics for intelligent data access
***
***         Mathematically Structured Programming Group
***                     University of Strathclyde
***
******************************************************************

Applications are invited for PhD study under the supervision of Dr
Clemens Kupke and Prof Neil Ghani in the area of coalgebra, category
theory and logic with a special focus on linking the coalgebraic theory
to applications in databases. The position is fully funded for EU
students and will last for 3 years.

The successful applicant will have a good degree or an MSc in
Mathematics or Computer Science or a related subject with a strong
Mathematics or Computer Science component. Ideally, they will also have
a strong, documented interest in doing research. Strong mathematical
background and problem-solving skills are essential.

The Mathematically Structured Programming Group's vision is to use
mathematics to understand the nature of computation, and to then turn
that understanding into the next generation of programming languages.
This reflects the symbiotic relationship between mathematics,
programming, and the design of programming languages --- any attempt to
sever this connection will diminish each component. In order to achieve
these research goals we mainly use ideas from category theory, logic,
type theory and functional programming. Besides Prof Neil Ghani and Dr
Clemens Kupke, the group consists of a number of internationally leading
researchers including Dr Patricia Johann, Dr Conor McBride and Dr Sam
Lindley as well as a number of PhD students.

The University of Strathclyde (http://www.strath.ac.uk) is located in
the heart of Glasgow, which Lonely Planet Travel Guides hail as "one of
Britain's largest, liveliest and most interesting cities"
(http://www.lonelyplanet.com/worldguide/scotland/glasgow/). Southern
Scotland provides a particularly stimulating environment for researchers
in theoretical computer science, with active groups in this area at
Heriot-Watt University, the University of Edinburgh, the University of
Glasgow, the University of St. Andrews, and the University of Strathclyde.

Anyone interested should contact Dr Clemens Kupke whose email address is
"clemens.kupke at strath.ac.uk"  and outline their academic background.
Applications will be considered starting from 15 April 2013.