Andrei Voronkov

Summary

Andrei Voronkov is a human^[1]. He was born on May 14, 1959^[2]. He worked as a computer scientist^[3] and university teacher^[4]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (21 views/month, #7,298 of 1,000,298).^[5]

Key Facts

• Andrei Voronkov was born on May 14, 1959^[2].
• Andrei Voronkov held citizenship in Sweden^[6].
• Andrei Voronkov's professions included computer scientist^[3].
• Andrei Voronkov's professions included university teacher^[4].
• Andrei Voronkov's field of work was automated reasoning^[7].
• Andrei Voronkov's field of work was formal methods^[8].
• Andrei Voronkov was employed by University of Manchester^[9].
• Andrei Voronkov's education included a stint at Novosibirsk State University^[10].
• A notable work attributed to Andrei Voronkov is EasyChair^[11].
• A notable work attributed to Andrei Voronkov is Vampire theorem prover^[12].
• Andrei Voronkov received the Herbrand Award^[13].
• Andrei Voronkov is recorded as male^[14].
• Andrei Voronkov's instance of is recorded as human^[15].
• Andrei Voronkov earned the academic degree of Doctor of Philosophy^[16].
• Andrei Voronkov's family name is recorded as Voronkov^[17].
• Andrei Voronkov's given name is recorded as Andrey^[18].
• Andrei Voronkov's official website is recorded as http://voronkov.com/^[19].
• Andrei Voronkov's name in native language is recorded as {'lang': 'ru', 'text': 'Андрей Александрович Воронков'}^[20].

Body

Origins and Family

Andrei Voronkov was born on May 14, 1959^[2].

Education

Andrei Voronkov was educated at Novosibirsk State University^[10]. He earned the academic degree of Doctor of Philosophy^[16].

Career and Affiliations

Recorded occupations include computer scientist^[3] and university teacher^[4]. Fields of work include automated reasoning^[7], a branch of science^[21] and formal methods^[8]. Andrei Voronkov was employed by University of Manchester^[9].

Works and Contributions

Notable works include EasyChair^[11], an event management software^[22] and Vampire theorem prover^[12], a proof assistant^[23], in United Kingdom^[24].

Recognition

Andrei Voronkov received the Herbrand Award^[13].

Why It Matters

Andrei Voronkov ranks in the top 0.73% of human entities by monthly Wikipedia readership (21 views/month, #7,298 of 1,000,298).^[5] He is known by 8 alternative names across languages and contexts.^[25]

FAQs

What did Andrei Voronkov do for work?

Andrei Voronkov worked as computer scientist^[3] and university teacher^[4].

Where did Andrei Voronkov go to school?

Andrei Voronkov was educated at Novosibirsk State University^[10].

What awards did Andrei Voronkov receive?

Honors received include Herbrand Award^[13].