Blog
/ Academics & Research
class sketching an adventure in speedrunned pedagogy

intersection of math and CS, is that we want formal models of computation to ... determine whether it belongs to a language or not. Formally, we will create ... whether or not they belong to the language? And the answer is yes.
Things