Max Kanovich

Professor of Computer Science

University College London
Dept. of Computer Science
London WC1E 6BT
United Kingdom

Group: Programming Principles, Logic and Verification (PPLV)


Research | Recent Publications | Publications | Teaching

Research  Back to Top

The general aim of my research is to introduce comprehensive logical systems that automatically exploit peculiarities of the problems under consideration, and to show that such logical systems can indeed achieve a significant speedup over the traditional ones. In particular, I am looking for:

Teaching: Selected Courses
(Queen Mary, University of London, School of Electronic Engineering and Computer Science)  Back to Top

__________________________________________________
Max Kanovich (mik at eecs.qmul.ac.uk)