Yury Chebiryak

e-mail:  my email address

Since 2006, I am a doctoral student in the Formal Verification group of Prof. Daniel Kroening, which is a part of Computer Systems Institute at ETH Zurich.
I was born in Vladivostok, USSR. In 1999, I graduated from the Khabarovsk Lyceum of Information Technologies and decided to persue a career in the IT field. Thanks to a joint program between Russia and Germany, I graduated from the Pacific National University (formerly, Khabarovsk State University of Technology), Khabarovsk, Russia, in 2004 (diploma of engineer of information systems, with distinction), and received the M.Sc. degree in computer science from the University of Saarland, Saarbruecken, Germany, in 2005. My research interests include hardware design and verification, SAT-solving, computational biology, combinatorics and hypercubes.


"Periodic Orbits and Equilibria in Glass Models for Gene Regulatory Networks" DOI PDF

with I. Zinovik and D. Kroening, special issue of IEEE Transactions on Information Theory on Molecular Biology and Neuroscience, vol. 56, no. 2, pp. 805-820, February 2010.
- ETH technical report

Finding Lean Induced Cycles in Binary Hypercubes" DOI PDF

with T. Wahl, D. Kroening, L. Haller, SAT 2009 (Twelfth International Conference on Theory and Applications of Satisfiability Testing), Swansea, Wales, United Kingdom, LNCS vol. 5584, Springer, pp. 18-31, 2009.
- Slides of my presentation on SAT conference, Swansea, UK, June 20, 2009.
- Slides of my presentation on 7-th Australia -- New Zealand Mathematics Convention, Christchurch, New Zealand, December 11, 2008.
- ETH technical report

"An Efficient SAT Encoding of Circuit Codes" DOI PDF

with D. Kroening, Procs. IEEE International Symposium on Information Theory and its Applications, Auckland, New Zeland, pp. 1235-1238, 2008.
- Slides of my presentation on December 10, 2008.
- updated lower bounds on length of circuit codes.

"Towards a Classification of Hamiltonian Cycles in the 6-cube" PDF

with D. Kroening, Journal on Satisfiability, Boolean Modeling and Computation, vol. 4, pp. 57-74, 2008.
- a corrected version of this paper is available as technical report 601, ETH Zurich.

"Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT-solvers" DOI PDF

with I. Zinovik and D. Kroening, IEEE Trans. Inf. Theory, vol. 54, pp. 1819-1823, April 2008.
- an extended version of this paper is available as technical report 580, ETH Zurich.
- some codes reported in this paper are available here.
- discovered bounds on length of circuit codes is available here.

"An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits along Cyclic Attractors" DOI PDF

with I. Zinovik and D. Kroening, Procs of Algebraic Biology, LNCS vol. 4545, Springer, pp. 140-154, 2007.
- an extended version of this paper is available as technical report 557, ETH Zurich.


This work was done within Verisoft project.

"Formal Specification and Verification of Functions of the VAMOS Scheduler" PDF

Master Thesis, Saarland University, 03.11.2005.

"Documenting the programmer environment for L4Ka operating system" PDF

Diploma thesis, Khabarovsk State University of Technology (recently renamed to Pacific National University), 2004.

PUBLICATIONS with Institute of Materials Science

This work was done at Institute of Materials Science, Khabarovsk

"Estimation of interdiffusion coeffcients for transition metals in the process of electrospark doping of tantalum" (in Russian) PDF

with S. A. Pyachin, V. G. Zavodinsky and A. A. Gnidenko, in "Fizika i Khimiya Obrabotki Materialov" ("Physics and chemistry of materials treatment"), N3, 2004, pages 59-65, (in Russian).

"Obtaining and Investigations of Covering from Graphite on the Copper"
(in Russian)

with A. P. Kuz'menko, A. V. Syarg, M. P. Leonov, V. I. Savchenko, V. A. Groshev, A. V. Kaminskiy and V. G. Zavodinskiy, in "Equipment and Technologies of Thermal Treatment of Metals and Alloys. Part II: Proceedings of 4th International Conference "Equipment and Technologies of Thermal Treatment of Metals and Alloys", pages 152-156, Kharkov, 2003.

"New sources of energy: electrical (by compounding copper and graphite) and thermal"
(in Russian)

with A. P. Kuzmenko, V. G. Zavodinskiy, A. V. Syarg, M. P. Leonov, V. I. Savchenko, V. A. Groshev and A. V. Kaminskiy, in Proceedings of Far-Eastern innovations conference, part 2, pp. 148-157, Khabarovsk, 2003.

"Computer Modeling of the carbon atoms interaction with a copper surface"
(in Russian)

with V. G. Zavodinsky, in Procs of 4th Regional Scientifc Conference "Physics: fundamental and applied researches", pages 28-29, Vladivostok, 2003.


  • Daniel Kroening
  • Thomas Wahl
  • Igor Zinovik
  • Leopold Haller
  • Victor Zavodinskiy
  • Anton Gnidenko
  • Sergey Pyachin
  • Aleksandr Kuzmenko



    DBLP entry Search on Google Scholar

    View Yury Chebiryak's profile on LinkedIn
    My profile on Academia.edu
  • Last updated: November 28, 2011.

    . . - 28.11.2011 .

    My photos can found here or on Fotolia.com:

    free counters