Yury Chebiryak
e-mail:
|
|
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.
RECENT PUBLICATIONS
"Periodic Orbits and Equilibria in Glass Models
for Gene Regulatory Networks" |
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
|
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.
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.
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.
VERISOFT PROJECT |
|
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 |
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) |
PDF |
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. Kuz�menko, 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) |
CO-AUTHORS
Daniel Kroening
Thomas Wahl
Igor Zinovik
Leopold Haller
Victor Zavodinskiy
Anton Gnidenko
Sergey Pyachin
Aleksandr Kuz�menko
My profile on Academia.edu
|