Assaf Kfoury

Assaf Kfoury is a professor of computer science at Boston University. He is currently teaching principles of programming languages, formal methods, and other aspects of mathematical logic in computer science.