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