Professor
East Building East Building 2.2-4-6 Desk 20
Dept of Computer Science
Email: n.n.vorobjov@bath.ac.uk
Tel: +44 (0) 1225 38 6104
Prof Nicolai Vorobjov
Profile
Research interests
Held research and teaching positions at St Petersburg State University, Mathematical Steklov Institute (Russia), Cornell University and Pennsylvania State University (USA). Research interests are in Computer Algebra (in particular, in computational algebraic geometry) and other areas of Theoretical Computer Science.
Publications
Basu, S., Gabrielov, A. and Vorobjov, N., 2013. Monotone functions and maps. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales. Serie A. Matematicas, 107 (1), pp. 5-33.
Basu, S., Gabrielov, A. and Vorobjov, N., 2013. Semi-monotone sets. Journal of the European Mathematical Society, 15 (2), pp. 635-657.
Korovina, M. and Vorobjov, N., 2012. Reachability in one-dimensional controlled polynomial dynamical systems. In: Clarke, E., Virbitskaite, I. and Voronkov, A., eds. Perspectives of systems informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Berlin: Springer, pp. 251-261.
Gabrielov, A. and Vorobjov, N., 2009. Approximation of definable sets by compact families, and upper bounds on homotopy and homology. Journal of the London Mathematical Society, 80 (1), pp. 35-54.
Korovina, M. and Vorobjov, N., 2008. Bounds on sizes of finite bisimulations of Pfaffian dynamical systems. Theory of Computing Systems, 43 (3-4), pp. 498-515.
