Assaf Kfoury

Professor Assaf Kfoury is a Professor of Computer Science currently teaching about programming languages and type theory. His current research is in internet programming through the iBench initiatve as well as the Church Project, which investigates the foundations, design principles and implementation techniques of programming languages. His research interests have been about the many interactions between Mathematical Logic and Computer Science broadly speaking (hereafter: Math Logic in CS), which have thus included such things as type theory, the lambda-calculus, static analysis, recursion theory, and less fashionable areas (yes, there are fashions in scientific research) such as the theory of program schemas (closely related to something called abstract computability and something else called abstract interpretation). From time to time, I venture outside the boundaries of Math Logic in CS, into such areas as graph theory and applied algorithms, or mathematical aspects of system networking, and sometimes into areas requiring some system development (coding of software packages).

Personal Website