Daniel Brown dbrown@ccs.neu.edu vita
I am interested in the semantics of programming languages and how we can apply them to improve the practice of programming. In particular, I think we have much to gain from the understanding of non-local behaviors like computational effects and contextual dependency through general mathematical structures like monads and comonads.

In my free time I enjoy thinking about functional programming, type theory, mathematical logic, categorical semantics, and coalgebra. In my other free time I enjoy reading, traveling, drinking tea, and listening to electronic music.

Publications

Categories of timed stochastic relations Daniel Brown and Riccardo Pucella Mathematical Foundations of Programming Semantics (MFPS XXV), 2009 Function inheritance: Monadic memoization mixins Daniel Brown and William R. Cook Brazilian Symposium on Programming Languages (SBLP), 2009