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