Month: April 2015

SICSA Seminar: “From rats to robot navigation and beyond” by Dr Michael Milford

The School of Computer Science welcomes Dr Michael Milford from Queensland University of Technology, Australia who is meantime visiting Scotland. Abstract: The brain circuitry involved in encoding space in rodents has been extensively tested over the past forty years, with an ever increasing body of knowledge about the components and wiring involved in navigation tasks. … SICSA Seminar: “From rats to robot navigation and beyond” by Dr Michael Milford

Another Successful PhD Viva

Congratulations to To Masih Hajiarabderkani, who has successfully defended his PhD thesis. Pictured celebrating with supervisor Dr Graham Kirby and Internal examiner Dr John Thomson.

PhD Viva Success

Congratulations to Ruth Hoffmann and Jonathan Ward who passed their PhD vivas earlier this week. Ruth is pictured with Dr Tom Kelsey (internal examiner) and Jonathan (top left) with his PhD supervisor Dr Adam Barker. We look forward to celebrating their achievements at June Graduation.

Type-driven Verification of Communicating Systems in Idris

Speaker: Edwin Brady Abstract: Idris (http://idris-lang.org/) is a general-purpose programming language with an expressive type system which allows a programmer to state properties of a program precisely in its type. Type checking is equivalent to formally and mechanically checking a program’s correctness. Introductory examples of programs verified in this way typically involve length preserving operations … Type-driven Verification of Communicating Systems in Idris