Professor
Professor Kfoury is a professor of computer science currently teaching principles of programming languages, formal methods, and other aspects of mathematical logic in computer science. For more information refer to his webpage www.cs.bu.edu/~kfoury