Academia

Sort by:

Haskell with Lennart Augustsson

"We might be coming back to these languages that make it easier to program parallel machines." Haskell is a purely functional programming language that employs lazy

Racket with Matthew Flatt

“I think what functional programming does is codify what we’ve discovered are good ways to think about problems most of the time.” Racket is a functional programming language

Automating the CS Classroom with Prah Veluvolu

Mimir is a platform that helps schools scale up their computer science program. It provides automated code grading, plagiarism checking, code quality analysis and additional course

Robot-Human Interaction with Stefanie Tellex

Robots sometimes need help from humans when solving complex problems. Successfully solving a problem often demands a strong model for communication and well-trained robots. Stefanie