If you made any changes in Pure these will be visible here soon.

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.

Qualifications

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

Fingerprint

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.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
If you made any changes in Pure these will be visible here soon.