Ben Kavanagh

Current

• PhD student at University of Edinburgh

Past

• Intern at Humphrey Systems

Education

• The University of Edinburgh
• University of California, Berkeley

Connections

35 connections

Industry

Computer Software

Ben Kavanagh’s Summary

Researcher in domain specific languages offering correctness guarantees for well formed programs (resource usage, information confidentiality, numeric correctness). My research focuses on meta level reasoning to find flaws in type systems.
Industrial programming expertise in financial engineering, security, and 3D simulators (VR) on a variety of computation platforms (embedded, distributed, parallel).
Goal. To design a new programming language to manage coordination of different intelligent agent techniques. To use this language to create an agent that will be my secretary.

Ben Kavanagh’s Specialties:

I'm good at finding flaws in metatheoretic reasoning. I have coded just about every parser known to man as arrow combinators. I can understand and code up stochastic differential equations. I'm very good at disproving subject reduction theorems.

Ben Kavanagh’s Experience

• PhD student

  University of Edinburgh

  (Computer Software industry)

  October 2003 — Present (5 years 10 months)

  Building a programming language protoyper. Designing concise ways to represent programming language definitions in a modular fashion, configurable heuristics to model check important metatheoretical properties, and strategies to compile definitions into reasonably efficient executable evaluator and type checker.

• Intern

  Humphrey Systems

  (Computer Software industry)

  1991 — 1991 (less than a year)

Ben Kavanagh’s Education

• The University of Edinburgh

  PhD , Informatics/Computer Science , 2003 — 2007

• University of California, Berkeley

  BS , EECS , 1988 — 1992

Ben Kavanagh’s Contact Settings

Interested In:

• consulting offers
• expertise requests
• reference requests
• getting back in touch