Tom Divers

2nd year PhD student at the University of Bristol's PLRG

Supervisors: Meng Wang, Eddie Jones

General info:

• Tom.Divers [at] bristol.ac.uk
• CV (my LaTeX is a lot better than my HTML/CSS)
• Github

Research interests:

• C to Rust translation
• Type systems for Rust
• Game semantics