I did my MSc with Lucien Hardy and then worked on the quantum causal dynamics with Prakash Panangaden. I took Dr. Panangaden's course on the semantics of programing languages and now I spend a lot of time thinking about Scott domains and continuous functors. I also like the works of Bob Coecke, Mehrnoosh Sadrzadeh, Jamie Vicary, John Baez, Chris Isham, Colin McLarty, Lawvere, John Bell, Raphael Sorkin, Fotini Markopoulou. I have three main applications that I look at : physics, economic growth and concurrency.
8 Monads and Comonads that interact may 20 '12
4 linear logic, diagrammatic calculus and foundations jun 23 '11
3 symmetric monoidal dagger endofunctor categories aug 2 '14
3 Internal categories in an endofunctor category aug 31 '14