Pavel Semukhin

Research Associate
Department of Computer Science
University of Liverpool

Email:  





Research interests:  reachability problems, computational learning theory, automatic structures, computable model theory.


PhD Thesis:
    Topics in Computable Model Theory, The University of Auckland, 2008.
    PostScript –  PDF
 


List of Publications:
  1. I. Potapov and P. Semukhin, Decidability of the membership problem for 2×2 integer matrices, submitted.
      PDF
  2. I. Potapov and P. Semukhin, Vector reachability problem in SL(2, Z), submitted.
      PDF
  3. E. Fokina, B. Khoussainov, P. Semukhin, and D. Turetsky, Linear orders realized by c.e. equivalence relations, J. Symbolic Logic, accepted for publication.
      PDF
  4. R. Samei, P. Semukhin, B. Yang and S. Zilles, Sample Compression for Multi-label Concept Classes, extended journal version, submitted for publication.
      PDF
  5. R. Samei, P. Semukhin, B. Yang and S. Zilles, Sample Compression for Multi-label Concept Classes, Conference on Learning Theory, COLT, 371–393, 2014.
      PDF
  6. R. Samei, P. Semukhin, B. Yang and S. Zilles, Algebraic methods proving Sauer's bound for teaching complexity, Theoretical Computer Science, 558: 35–50, 2014.
      PDF
  7. J. Case, S. Jain, Y. Ong, P. Semukhin and F. Stephan, Automatic learners with feedback queries, Journal of Computer and System Sciences, 80(4): 806–820, 2014.
      PDF
  8. R. Samei, P. Semukhin, B. Yang and S. Zilles, Sauer's bound for a notion of teaching complexity, Algorithmic Learning Theory, ALT 2012. Proceedings. Springer LNAI 7568: 96–110, 2012.
      PDF
  9. P. Semukhin and F. Stephan, Automatic models of first-order theories, Annals of Pure and Applied Logic, 164(9): 837–854, 2013.
      PDF
  10. J. Case, S. Jain, T. Le, Y. Ong, P. Semukhin and F. Stephan, Automatic learning of subclasses of pattern languages, Information and Computation, 218: 17–35, 2012. Language and Automata Theory and Applications, LATA 2011. Proceedings. Springer LNCS 6638: 192–203, 2011.
      PDF
  11. J. Case, S. Jain, Y. Ong, P. Semukhin and F. Stephan, Automatic learners with feedback queries, Computability in Europe, CiE 2011. Proceedings. Springer LNCS 6735: 31–40, 2011.
      PDF
  12. S. Jain, Q. Luo, P. Semukhin, F. Stephan, Uncountable automatic classes and learning, Theoretical Computer Science, 412(19): 1805–1820, 2011. Algorithmic Learning Theory, ALT 2009. Proceedings. Springer LNAI 5809: 293–307, 2009.
      PDF
  13. P. Semukhin, Prime models of finite computable dimension, J. Symbolic Logic, 74(1): 336–348, 2009.
      PDF
  14. B. Khoussainov, P. Semukhin, F. Stephan, Applications of Kolmogorov complexity to computable model theory, J. Symbolic Logic, 72(3): 1041–1054, 2007.
      PDF
  15. A. Nies, P. Semukhin, Finite automata presentable abelian groups, Proc. of Logical Foundations of Computer Science, 422–436, Lecture Notes in Computer Science, 4514, Springer, Berlin, 2007. Annals of Pure and Applied Logic, 161(3): 458–467, 2009.
      PDF
  16. B. Khoussainov, T. Slaman, P. Semukhin, Π01-presentations of algebras, Arch. Math. Logic 45(6): 769–781, 2006.
      PDF
  17. D. Hirschfeldt, B. Khoussainov, P. Semukhin, An uncountably categorical theory whose only computably presentable model is saturated, Notre Dame J. Formal Logic 47(1): 63–71, 2006.
      PDF
  18. P. Semukhin, Degree spectra of definable relations on Boolean algebras, Sibirsk. Mat. Zh. 46(4): 928–941, 2005; translation in Siberian Math. J. 46(4): 740–750, 2005.
      PDF (in English)
      PDF (in Russian)
  19. P. Semukhin, Spectrum of the ideal of atomless elements in a recursive Boolean algebra, Vestnik NGU, Ser. Mat. Mekh. Inform. (Bull. of Novosibirsk State Univ., Series: math., mech. and informatics) 1(2): 108–111, 2001.

Conference talks:
  1. Degree spectra of structures under Σ1-equivalence,
    Logic Colloquium, Vienna, July, 2014.
  2. Automatic models of first-order theories,
    Invited talk at AMS Spring Western Section Meeting, Honolulu, HI, March, 2012.
  3. Automatic models of first-order theories,
    Workshop on Automata Theory and Applications, Singapore, September, 2011.
  4. Uncountable automatic classes and learning,
    Algorithmic Learning Theory, Porto, October, 2009.
  5. Prime models of finite computable dimension,
    Computability in Europe, Heidelberg, July, 2009.
  6. Finite automata presentable abelian groups,
    Logical Foundations of Computer Science symposium, New York, June, 2007.
  7. Applications of Kolmogorov complexity to computable model theory,
    Workshop on Computability, Randomness and Model Theory, Auckland, 2006.
  8. On Π01-presentations of algebras,
    The 9th Asian Logic Conference, Novosibirsk, August, 2005.
  9. Spectrum of the Atomless Elements Ideal,
    Proceedings of the workshop "Computability and models", Almaty, June 24–28, 2002.