Kitty Meeks

My research involves developing new techniques for the design of provably correct and efficient algorithms, and applying these techniques in as many domains as possible - from Social Network Analysis to Precision Medicine. I am particularly interested in parameterised algorithms, counting complexity, and applications of graph theory.