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