chrsva

Sweden

Age: 27

I am a computer science student, currently working in the research group on Software Engineering using Formal Methods at Chalmers University of Technology.