branch detail

Mathematical Methods in Information Technology

Original title in Czech: Matematické metody v informačních technologiíchFITAbbreviation: MMMAcad. year: 2017/2018Specialisation: -

Programme: Information Technology

Length of Study: 2 years

Accredited from: 30.6.2014Accredited until: 31.12.2022

Profile of the branch

The goal of the study branch of Mathematical Methods in Information Technologies is to acquaint students with deeper mathematical roots of information technologies and teach them how to understand, practically apply as well as further develop advanced technologies built on these roots. Within the compulsory courses of the study branch, the students will mainly improve their knowledge of mathematics and of the theoretical basis of computer science and will get familiar with their advanced applications in selected areas of information technologies. In particular, this concerns the areas of compilers, methods of automated analysis, verification, and testing of correctness of computer-based systems, the ares of high performance computing, modeling, simulation and optimization, and/or applications of the game theory as a support of rational strategic decision-making in conflict situations (e.g., in economics, security, etc.). The choice of optional courses together with the diploma thesis will then allow the students to individually narrow down their focus on various theoretical or application areas. The obtained deeper theoretical knowledge and acquaintance with their various applications will allow the graduates to practically apply various highly advanced moder technologies, including non-standard technologies as well as technologies currently under development, will allow them to find positions in companies (or divisions of companies) focused on research and development of new information technologies with a mathematical basis, and/or will give them a solid training for subsequent PhD studies.

Key learning outcomes

Student of the branch acquire deeper theoretical knowledge in mathematics and informatics theory, which will be able to apply practically as well as to develop advanced technologies built on these roots. Study in this branch provide further extension of knowledge mainly in the area of compilers, methods of automated analysis, verification, and testing of correctness of computer-based systems, the area of high performance computing, modeling, simulation and optimization, and/or applications of the game theory as a support of rational strategic decision-making in conflict situations.

Occupational profiles of graduates with examples


  • A graduate has a deep knowledge of the mathematical roots of information technologies and their various advanced applications, in particular, compilers, automated methods of analysis, verification, and testing of correctness of computer-based systems, computer-aided modeling, simulation, and optimization, fault tolerance, game theory, high performance computing technologies, cryptography and codes, and/or unconventional and newly emerging computing platforms.
  • A graduate is qualified for research, development, and applications of various advanced technologies, including highly unconventional technologies, requiring a deeper understanding of the mathematical roots of computer science. The acquired knowledge of the theoretical basis of information technologies makes the graduate very flexible and able to easily get familiar with new discoveries and technologies.
  • Students graduating from the study branch can make their professional career especially in research and development divisions as well as production divisions of various companies and institutions interested in development and applications of advanced technologies from the areas of automated analysis, verification, and testing of computer-based systems; compilers; technologies for synthesis of hardware or software from high-level specifications; modeling, simulation, and optimization of systems (including companies and institutions interested in simulation, prediction, and optimization for the needs of energetics, economics, security, etc.); technologies for high performance computing in science and engineering; and/or technologies for development of critical systems with a special emphasis on reliability and security. Moreover, with respect to their deep knowledge of algorithmics, they can find positions also in other areas of the IT industry, focused on development and maintenance of complex, computationally demanding software products (e.g., within running and optimizing large databases, information systems, computer networks, etc.). An important possibility is also a career of the graduates in science and/or education.

Programme supervisor


Course structure diagram with ECTS credits

1. year of study, winter semester
CodeTitleL.Cr.Sem.Com.Compl.Gr.Op.
MATMathematical Structures in Computer Sciencecs5winterCompulsoryExyes
TINTheoretical Computer Sciencecs5winterCompulsoryAc,Exyes
STITheoretical Computer Science Seminarcs2winterOptionalAcyes
2. year of study, winter semester
CodeTitleL.Cr.Sem.Com.Compl.Gr.Op.
SEPTerm Projectcs5winterCompulsoryClAcyes
2. year of study, summer semester
CodeTitleL.Cr.Sem.Com.Compl.Gr.Op.
DIPMaster's Thesiscs13summerCompulsoryAcyes
0. year of study, winter semester
CodeTitleL.Cr.Sem.Com.Compl.Gr.Op.
FAVFormal Analysis and Verificationcs5winterCompulsoryAc,Exyes
GALGraph Algorithmscs5winterCompulsoryExyes
THEGame Theorycs4winterCompulsoryAc,Exyes
VYPaCompiler Constructionen5winterCompulsoryExyes
AEUEnglish for Europecs3winterCompulsory-optionalAc,Exyes
FCEEnglish: Preparatory Course for FCE Examcs3winterCompulsory-optionalAcyes
BISInformation System Securitycs5winterCompulsory-optionalAc,Exyes
FITHistory and Philosophy of Technologycs3winterCompulsory-optionalAcyes
HKOCommunication Skillscs3winterCompulsory-optionalAcyes
HKAAssertiveness and Conflictscs3winterCompulsory-optionalAcyes
PRMFundamentals of Lawcs3winterCompulsory-optionalAcyes
HPRPresentation Skillscs3winterCompulsory-optionalAcyes
HPOPersonality Psychologycs3winterCompulsory-optionalAcyes
RETRhetoriccs3winterCompulsory-optionalAcyes
SFCSoft Computingcs5winterCompulsory-optionalAc,Exyes
HVRLeadership and People Managementcs3winterCompulsory-optionalAcyes
AISInformation Systems Analysis and Designcs5winterOptionalAc,Exyes
ACHProcessor Architecturecs5winterOptionalAc,Exyes
BMSWireless and Mobile Networkscs5winterOptionalAc,Exyes
BIOBiometric Systemscs5winterOptionalAc,Exyes
EIPEconomics of Information Productscs5winterOptionalExyes
GZNGraphical and Sound Interfaces and Standardscs5winterOptionalExyes
GJAGraphical User Interfaces in Javacs5winterOptionalAc,Exyes
GUXGraphical User Interfaces in X Window Systemcs5winterOptionalExyes
GMUGraphic and Multimedia Processorscs5winterOptionalAc,Exyes
HSCHardware/Software Codesigncs5winterOptionalAc,Exyes
SENIntelligent Sensorscs5winterOptionalAc,Exyes
SINIntelligent Systemscs5winterOptionalExyes
MOBModelling of Biological Systemscs4winterOptionalAc,Exyes
PGRComputer Graphicscs5winterOptionalExyes
POVaComputer Visionen5winterOptionalExyes
PGPaAdvanced Computer Graphicsen5winterOptionalExyes
PCSAdvanced Digital Systemscs5winterOptionalExyes
PDBAdvanced Database Systemscs5winterOptionalAc,Exyes
PKSAdvanced Communication Systemscs5winterOptionalAc,Exyes
PDIDistributed Application Environmentcs5winterOptionalExyes
ROBaRoboticsen5winterOptionalExyes
SMTSeminar of Mathematical Structurescs2winterOptionalAcyes
SRIStrategic Management of Information Systemscs5winterOptionalExyes
TAMaApplication Development for Mobile Devicesen5winterOptionalClAcyes
VINComputer Artcs5winterOptionalClAcyes
ZPXProfessional Practice, Abroaden5winterOptionalAcyes
ZZNKnowledge Discovery in Databasescs5winterOptionalAc,Exyes
ZPJaNatural Language Processingen5winterOptionalExyes
0. year of study, summer semester
CodeTitleL.Cr.Sem.Com.Compl.Gr.Op.
FLPFunctional and Logic Programmingcs5summerCompulsoryAc,Exyes
LOGLogiccs5summerCompulsoryAc,Exyes
PRLParallel and Distributed Algorithmscs5summerCompulsoryAc,Exyes
PESPetri Netscs5summerCompulsoryExyes
VNVHigh Performance Computationscs5summerCompulsoryExyes
AGSAgents and Multiagent Systemscs5summerCompulsory-optionalExyes
BINBio-Inspired Computerscs5summerCompulsory-optionalExyes
DJADynamic Languagescs5summerCompulsory-optionalExyes
FIKPhilosophy and the Culturecs3summerCompulsory-optionalAcyes
KKOData Coding and Compressioncs5summerCompulsory-optionalAc,Exyes
HKOCommunication Skillscs3summerCompulsory-optionalAcyes
HKAAssertiveness and Conflictscs3summerCompulsory-optionalAcyes
KRYCryptographycs5summerCompulsory-optionalAc,Exyes
OPMOptimizationcs4summerCompulsory-optionalAc,Exyes
PRMFundamentals of Lawcs3summerCompulsory-optionalAcyes
HPRPresentation Skillscs3summerCompulsory-optionalAcyes
HPOPersonality Psychologycs3summerCompulsory-optionalAcyes
RETRhetoriccs3summerCompulsory-optionalAcyes
SNTSimulation Tools and Techniquescs5summerCompulsory-optionalAc,Exyes
SLOaComplexityen5summerCompulsory-optionalExyes
SSPStochastic Processescs4summerCompulsory-optionalAc,Exyes
HVRLeadership and People Managementcs3summerCompulsory-optionalAcyes
EVOApplied Evolutionary Algorithmscs5summerOptionalExyes
ARCParallel System Architecture and Programmingcs5summerOptionalAc,Exyes
BIFBioinformaticscs5summerOptionalExyes
FVSFunctional Verification of Digital Systemscs5summerOptionalExyes
FYOPhysical Opticscs5summerOptionalExyes
WAPInternet Applicationscs5summerOptionalAc,Exyes
MPRProject Managementcs5summerOptionalAc,Exyes
MEKEconomics for Managerscs5summerOptionalAc,Exyes
MARMarketingcs5summerOptionalAc,Exyes
MMATMatrices and Tensors Calculuscs5summerOptionalAc,Exyes
MULMultimediacs5summerOptionalExyes
NAVDesign of External Adapters and Embedded Systemscs5summerOptionalExyes
NSBProjecting, Administration and Securitycs5summerOptionalAc,Exyes
PISAdvanced Information Systemscs5summerOptionalAc,Exyes
POSAdvanced Operating Systemscs5summerOptionalExyes
PMAProject Managercs5summerOptionalClAcyes
PDSData Communications, Computer Networks and Protocolscs5summerOptionalExyes
ROSaReal-Time Operating Systemsen5summerOptionalExyes
STMStrategic Managementcs5summerOptionalAc,Exyes
SPPFault Tolerant Systemscs5summerOptionalAc,Exyes
VIZaVisualization and CADen5summerOptionalClAcyes
VYFComputational Photographycs5summerOptionalClAcyes
VGEComputational Geometrycs5summerOptionalExyes
MZSAdvanced Methods of Signal Processingcs6summerOptionalAc,Exyes
ZPXProfessional Practice, Abroaden5summerOptionalAcyes
ZPOImage Processingcs5summerOptionalExyes
ZRESpeech Signal Processingcs5summerOptionalExyes