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


11 years 6 weeks