Andrei Voronkov is affiliated with the University of Manchester in the United Kingdom. Their work spans multiple areas within computer science and medicine, reflecting interdisciplinary engagement. The main fields of study for their publications include Computer Science, with 33 contributions, and Medicine, with 2 contributions.
The subfields of study demonstrate a focus on Artificial Intelligence, covering 23 publications, along with Computational Theory and Mathematics represented by 8 works. Additional interests include Hardware and Architecture, Software, and Pediatrics, Perinatology and Child Health.
The primary topics explored by Voronkov involve logical systems and formal verification techniques. These include:
Their recent published papers illustrate the scope of research and its evolution over recent years. The listed works are:
Collaborative efforts appear significant in their research activity. Frequent co-authors include:
Publications have appeared in venues such as reposiTUm (TU Wien), Kuban Scientific Medical Bulletin, and arXiv (Cornell University), reflecting both traditional peer-reviewed outlets and open-access repositories.
Evgeny Dantsin;Thomas Eiter;Georg Gottlob;Andrei Voronkov
Alan Robinson;Andrei Voronkov
Alexandre Riazanov;Andrei Voronkov
Laura Kovács;Andrei Voronkov
Andrei Voronkov
Nikolaj Bjørner;Nikolai Tillmann;Andrei Voronkov
Laura Kovács;Andrei Voronkov
Kryštof Hoder;Andrei Voronkov
E. Dantsin;T. Eiter;G. Gottlob;A. Voronkov
Alexandre Riazanov;Andrei Voronkov
Alexandru Constantin;Steve Pettifer;Andrei Voronkov
John Alan Robinson;Andrei Voronkov
Andrei Voronkov
Andrei Voronkov
J. Robinson;Andrei Voronkov
R. Sekar;I. V. Ramakrishnan;Andrei Voronkov
Alexandre Riazanov;Andrei Voronkov
Alexandre Riazanov;Andrei Voronkov
Alexandre Riazanov;Andrei Voronkov
Anatoli Degtiarev;Y Gurevich;A Voronkov
Laura Kovács;Andrei Voronkov
R. Sekar;I.V. Ramakrishnan;Andrei Voronkov
If you think any of the details on this page are incorrect, let us know.
As you consider studying Computer Science in the USA, it’s worth exploring related online degrees that open doors to versatile tech careers. Engineering fields like cheapest mechanical engineering degree online offer practical knowledge for roles in robotics, automation, and manufacturing. If you are interested in foundational sciences, you may check out affordable online physics degrees to build analytical and problem-solving skills valued in programming and research roles.
Data is transforming industries, making data science programs highly relevant for students keen on analytics, AI, or big data. For those drawn to technology and circuits, online electrical engineering courses USA offer remote study options for a field that overlaps with computer hardware, networking, and embedded systems.
These online degree pathways not only make advanced education more affordable and flexible, but also broaden career opportunities in tech, research, and engineering—whether you’re just starting out or upskilling for the future.
University of Strasbourg
University of Kansas
Maastricht University
University of Queensland
Brown University
King's College London
Lund University
National Taiwan University
Cornell University
University of North Carolina at Chapel Hill
Zhejiang Normal University
California Institute of Technology
University of Washington
Hudson Institute of Medical Research
Université Libre de Bruxelles
Georgetown University
