My interests are in the fields of logic, graph theory, computation theory, and the design of algorithms.
Mapping Mathematics with Theory Graphs A Case Study and a Prototype