Current (Research) Projects/Activities

i.  Efficient Algorithms for the problem of Coincidence in Multiple recurrence.

ii. Ontological Analysis of Abstract domain entities.

iii. Logical theories of Spatial Qualification (with Pat Bassey)