Personal profile

Research Interests

My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about name generation and secure mobile code.


Doctor of Philosophy (PhD), University of Cambridge, Names and Higher-Order Functions


Dive into the research topics where Ian Stark is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or