Assaf J. Kfoury

Email: kfoury at cs dot bu dot edu
URL: http://www.cs.bu.edu/~kfoury/
Office: (617) 353-8911; MCS Room 201 C
Fax: (617) 353-6457

RESEARCH:

• Design Principles and Implementation Techniques of Programming Languages: The Church Project
• Internet Programming: The iBench Initiative

TEACHING:

• Geometric Algorithms: CS 132
• Algorithms: CS 530  (graduate)
• Programming Languages: CS 320  (undergraduate), CS 520  (graduate), CS 720  (graduate)
• Software Engineering: CS 511
• Formal Methods: CS 512
• Mathematical Logic and Logic in Computer Science: MA 531, CS 792
• Computer Science Graduate Initiation: CS 697
• Graduate Seminars:
• Theory of Object-Oriented Languages
• Design of a Small Java Compiler
• Programming the Internet