GradNova

A

Assaf Kfoury

Professor

Computer Science, Boston University

Research Interests

Computability, Logic, AI Algorithms

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Semigroups and Automata Theory

Academic Metrics

Links

Grants