Research Areas

  • Computer Sciences

  • Theoretical Computer Science

  • Formal Languages

  • Formal Methods

  • Software

  • Operating Systems

  • Automatic Programming

  • Programming Languages

  • Software Engineering

  • Soft Computing

  • Engineering and Technology