Gender: Male
Sergei Nikolaevich Artemov is a Russian-American researcher in logic and its applications. He currently holds the title of Distinguished Professor at the Graduate Center of the City University of New York where he is the founder and head of its research laboratory for logic and computation. His research interests include proof theory and logic in computer science, optimal control and hybrid systems, automated deduction and verification, epistemology, and epistemic game theory. He is best known for his invention of logics of proofs and justifications.
Source: Wikipedia | Last updated on April 24, 2024
On the name Sergei N. Artemov, Sergei means Attendant, Protector, Shepherd.
The name Sergei N. Artemov is often used as a Male name and is mostly used as a First Name.
Sergei is commonly found in Russia, Kazakhstan, Israel, and 75 more countries.
Learn how to pronounce Sergei N. Artemov correctly by listening to our 13 audio pronunciations. Click to hear each pronunciation as many times as you need to master it.
✨ Record yourself saying Sergei N. Artemov correctly and help others pronounce it like a pro! Share your pronunciation of Sergei N. Artemov with us. Record, preview and send! It's easy and helps everyone. ✨
Learn how Sergei N. Artemov might sound in different languages or accents. Select from a variety of languages available in the dropdown and hit 'Pronounce' to hear Sergei N. Artemov spoken.
At NamesLook, the name Sergei is recorded 12,748 times globally, ranking it as the 4,628th most common name worldwide.
Sergei is most prevalent in Russia, with 7,599 occurrences, making it the 196th most popular name in the country.
In Estonia, the name Sergei is found among 1 in every 22 people, showcasing its highest frequency there.
| Country | Rank | Frequency |
|---|---|---|
| Russia | #196 | 1 : 54 |
| Kazakhstan | #709 | 1 : 278 |
| Israel | #1,180 | 1 : 514 |
| Estonia | #6 | 1 : 22 |
| United States of America | #4,598 | 1 : 3,213 |
| Palestine | #1,406 | 1 : 812 |
| Finland | #660 | 1 : 533 |
| France | #5,709 | 1 : 6,180 |
| Italy | #6,758 | 1 : 6,462 |
| Germany | #2,707 | 1 : 2,049 |
This chart displays the ranking of the name Sergei from 1980 to 2023, based on the most recent data from the U.S. Social Security Administration.
Sergei Nikolaevich Artemov is a Russian-American researcher in logic and its applications. He currently holds the title of Distinguished Professor at the Graduate Center of the City University of New York where he is the founder and head of its research laboratory for logic and computation. His research interests include proof theory and logic in computer science, optimal control and hybrid systems, automated deduction and verification, epistemology, and epistemic game theory. He is best known for his invention of logics of proofs and justifications.
Find the ideal nickname for Sergei N. Artemov (or someone you know) with our Free Nickname Generator.
Got any cool facts or stories about the name Sergei N. Artemov? We're all ears! Share your knowledge or experiences and help us enrich the story of Sergei N. Artemov. Drop your info in the comments!
No comments to display. Be the first to comment.
Hello there! I'm the passionate mind behind NamesLook & LotsLook Network sites, dedicated to bringing you insightful and intriguing content on every page. Discover more about me and the journey of NamesLook at About section.