CS PhD. researching applications of functional languages.