MAIN TOPICS

  • algorithms and data structures
  • artificial intelligence
  • automata and formal languages
  • bioinformatics
  • complexity
  • concurrency
  • cryptography
  • logic and formal specifications
  • models of computations
  • parallel and distributed computing
  • semantics
WMiI UMK