Andrei Voronkov University of Manchester Solving Systems / University of Manchester / European Computer Industry Research Centre / Institute of Mathematics / Novosibirsk State University / Uppsala University / /
IndustryTerm
automatic document processing / Web services / /
Organization
European Computer Industry Research Centre in Munich / University of Manchester / Austrian Society of Computer Science / Institute of Mathematics in Novosibirsk / Andrei Voronkov University of Manchester Solving Systems of Linear Inequalities / Uppsala University / Department of Computer Science of Johannes Kepler University Linz1 / Novosibirsk State University / /
Person
Andrei Voronkov / Armin Biere / Johannes Kepler Universitity Linz / Monika Neubauer Johannes / /
Position
researcher / tutorial speaker / programme chair / Professor / Speaker / Professor of Formal Methods / /