Boston Computation Club

Artem is a PhD student in computer science at Northeastern University, advised by Professor Jan Vitek. Prior to joining the Khoury PhD program, Artem worked as an Assistant Professor at Southern Federal University in Russia, where he earned his MSc and BSc. Today Artem joined us to present about linear Haskell, a version of / feature-set for Haskell allowing "linear" types. Artem explained linearity, why it might be useful, and why adding linear types to an existing (non-linear) language can be

"Café Events" are small, informal events where we discuss our research and our (perhaps, unfulfilled) research interests. Our ongoing "Biology Café" series is exactly that, but focused on topics at the intersection of biology and computation. Today's presentation by Sophia von Hippel covered the open, and very important, problem of developing a mathematical language for chemistry. Chemistry has a great diagrammatic syntax, but a (or, multiple) terrible prose representation. Sophia presents the

Maria is a PhD student in Computer Science at Purdue University, where she works with Dr. Dan Goldwasser on neural-symbolic methods to model natural language discourse, among other things. Today she presented her recent project DRaiL, "an open-source declarative framework for specifying deep relational models, designed to support a variety of NLP scenarios." [ Paper ] [ Maria ][ Code ][ Video ][ Boston Computation Club ]

Carlo is a postdoc in the Computer Science Department at Carnegie Mellon University, where he received a Ph.D. under Robert Harper. He previously studied at Indiana University Bloomington, where he received a B.S. in Mathematics and in Computer Science. Today Carlo joined us to discuss Homotopy Type Theory, a new foundations for mathematics based on a recently-discovered connection between Homotopy Theory and Type Theory. Carlo explains intuitively what Homotopy Type Theory is and how it is used,