Alexander S. Kulikov, Ph.D.

• Contact information
  • Laboratory of Mathematical Logic
  • Steklov Institute of Mathematics at St. Petersburg
  • 27 Fontanka, St. Petersburg 191023, Russia
  • email: kulikov()logic.pdmi.ras.ru
• Research
  • Interests
    • Circuit complexity
    • Algorithms
    • Computational genomics and proteomics
  • Ph.D. thesis (2009): "Algorithms for Boolean Logic using Automatization, Combined Complexity Measures, and Clause Learning",
    supervisor: Edward A. Hirsch
  • Papers
  • Projects
  • Automated proofs of upper bounds for NP-hard problems
  • First-order theorem prover based on semialgebraic proof systems
  • Mixed Boolean-algebraic satisfiability solver
• Teaching
• Efficient algorithms
• Algorithms for NP-hard problems
• Community service
• Computer Science Club, coordinator
• NoNA Summer School on Complexity Theory 2009, main organizer
• Microsoft Data Structures and Algorithms School 2010, organizer
• 6th International Computer Science Symposium in Russia 2011, conference chair
• Computer Science Center, head
• Some useful links
  • Courses and books on algorithms
  • International Computer Science student schools