Alexander Okhotin

I am a Russian mathematician living and working in Finland. I hold a position of an Academy Research Fellow at the Department of Mathematics of the University of Turku since 2006. I work in formal language and automata theory, my main subject is language equations. I received my education at Moscow State University, Russia (1996-2001), and at Queen's University, Canada (2001-2004).

• My curriculum vitae: PostScript, PDF, HTML.
• My private page (in Russian).

Research

• Most recent papers: “On equations over sets of integers” (with A. Jez), “A study of unambiguous finite automata over a one-letter alphabet”.
  
• Conjunctive grammars.
  
• Boolean grammars.
  
• Nine open problems for conjunctive and Boolean grammars (#2 solved in 2007, #3 solved in 2009).
  
• Formal description of the syntax of programming languages.
  
• Language equations.
  

Teaching

• Formal grammars, University of Turku, Spring 2009.
• Formal languages and parsing (in Russian), St. Petersburg, October 2009.
• Formal languages and parsing, University of Wroclaw, Poland, November 2009. (NEW)

Students

• Artur Jez (Ph. D. student at the University of Wroclaw, Poland; supervised jointly with Krzysztof Lorys).
• Tommi Lehtinen (Ph. D. student at the University of Turku).

Other duties

• Conference programme committees: LATA 2007, TALE 2007, SOFSEM 2008, AutoMathA 2009, DCFS 2009, MFCS 2009, FCT 2009, CIAA 2010, NCMA 2010.

Software

• Dolphin, a lexical analyzer generator.
  
• Whale, an LR parser generator.
  
• Whale Calf, a parser generator for conjunctive grammars.
  

Miscellaneous

• Photographs from conferences:
  • From CIAA 2002 conference, Tours, France, July 3-5, 2002.
  • From CIAA 2004 conference, Kingston, Ontario, Canada, July 22-24, 2004.
  • From AFL 2005 conference, Dobogoko, Hungary, May 17-20, 2005.
  • From DCFS 2005 workshop, Como, Italy, June 30-July 2, 2005.
  • From DLT 2005 (second part here) conference, Palermo, Italy, July 4-8, 2005.
  • From DLT 2006 conference, Santa Barbara, USA, June 26-29, 2006.
  • From Workshop on Fibonacci Words, Turku, Finland, September 27-30, 2006.
  • From DLT 2007 conference, Turku, Finland, June 3-6, 2007.
  • From the celebration of the 75th birthday of Arto Salomaa: Day 1, Dinner, Day 2.
• Selected photographs:
  • Animals.
  • Churches.
  • Other subjects.
  • Good Friday procession, Tarragona, Spain, April 14, 2006.

E-mail: .

Last updated: September 2009.