Tingting Han, based in China, is currently a Lecturer in Computer Science at Birkbeck, University of London, bringing experience from previous roles at University of Oxford and RWTH Aachen University. Tingting Han holds a 2005 - 2009 Doctor of Philosophy (PhD) in Computer Science @ RWTH Aachen. With a robust skill set that includes Formal Verification, Model Checking, Mathematical Modeling, Algorithms, LaTeX and more, Tingting Han contributes valuable insights to the industry. Tingting Han has 3 emails on RocketReach.