Home » user account

Thomas_C

Personal information


M.Sc. student in Computer Science @ University of Ã…rhus, Denmark.

Currently doing my master thesis on adding type reconstruction to the formal specification language VDM++.

History


18 years 2 weeks