I'm a graduate student in the [WatForm][watform] group at University
of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m interested in
using formal methods, especially type systems, to help make software
more reliable.
I'm a graduate student in the [WatForm][watform] group at University
of Waterloo, supervised by [Dr. Nancy Day][nday]. I’m interested in
using formal methods, especially type systems, to help make software
more reliable.