Our seminar series is free and available for anyone to attend. Unless otherwise stated, seminars take place on Wednesday afternoons at 2pm in the Kilburn Building during teaching season.

If you wish to propose a seminar speaker please contact Antoniu Pop.


The Geometry of Synthesis: How to make hardware out of software

  • Speaker:   Dr  Dan Ghica  (University of Birmingham)
  • Host:   Gavin Brown
  • 7th December 2011 at 14:15 in Kilburn Lecture Theatre 1.4
Compared to CPUs, custom circuits can be faster, use less energy and be less susceptible to tampering, so there are situations when rather than executing a computer program on a processor, as is usually the case, it is desirable to generate a fixed, static, custom-designed digital circuit which implements its behaviour. This problem, "hardware compilation", raises many difficult conceptual and technical challenges, one of which is the synthesis of function calls. I will describe the progress we made in solving this problem, by using recent theoretical developments from programming language theory. I will also describe a prototype compiler constructed using this approach.

Bio (if required): Dan R. Ghica is a Senior Lecturer in Computer Science at the University of Birmingham, UK. His research concerns the application of programming-language theoretical ideas such as game semantics, type systems, and category theory, to automated program verification and hardware synthesis. He obtained his PhD in Computer Science in 2002 from Queen's University, Canada, after which he worked as a postdoctoral researcher at the University of Oxford (2002-2005). In 2005 he joined the University of Birmingham as a Lecturer. Between 2006-2011 he held a prestigious EPSRC Advanced Research Fellowship, titled "A Unified Approach to Compositional Software Modelling, Analysis and Verification".
▲ Up to the top