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