Faris Abou-Saleh

Research Member of Common Room

Research Assistant

Department of Computer Science


My research area is semantics in computer science — in particular, how to formalize the idea of maintaining consistency between different, but overlapping, data sources when one of them changes. I am also interested in dependently-typed programming, which is a cool way to write provably-correct programs.

My hobbies include piano (mostly arrangements of anime music), reading, languages, and dancing. I also hope to take up creative writing while I am here at Kellogg.