personal bio of "Iain" {

 greeting: "Howdy!"
 job title: "Computer Scientist"
 elevator: "Pragmatic theoretician"

 begin research interests

 - bind(Interest.class).to(SoftwareEngineering.class); 

 - theorem proving: "often ∈ isabelle"
      by auto

 - get(put(bidirectional, transforms)) = transforms

 - (Tundefined) ≡ T
  
 end research interests
}