Home Page for Noah Torp-Smith

Together with my wife Camilla, I have created a more personal web site (unfortunaltely mostly in Danish, but you might find your way to, e.g. our pictures anyhow). If you want to keep track of me and what I am up to, that is probably the place to look. The new page may be found here.

I have followed courses within different areas of theoretical computer science during my Ph. D. studies. The main interests have been in category theory and domain theory, but I have also studied calculi for mobility and concurrency.

My research is primarily focussed on separation logic, which is a logic that was discovered independently by Peter O'Hearn and John Reynolds. It is well suited to reason about programs that manipulate shared mutable data structures. In my master's thesis, I used separation logic to formally specify and prove correct a copying garbage collector. I have also worked on combining separation logic and refinement, and currently, I am looking into categorical models for separation logic. See the list of papers below.

My Ph.D. study plan is available here (to help new students to write their own study plans). If you are a new Ph.D. student at ITU, you might find this guide to making study plans useful.