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


17 years 20 weeks