145 reputation
5
bio website cs.mcgill.ca/~bsprot1
location Ottawa, Canada
age
visits member for 2 years, 11 months
seen yesterday

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. In particular, I am trying to use monads and comonads to do basic physics and as such am studying Haskell as a way to refine my thinking.


145 Reputation

5 Feb 9
+5 00:39 upvote
5 Nov 28 '13
+5 12:36 upvote
5 Sep 10 '13
+5 11:10 upvote
5 Jun 8 '13
5 Mar 6 '13
2 Aug 22 '12
10 Jul 25 '12
100 Jun 6 '12
2 Jun 5 '12
5 Jun 3 '12