Personal profile
Research interests
PhD Student in the Programming Languages Research Group, supervised by Meng Wang and Eddie Jones. Currently working on the following topics:
- Equational reasoning and term rewriting
- C to Rust translation
- Algorithmic complexity of PL problems
Fingerprint
Dive into the research topics where Tom Divers is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles