Keshav Kini

I'm a project officer working under the supervision of Dmitrii Pasechnik at MAS, SPMS, CoS, NTU.

Some stuff that I'm working on:

• teaching tutorial groups T9 and T12 for Chan Song Heng's class "MTH 111 - Foundations of Mathematics", Fall term 2010
• managing a collection of implementations of the Weisfeiler-Leman partition refinement / graph stabilization algorithm, including my own updated version of "STABIL" written by Luitpold Babel and Dmitrii Pasechnik
• with Dr. Pasechnik, a package, cohcfg, for the open computer algebra system GAP4