Reseach directions
My general research area is Theoretical Computer Science. Current research directions include:
- Algorithms on words and trees, pattern matching,
- Combinatorial algorithms and their applications to computational molecular biology.
Formerly, I worked on the following subjects:
- Abstract data types theory (I was doing this in the 80s),
- Automated deduction, term rewriting systems (in the middle 80s - early 90s),
- Formal language theory, tree languages (till the middle 90s).
Background
My background is applied mathematics. I graduated in 1982 from the Institute of Electrical Engineering in Novosibirsk in Russia, now renamed to Novosibirsk State Technical University. Then I went to work to what is now called the A.P.Ershov Institute of Informatics Systems, located in Akademgorodok - a satellite "scientific town" near Novosibirsk built in 50s. I did there my PhD thesis, that I defended in 1988, on a quite theoretical topic: Abstract data type specification and term rewriting systems (no electronic version, sorry, it was typed on a typewriter machine!).Publications
Please consult my publication pagePhD students
- Marta Girdea (2007-..., co-supervised with Laurent Noé)
- Ségolène Caboche (2006-2009, co-supervised with Prof. Philippe Jacques, MdC Maude Pupin and Valérie Leclère)
- Fabrice Touzain (2003-2007, co-supervised with Prof. Pierre Leblond)
- Laurent Noé (2002-2005)
- Vladimir Grebinski (1995-1998)
Software
Norine: a database for nonribosomal peptidesmreps: a package for finding tandem repeats in DNA sequences
YASS: local alignment of DNA sequences
grappe : a pattern matching program. You can have a look at README.
Designer : a C++ program for constructing combinatorial 2-designs (covering of a set by subsets such that every pair of elements belongs to exactly one subset)