Daniel Brown —dbrown@ccs.neu.edu — vita
PhD student working on
programming languages with
Riccardo Pucellain the
Programming Research Labin the
College of Computer and Information Scienceat
Northeastern Universityin
Boston
programming languages with
Riccardo Pucellain the
Programming Research Labin the
College of Computer and Information Scienceat
Northeastern Universityin
Boston
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.
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), 2009Teaching
CS 2510H Fundamentals of Computer Science 2 (honors) spring 2011 CS 2500 Fundamentals of Computer Science 1 fall 2010 CS 2500 Fundamentals of Computer Science 2 spring 2010 CS 2500 Fundamentals of Computer Science 1 fall 2009 CS U290 Logic and Computation spring 2009 CS U200 Discrete Structures fall 2008 CS U200 Discrete Structures (instructor) spring 2008 CS U200 Discrete Structures fall 2007
