Now hiring!
I am advertising, together with George Constantinides, two research positions on a new EPSRC project titled A higher-order approach to co-design. We are building new semantic and type-theoretic models of programming langugages to help produce better compilation methods for heterogeneous (CPU and FPGA) architectures.
The project has a theoretical track in Birmimgham (types and semantics, particularly game semantics) and an applied track at Imperial (FPGA design, EDA, applications). We are looking for candidates who are great thinkers and problem-solvers, willing to learn cutting-edge theory and deploy it in the development of practical tools.
If interested please email me directly: dan@ghica.net!
Research
I research programming languages. The tools that I use in their study are type systems and semantics, particularly game semantics. The main problem I try to solve is compiling conventional programming languages on unconventional architectures. I like to call this seamless computing. For more details you can:
- Watch a talk I gave on the topic of seamless computing (departmental seminar)
- Read a fairly accessible introduction to and history of Game Semantics (LICS'09)
- Read a slightly more technical introduction to the Geometry of Synthesis (MEMOCODE'11)
I have a small collection of research talks on Vimeo.
Activities
I am a founding co-chair, with Guy McCusker, of the workshop Game Semantics for Logic and Languages (GaLoP).
I have been an invited speaker at LICS 2009, LOLA 2010, MEMOCODE 2011, MPC 2012.
I have served on the program committee of TLCA 2009, LICS 2010, POPL 2012, FSTTCS 2013, MFPS 2011 and 2013, FOSSACS 2009 and 2013 as well as a number of workshops.
