Department of Informatics (DINF)

Affiliated Research areas

  • Scientific computing, simulation and modelling tools
  • Theoretical computer science, formal methods, automata

Scientific Areas

  • Computer science
  • Mathematics

Keywords

  • Non-material sphere automation
  • Computer science pedagogy
  • Algebra and number theory
  • Differential equations
  • Applied geometry and engineer graphics
  • Operational research
  • Cognitive linguistics
  • Automatic construction engineering systems
  • Computing machinery and management systems
  • Complex networks

Summary

Non-material sphere automation. Computer science pedagogy. Algebra and number theory. Differential equations. Applied geometry and engineer graphics. Operational research. Cognitive linguistics. Automatic construction engineering systems. Computing machinery and management systems. Complex networks.

Members