User:Jaywalker

From Wikipedia, the free encyclopedia

You have new messages (last change).

I'm a student of Dependable Computer Systems at Chalmers University of Technology, Sweden. My interests include Formal Methods for Software, Mathematical Logic and Distributed Computing.

Retrieved from "http://en.wikipedia.org../../../j/a/y/User%7EJaywalker_382a.html"