...joined 4 years ago, and has 173 karma
submissions / comments / favourites
PhD student in formal methods.