Nissim C.

Nissim C. is a Computer Science Supervisor at the University of Cambridge since October 2022, focusing on teaching undergraduate courses including Type Theory and Logic & Proof. Prior experience includes a role as a Software Developer at Theodo UK, where responsibilities encompassed full-stack web and mobile development, and a Computer Scientist position at LexSnap, specializing in AI-powered semantic search engines. Nissim C. has also engaged in internships at LexSnap and the University of Cambridge, gaining experience in full-stack development and research in online teaching methods. Nissim C. holds a Master of Engineering and a Bachelor of Arts in Computer Science from the University of Cambridge, as well as a French Baccalaureate from Ecole alsacienne.