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


2 years 2 weeks