Theoretical Computer Science flagPL flagEN
Faculty of Mathematics and Computer Science
Jagiellonian University
 
    informatyka analityczna  
UJ coat of arms
Theoretical Computer Science
at Jagiellonian
 
 

Tomasz Gorazd

PhD

phone: (+48-12) 664 75 61
fax: (+48-12) 664 66 72
email: email
office: ul. Łojasiewicza 6, 30-348 Kraków
room: 3056
 
personal homepage
for students
 
photo

research interests
universal algebra
complexity
algorithms
cryptography

selected publications
  • Tomasz A. Gorazd, Jacek Krzaczkowski, Term satisfiability problem for two-element algebras is QL or NQL comlpete, Journal of Universal Computer Science Vol. 19, Issue No. 10(2013), 1375-1395
  • Tomasz A. Gorazd, Jacek Krzaczkowski, TermSat for small preprimal algebras is QL or NQL comlpete, manuscript.
  • Tomasz A. Gorazd, Jacek Krzaczkowski, Term equation satisfiability over finite algebras, International Journal of Algebra and Computation Vol. 20, Issue No. 8(2010), 1001-1020.
  • Łukasz Fryz, Tomasz A. Gorazd, Leszek Kotulski On Synchronization with Direct Delaying and Resuming, Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering, Innsbruck, Austria Pages 117-122, 2007
  • Tomasz A. Gorazd, Jacek Krzaczkowski, Solving equations over two-element algebras, Reports on Mathematical Logic, 46(2011).
  • Tomasz A. Gorazd, Fast isomorphism testing in arithmetical varieties, International Journal of Algebra and Computation Vol. 13, No. 4 (2003) 499-506
  • Tomasz A. Gorazd, The isomorphism testing for directly representable varieties, Reports on Mathematical Logic, 31(1997), 75-92.
  • Tomasz A. Gorazd, Pawel M. Idziak, The isomorphism problem for varieties generated by a two element algebra, Algebra Universalis 34(1995), 430-439.

  • short cv
    1989M.S. (mathematics)Jagiellonian UniversityKrakow, Poland
    1992M.S. (computer science)Jagiellonian UniversityKrakow, Poland
    1999PhD (computer science)Jagiellonian UniversityKrakow, Poland
     
     
      webmaster: email = a@b, a=www-tcs, b=tcs.uj.edu.pl