Sergei Obiedkov
- Academic Director:Doctoral School of Computer Science
- Member of the HSE Academic Council
- Sergei Obiedkov has been at HSE University since 2006.
Education
Doctoral programme in Theoretical computer science
Russian State University for the Humanities

Young Faculty Support Program (Group of Young Academic Professionals)
Category "Future Professoriate" (2010-2011)
Courses (2022/2023)
- Reading the Best Doctoral Dissertations in Computer Science (Postgraduate course’s programme; 1 year, 1 semester)Eng
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "02.06.01. Компьютерные и информационные науки", field of study "09.06.01. Информатика и вычислительная техника"; 2 year, 2 semester)Eng
- Past Courses
Courses (2021/2022)
- Reading the Best Doctoral Dissertations in Computer Science (Postgraduate course’s programme; Faculty of Computer Science; 1 year, 1 semester)Eng
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "02.06.01. Компьютерные и информационные науки", field of study "09.06.01. Информатика и вычислительная техника"; 3 year, 2 semester)Rus
- Research Seminar (Postgraduate course’s programme; Faculty of Computer Science)Rus
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "02.06.01. Компьютерные и информационные науки", field of study "09.06.01. Информатика и вычислительная техника"; 1 year, 2 semester)Eng
- Theory of Computation (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Eng
- Theory of Computation (Master’s programme; Faculty of Computer Science; 1 year, 1, 2 module)Eng
Courses (2020/2021)
- Qualification (Postgraduate course’s programme; Faculty of Computer Science; 3 year, 1 semester)Rus
Qualification (Postgraduate course’s programme; Faculty of Computer Science; field of study "02.06.01. Компьютерные и информационные науки", field of study "09.06.01. Информатика и вычислительная техника"; 1 year, 1 semester)Eng
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "09.06.01. Информатика и вычислительная техника", field of study "02.06.01. Компьютерные и информационные науки"; 3 year, 1, 2 semester)Rus
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "02.06.01. Компьютерные и информационные науки", field of study "09.06.01. Информатика и вычислительная техника"; 2 year, 2 semester)Rus
- Research Seminar (Postgraduate course’s programme; Faculty of Computer Science)Rus
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "02.06.01. Компьютерные и информационные науки", field of study "09.06.01. Информатика и вычислительная техника")Eng
- Theory of Computation (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Eng
- Theory of Computation (Master’s programme; Faculty of Computer Science; 1 year, 1, 2 module)Eng
Courses (2019/2020)
- Algorithms and Data Structures (Bachelor’s programme; Faculty of Computer Science; 1 year, 2, 4 module)Rus
- Algorithms and Data Structures 2 (Bachelor’s programme; Faculty of Computer Science; 2 year, 1 module)Rus
Qualification (Postgraduate course’s programme; Faculty of Computer Science; field of study "09.06.01. Информатика и вычислительная техника", field of study "02.06.01. Компьютерные и информационные науки"; 1 year, 1 semester)Rus
- Qualification (Postgraduate course’s programme; Faculty of Computer Science; 2 year, 1 semester)Rus
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "09.06.01. Информатика и вычислительная техника", field of study "02.06.01. Компьютерные и информационные науки"; 2 year, 1, 2 semester)Rus
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "02.06.01. Компьютерные и информационные науки", field of study "09.06.01. Информатика и вычислительная техника"; 1 year, 2 semester)Rus
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "02.06.01. Компьютерные и информационные науки", field of study "09.06.01. Информатика и вычислительная техника"; 3 year, 2 semester)Rus
- Research Seminar (Postgraduate course’s programme; Faculty of Computer Science)Rus
Courses (2018/2019)
- Algorithms and Data Structures (Bachelor’s programme; Faculty of Computer Science; 1 year, 2, 4 module)Rus
- Algorithms and Data Structures-2 (Bachelor’s programme; Faculty of Computer Science; 2 year, 1 module)Rus
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "09.06.01. Информатика и вычислительная техника", field of study "02.06.01. Компьютерные и информационные науки"; 1 year, 1, 2 semester)Rus
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "02.06.01. Компьютерные и информационные науки", field of study "09.06.01. Информатика и вычислительная техника"; 2 year, 2 semester)Rus
- Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; 3 year, 2 semester)Rus
Courses (2017/2018)
- Algorithms and Data Structures (Bachelor’s programme; Faculty of Computer Science; 1 year, 4 module)Rus
- Algorithms and Data Structures 2 (Bachelor’s programme; Faculty of Computer Science; 2 year, 1 module)Rus
- Introduction to Programming (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-3 module)Rus
Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; field of study "02.06.01. Компьютерные и информационные науки", field of study "09.06.01. Информатика и вычислительная техника"; 1 year, 2 semester)Rus
- Research Seminar (Postgraduate course’s programme; Faculty of Computer Science; 2 year, 1, 2 semester)Rus
Courses (2016/2017)
20211
20202
- Article Yarullin R., Obiedkov S. From equivalence queries to PAC learning: The case of implication theories // International Journal of Approximate Reasoning. 2020. Vol. 127. P. 1-16. doi
- Article Borchmann D., Hanika T., Obiedkov S. Probably approximately correct learning of Horn envelopes from queries // Discrete Applied Mathematics. 2020. Vol. 273. P. 30-42. doi
20192
- Chapter Obiedkov S. Learning Implications from Data and from Queries, in: Formal Concept Analysis. ICFCA 2019. Springer, 2019. doi P. 32-44. doi
- Chapter Obiedkov S., Sertkaya B., Zolotukhin D. Probably Approximately Correct Completion of Description Logic Knowledge Bases, in: 32nd International Workshop on Description Logics, DL 2019; Oslo; Norway; 18 June 2019 through 21 June 2019. CEUR-WS.org, 2019. P. 1-10.
20174
- Book Formal Concept Analysis of Social Networks / Ed. by R. Missaoui, S. Kuznetsov, S. Obiedkov. Springer, 2017. doi
- Chapter Ryzhova D., Obiedkov S. Formal Concept Lattices as Semantic Maps, in: CLLS 2016. Computational Linguistics and Language Science. Proceedings of the Workshop on Computational Linguistics and Language Science. Moscow, Russia, April 26, 2016 / Ed. by E. Artemova, D. Ilvovsky, D. Skorinkin, A. Vybornova. Vol. 1886. Aachen : CEUR Workshop Proceedings, 2017. Ch. 10. P. 78-87.
- Chapter Borchmann D., Hanika T., Obiedkov S. On the Usability of Probably Approximately Correct Implication Bases, in: Formal Concept Analysis: 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings Vol. 10308. Cham : Springer, 2017. doi P. 72-88. doi
- Article Obiedkov S. Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics // Theoretical Computer Science. 2017. Vol. 658. No. Part B. P. 375-390. doi
20153
- Book CEUR Workshop Proceedings. Proceedings of the International Workshop on Social Network Analysis using Formal Concept Analysis (SNAFCA 2015) / Ed. by R. Missaoui, S. Kuznetsov, S. Obiedkov. Issue 1534: SNAFCA 2015 Social Network Analysis using Formal Concept Analysis. Malaga : CEUR Workshop Proceedings, 2015.
- Chapter Obiedkov S., Romashkin N. S. Collaborative Conceptual Exploration as a Tool for Crowdsourcing Domain Ontologies, in: RuZA 2015 Workshop. Proceedings of Russian and South African Workshop on Knowledge Discovery Techniques Based on Formal Concept Analysis (RuZA 2015). November 30 - December 5, 2015, Stellenbosch, South Africa / Ed. by S. Kuznetsov, B. W. Watson. Vol. 1552. Aachen : CEUR Workshop Proceedings, 2015. P. 58-70.
- Chapter Panchenko A., Babaev D., Obiedkov S. Large-Scale Parallel Matching of Social Network Profiles, in: Analysis of Images, Social Networks and Texts. 4th International Conference, AIST 2015, Yekaterinburg, Russia, April 9–11, 2015, Revised Selected Papers / Ed. by M. Y. Khachay, N. Konstantinova, A. Panchenko, D. I. Ignatov, V. Labunets. Vol. 542: Series: Communications in Computer and Information Science. Switzerland : Springer, 2015. P. 275-285.
20143
- Article Konstantin Bazhanov, Obiedkov S. Optimizations in computing the Duquenne–Guigues basis of implications // Annals of Mathematics and Artificial Intelligence. 2014. Vol. 70. No. 1-2. P. 5-24. doi
- Article Муравьев Н. А., Панченко А. И., Объедков С. А. Неологизмы в социальной сети Фейсбук // Компьютерная лингвистика и интеллектуальные технологии. 2014. № 13. С. 440-454.
- Article Объедков С. А., Панченко А. И., Муравьев Н. А. Неологизмы в социальной сети Фейсбук // Компьютерная лингвистика и интеллектуальные технологии. 2014. С. 440-454.
20133
- Article Obiedkov S., Mikhail Klimushkin, Shabanova M., Dmitry Zaytsev. A Multidimensional Model for Analyzing Democratic Development in Central and Eastern Europe // Transition Studies Review. 2013. Vol. 20. No. 2. P. 191-209. doi
- Chapter Obiedkov S. Ceteris Paribus Preferences: Prediction via Abduction, in: Formal Aspects of Computing: Essays dedicated to Derrick Kourie on the occasion of his 65th Birthday. Aachen : Shaker, 2013. Ch. 2. P. 45-56.
- Chapter Obiedkov S. Modeling ceteris paribus preferences in formal concept analysis, in: Formal Concept Analysis / Ed. by P. Cellier, F. Distel, B. Ganter. Vol. 7880. Berlin, Heidelberg : Springer, 2013. P. 188-202.
20123
- Article Kryszkiewicz M., Obiedkov Sergei, Ras Z. W. Concept Lattices and Their Applications: Preface // Fundamenta Informaticae. 2012. Vol. 115. No. 4. P. i-ii.
- Chapter Obiedkov S. From preferences over objects to preferences over concepts, in: Proceedings of the 6th Multidisciplinary Workshop on Advances in Preference Handling (in conjunction with ECAI 2012). Montpellier : Montpellier 2 University, 2012.
- Chapter Obiedkov S. Modeling preferences over attribute sets in formal concept analysis, in: Formal Concept Analysis. 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 Proceedings Vol. 7278. Berlin, Heidelberg : Springer, 2012. P. 227-243.
20111
20101
20092
- Article Kourie D. G., Obiedkov S., Watson B. W., van der Merwe D. An incremental algorithm to construct a lattice of set intersections // Science of Computer Programming. 2009. Vol. 74. No. 3. P. 128-142. doi
- Article Obiedkov S., Kourie D. G., Eloff J. Building access control models with attribute exploration // Computers and Security. 2009. Vol. 28. No. 1-2. P. 2-7.
20082
- Article Roth C., Obiedkov S., Kourie D. G. On succinct representation of knowledge community taxonomies with formal concept analysis // International Journal of Foundations of Computer Science. 2008. Vol. 19. No. 2. P. 383-404. doi
- Article Kuznetsov S., Obiedkov S. Some Decision and Counting Problems of the Duquenne-Guigues Basis of Implications. Discrete Applied Mathematics 156(11): // Discrete Applied Mathematics. 2008. Vol. 156. No. 11. P. 1994-2003.
20072
- Article Obiedkov S., Duquenne V. Attribute-incremental construction of the canonical implication basis // Annals of Mathematics and Artificial Intelligence. 2007. Vol. 49. No. 1. P. 77-99. doi
- Book Proceedings of the Workshop "Social Network Analysis and Conceptual Structures: Exploring Opportunities" / Ed. by S. Obiedkov, C. Roth. , 2007.
Employment history
Associate Professor, Department of Applied Mathematics and Information Science, National Research University Higher School of Economics, Moscow, Russia Sept 2006–present
Visiting Professor, Faculty of Computer Science, Technische Universit¨at Dresden, Dresden, Germany Nov 2012—Feb 2013
Associate Professor, Faculty of Innovation and High Technology, Moscow Institute of Physics and Technology, Moscow, Russia Aug 2006–June 2011
Visiting Professor, Institute of Computer Science, Warsaw University of Technology, Warsaw, Poland May 2011
Deputy Chair of Image Recognition and Text Processing, Moscow Institute of Physics and Technology, Moscow, Russia Aug 2006–Aug 2010
Deputy Head of the Group of Professional Development, ABBYY Software, Moscow, Russia Aug 2006–Aug 2010
Postdoctoral Fellow, Department of Computer Science, University of Pretoria, South Africa Aug 2005–July 2006
IT Consultant, Transmark/SAB Miller, Moscow, Russia Oct 2004–Mar 2005
Diderot Fellow, Maison des Sciences de l’Homme, Paris, France Apr–Jun 2004
Research Assistant, Institute of Algebra, Technische Universatat Dresden, Dresden, Germany Jun 2003–Feb 2004
Translator, MAIK “Nauka/Interperiodica”, Moscow, Russia Jan 1999–May 2003
Programmer, Basis Software, Moscow, Russia July 2000–Feb 2003 Programmer, AMSD, Moscow, Russia Dec 1998–June 2000
Conferences and Workshops
Dagstuhl Seminar "Horn formulas, directed hypergraphs, lattices and closure systems: related formalisms and applications", Dagstuhl, Germany, May 11–16, 2014
- Sergei Obiedkov, Parameterized Ceteris Paribus Preferences over Atomic Conjunctions
11th International Conference on Formal Concept Analysis, Dresden, Germany, May 21–24, 2013
- Sergei Obiedkov, Modeling Ceteris Paribus Preferences in Formal Concept Analysis (best paper award)
EPCL Basic Training Camp 2012, Technische Universität Dresden, Germany, December 10–21, 2012
- Sergei Obiedkov, Learning Ceteris Paribus Preferences
Data Analysis and Modeling Lab Research Seminar, Palacky University, Olomouc, Czech Republic, September 27, 2012
- Sergei Obiedkov, Modeling and Learning Preferences over Conjunctive Concepts
6th Multidisciplinary Workshop on Advances in Preference Handling, in conjunction with ECAI 2012, Montpellier, France, August 27, 2012
- Sergei Obiedkov, From Preferences over Objects to Preferences over Concepts
Anual PhD Workshop of the European PhD Program in Computational Logic, Technische Universität Dresden, Germany, July 11–13, 2012
- Sergei Obiedkov, Modeling Preferences with Formal Concept Analysis
10th International Conference on Formal Concept Analysis, Leuven, Belgium, May 6–10, 2012
- Sergei Obiedkov, Modeling Preferences over Attribute Sets in Formal Concept Analysis
8th International Conference on Concept Lattices and Their Applications, Nancy, France, October 17–20, 2011
- Konstantin Bazhanov and Sergei Obiedkov, Comparing Performance of Algorithms for Generating the Duquenne–Guigues Basis
Workshop on markup and its semantics, University of Bologna, Italy, April 14, 2011
- Sergei Obiedkov, Formal Concept Analysis for Knowledge Representation and Acquisition
IPSA-ECPR Joint Conference "Whatever Happened to North-South?", Sao Paulo, Brazil, February 16–18, 2011
- Sergei Obiedkov, Mikhail Klimushkin, Maria Shabanova, and Dmitry Zaytsev, A Multidimensional Model for Analyzing Democratic Development in Central and Eastern Europe
7th International Conference on Concept Lattices and Their Applications, Seville, Spain, October 18–21, 2010 (program co-chair)
8th International Conference on Formal Concept Analysis, Agadir, Morocco, March 14-18, 2010
- Mikhail Klimushkin, Sergei Obiedkov, and Camille Roth, Approaches to the Selection of Relevant Concepts in the Case of Noisy Data
- Sergei Obiedkov and Camille Roth, Social Network Analysis and Formal Concept Analysis (tutorial)
Coping with Complexity: Model Reduction and Data Analysis (Research Workshop), Ambleside, Lake District, UK, August 31 - September 4, 2009
- S. Obiedkov, N. Romashkin, J.-Ph. Cointet, C. Roth, Filtering lattice-based taxonomies with concept stability: A case study in the analysis of political texts
6th International Conference on Formal Concept Analysis, Montreal, Canada, February 25-28, 2008 (program co-chair)
Concept Lattices and Their Applications, Fourth International Conference, CLA 2006, Tunis, Tunisia, October 30 - November 1, 2006
- Camille Roth, Sergei A. Obiedkov, Derrick G. Kourie: Towards Concise Representation for Taxonomies of Epistemic Communities
14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006
- Sergei A. Obiedkov, Derrick G. Kourie, Jan H. P. Eloff: On Lattices in Access Control Models
4th International Conference on Formal Concept Analysis, ICFCA 2006, Dresden, Germany, February 13-17, 2006
- Sergei O. Kuznetsov, Sergei A. Obiedkov: Counting Pseudo-intents and #P-completeness
Pursuing a PhD in Russia: ‘Attractive and Exotic’
After getting his Master’s degree in Computer Science in Rome, Julio Carrasquel decided not to pursue a corporate career in IT, but to move to Moscow to get a PhD at HSE University. As a result, he received a scholarship on the Advanced Doctoral Programme, successfully defended his thesis, and was named one of the university’s Best Teachers. Julio talked with the HSE News Service about his path in academia and life in Russia.
HSE Students and Faculty Member Receive Ilya Segalovich Award from Yandex
Four people have received this award for their achievements in the field of Computer Science: two HSE University graduate students, one doctoral student, and Sergei Obiedkov, Deputy Dean for Research and International Relations at the Faculty of Computer Science.
How the Faculty of Computer Science Switched Online
From March 17, HSE University has made all classes online. Here’s how the Faculty was able to do that, as well as celebrate Faculty’s birthday, talk to prospective students, and develop a new YouTube channel.
HSE Staff Members Receive Acknowledgement Medals
Following a directive of the Rector, key HSE staff members have been awarded ‘Acknowledgement’ medals for their high professional achievements and devotion to work.
HSE Strengthens Partnerships with Italian Universities
On 19-23 February 2018 the HSE delegation headed by HSE Rector Yaroslav Kuzminov made a grand tour in Italy visiting 7 partner universities in the North of Italy and meeting around 100 colleagues. HSE delegation members were honored to take part in theCeremony dedicated to 150th Anniversary of Ca' Foscari University of Venice [1] and official opening of the Academic Year 2017/2018 that was attended by Ca Foscari faculty staff and students, leaders of other local institutions and by the President of the Italian Republic Sergio Mattarella. Within the opening the HSE Rector took part in the academic procession together with Ca Foscari Rector Professor Michele Bugliesi and other 20 participants wearing their universities mantles including leaders of HSE partner universities such as Provost of University College London Professor Arthur, President of Korea University Professor Yeom, Rector of University of Naples Federico II Professir Manfredi, Rector of University of Bergamo Professor Pellegrini Morzenti and others.
[1] HSE cooperates with Ca Foscari University in Venice since 2012. As for now 16 students from Ca Foscari are on the exchange at HSE, and 18 HSE students study in Venice.
13th International Conference on Concept Lattices and Their Applications
On July 18-22 the 13th International Conference on Concept Lattices and Their Applications was held at HSE. The conference has been organized since 2002. This year it was held in Russia for the first time. The event was organized by the International Laboratory for Intelligent Systems and Structural Analysis and the School of Data Analysis and Artificial Intelligence of HSE Faculty of Computer Science.
Baltic Practice Turns to the East
The Baltic Practice International Summer School, held by the HSE Public Policy Department, has celebrated its 15th anniversary. Its organizers and participants recently spoke about what’s most important for people to know about the Baltic Practice, and about why, after 15 years, the school is changing direction.
Putting the Joy into Mathematics For Everybody
On Monday 28th September Bernhard Ganter, Professor of Science at the renowned university TU-Dresden in Germany, co-founder and co-director of the Museum of Mathematics, Erlebnisland-Mathematik, will give a public lecture at HSE on Mathematics as an Adventure.
Sergey Obiedkov wins Scopus Award Russia
On 14 May was held Scopus Award Russia cerenony. One of the winners Sergey Obiedkov, Associate Professor and Research fellow of our Department.
Partnership with the Oldest European University
Last year was designated the year of Russia in Italy and Italy in Russia. Nina Belyaeva, Head of the HSE Department of Public Policy, told us about the HSE’s cooperation with one of its key Italian partners – the University of Bologna, as well as about new academic mobility opportunities for HSE undergraduate and postgraduate students.