Home

Curriculum Vitae

This document is also available as a PDF.

View Robin KAY's profile on LinkedIn I'm a Haskeller

Robin KAY
Curriculum Vitae

Contact

21 Gandon Vale
High Wycombe
Bucks, HP13 5LG

+44 (0)7985 268025

komadori@gekkou.co.uk
http://www.gekkou.co.uk/

Employment
2011-present

Altera Europe Ltd
Software Engineer, Advanced

Working within a team developing high-level synthesis tools for programmable logic.

2007-2009

Imagination Technologies Ltd
Graduate Design Engineer

Worked within a team developing and maintaining drivers and firmware for video decompression silicon-IP. Worked with hardware and simulator teams to aid the design and implementation of new hardware features.

Education
2009-2010

M.Sc., Advanced Computer Science, with distinction.
University of Birmingham

Principle research project concerned the semi-automatic transformation of interpreters into just-in-time (JIT) compilers. Developed both an abstract model using Haskell and a practical implementation based on LLVM in C++.

2004-2007

B.Sc., Computer Science, 1st class.
University of Hull

Open Source
2010-present

HsQML – high-level Haskell bindings for Qt QML
Developed a library for interfacing Haskell programs with declarative user-interfaces authored using Nokia’s QML technology.

2005-2007

fsrewrite – command line utility
Developed a utility for Solaris which allows non-privileged users to run programs in an environment where file-system paths can be virtually remapped.

2001-2004

xine – open-source media player
Contributed hardware accelerated video scaling and colour space transformation support for several graphics cards used in Sun workstations. Made various other Solaris specific fixes and enhancements.

Skills

Embedded and System-level Programming
Commercial experience developing software for resource constrained embedded devices using both C and assembly languages, as well as experience of driving hardware on desktop platforms. Experience of working with SystemC based hardware models and C++.

Scripting and Tool Development
Commercial experience of developing small tools in C and Perl to perform task automation and data analysis. Also competent developing in Java and C#.

Functional Programming
Experience of using Haskell and its common extensions to develop small programs and libraries for personal and academic use. Some experience of Scheme.

Memberships
2010-present

Professional Member of the Association for Computing Machinery

2007-present

Associate Member of the British Computer Society (BCS)

Last updated 2011.03.01

Robin KAY <komadori@gekkou.co.uk>