Topics of interest

  • Software industry – current trends and needs
  • Automated software verification
  • Automated proving
  • Tools and environments for software engineering
  • Performance analysis and prediction
  • Modeling and testing
  • Security protocols
  • Concurrent processing