Peter Bulychev photo

Who I am.


My name is Peter Bulychev (Russian: Пётр Булычёв). I'm last-year Ph.D. student at Lomonosov Moscow State University, Computer Science department.

My scientific advisors are Ruslan L. Smeliansky and Vladimir A. Zakharov.

Research & Publications.

I am mainly interested in model checking and static code analysis.

Selected publications:

  1. P. E. Bulychev, I. V. Konnov, V. A. Zakharov Computing (bi)simulation relations preserving CTL*_X for ordinary and fair Kripke structures. Mathemathical Methods and Algorithms, ISP RAS, 2007, vol. 12. proceedings
    (pdf)

  2. P.E. Bulchev. Master thesis: Game-theoretic methods of protocol verification. 2007. (pdf in Russian language)

  3. Peter Bulychev, Marius Minea. Duplicate code detection using anti-unification. SYRCOSE, 2008. (pdf)

  4. Peter Bulychev. Duplicate Code Detection Using Clone Digger. Python Magazine, September 2008. (issue content)

  5. Peter Bulychev, Marius Minea. An evaluation of duplicate code detection using anti-unification. IWSC, 2009. (pdf)

  6. Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov. Anti-unification algorithms and their applications in program analysis. PSI, 2009. (pdf)

  7. Peter Bulychev, Thomas Chatain, Alexandre David and Kim G. Larsen. Efficient on-the-fly algorithm for checking alternating timed simulation. FORMATS, 2009. (pdf)

  8. Peter Bulychev, Vladimir Zakharov. On the verification of finite state parameterized models of distributed algorithms (in Russian language). Nauchnie vedomosti BelGU, 2009. (pdf)


I'm the initial author of the tool Clone Digger, the tool for finding software clones in Python and Java programs.

Contact Information.

Email/Jabber/Google Talk : undefined