Branch Details

Mathematical Methods in Information Technology

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

Programme: Information Technology

Length of Study: 2 years

Accredited from: 30.6.2014Accredited until: 31.12.2022

Profile

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.

Supervisor


Course structure diagram with ECTS credits

1. year of study, winter semester
AbbreviationTitleL.Cr.Com.Compl.Hod. rozsahGr.Op.
MATMathematical Structures in Computer Sciencecs5CompulsoryExP - 39 / COZ - 13yes
TINTheoretical Computer Sciencecs5CompulsoryCr,Exyes
STITheoretical Computer Science Seminarcs2ElectiveCryes
2. year of study, winter semester
AbbreviationTitleL.Cr.Com.Compl.Hod. rozsahGr.Op.
SEPTerm Projectcs5CompulsoryGCryes
2. year of study, summer semester
AbbreviationTitleL.Cr.Com.Compl.Hod. rozsahGr.Op.
DIPMaster's Thesiscs13CompulsoryCrPR - 169yes
Any year of study, winter semester
AbbreviationTitleL.Cr.Com.Compl.Hod. rozsahGr.Op.
FAVFormal Analysis and Verificationcs5CompulsoryCr,ExP - 39 / PR - 13yes
GALGraph Algorithmscs5CompulsoryExP - 39 / PR - 13yes
THEGame Theorycs4CompulsoryCr,Exyes
VYPaCompiler Constructionen5CompulsoryExyes
AEUEnglish for Europecs3Compulsory-optionalCr,ExCOZ - 26yes
FCEEnglish: Preparatory Course for FCE Examcs3Compulsory-optionalCrCOZ - 26yes
BISInformation System Securitycs5Compulsory-optionalCr,ExP - 39 / PR - 13yes
FITHistory and Philosophy of Technologycs3Compulsory-optionalCrP - 26yes
HKOCommunication Skillscs3Compulsory-optionalCrCOZ - 26yes
HKAAssertiveness and Conflictscs3Compulsory-optionalCrCOZ - 26yes
PRMFundamentals of Lawcs3Compulsory-optionalCryes
HPRPresentation Skillscs3Compulsory-optionalCrCOZ - 26yes
HPOPersonality Psychologycs3Compulsory-optionalCrCOZ - 26yes
RETRhetoriccs3Compulsory-optionalCryes
SFCSoft Computingcs5Compulsory-optionalCr,Exyes
HVRLeadership and People Managementcs3Compulsory-optionalCrCOZ - 26yes
AISInformation Systems Analysis and Designcs5ElectiveCr,ExP - 39 / PR - 13yes
ACHProcessor Architecturecs5ElectiveCr,ExP - 39 / Cp - 10 / PR - 13yes
BMSWireless and Mobile Networkscs5ElectiveCr,ExP - 39 / PR - 13yes
BIOBiometric Systemscs5ElectiveCr,ExP - 39 / L - 6 / PR - 7yes
EIPEconomics of Information Productscs5ElectiveExP - 26 / COZ - 6 / Cp - 12 / PR - 8yes
GZNGraphical and Sound Interfaces and Standardscs5ElectiveExP - 26 / Cp - 12 / PR - 14yes
GJAGraphical User Interfaces in Javacs5ElectiveCr,ExP - 26 / PR - 26yes
GUXGraphical User Interfaces in X Window Systemcs5ElectiveExP - 26 / PR - 26yes
GMUGraphic and Multimedia Processorscs5ElectiveCr,ExP - 26 / Cp - 8 / PR - 18yes
HSCHardware/Software Codesigncs5ElectiveCr,ExP - 39 / PR - 13yes
SENIntelligent Sensorscs5ElectiveCr,Exyes
SINIntelligent Systemscs5ElectiveExyes
MOBModelling of Biological Systemscs4ElectiveCr,ExP - 26 / Cp - 13yes
PGRComputer Graphicscs5ElectiveExP - 39 / Cp - 6 / PR - 7yes
POVaComputer Visionen5ElectiveExyes
PGPaAdvanced Computer Graphicsen5ElectiveExP - 26 / PR - 26yes
PCSAdvanced Digital Systemscs5ElectiveExP - 26 / Cp - 10 / PR - 16yes
PDBAdvanced Database Systemscs5ElectiveCr,ExP - 26 / COZ - 6 / Cp - 6 / PR - 14yes
PKSAdvanced Communication Systemscs5ElectiveCr,ExP - 39 / L - 6 / PR - 7yes
PDIDistributed Application Environmentcs5ElectiveExP - 26 / Cp - 6 / PR - 20yes
ROBaRoboticsen5ElectiveExyes
SMTSeminar of Mathematical Structurescs2ElectiveCryes
SRIStrategic Management of Information Systemscs5ElectiveExyes
TAMaApplication Development for Mobile Devicesen5ElectiveGCryes
VINComputer Artcs5ElectiveGCryes
ZPXProfessional Practice, Abroaden5ElectiveCryes
ZZNKnowledge Discovery in Databasescs5ElectiveCr,ExP - 39 / PR - 13yes
ZPJaNatural Language Processingen5ElectiveExyes
Any year of study, summer semester
AbbreviationTitleL.Cr.Com.Compl.Hod. rozsahGr.Op.
FLPFunctional and Logic Programmingcs5CompulsoryCr,ExP - 26 / Cp - 12 / PR - 14yes
LOGLogiccs5CompulsoryCr,ExP - 26 / COZ - 26yes
PRLParallel and Distributed Algorithmscs5CompulsoryCr,Exyes
PESPetri Netscs5CompulsoryExP - 39 / Cp - 6 / PR - 7yes
VNVHigh Performance Computationscs5CompulsoryExyes
AGSAgents and Multiagent Systemscs5Compulsory-optionalExP - 26 / Cp - 13 / PR - 13yes
BINBio-Inspired Computerscs5Compulsory-optionalExP - 26 / Cp - 8 / PR - 18yes
DJADynamic Languagescs5Compulsory-optionalExP - 26 / Cp - 6 / PR - 20yes
FIKPhilosophy and the Culturecs3Compulsory-optionalCrP - 26yes
KKOData Coding and Compressioncs5Compulsory-optionalCr,ExP - 26 / PR - 26yes
HKOCommunication Skillscs3Compulsory-optionalCrCOZ - 26yes
HKAAssertiveness and Conflictscs3Compulsory-optionalCrCOZ - 26yes
KRYCryptographycs5Compulsory-optionalCr,ExP - 26 / PR - 13yes
OPMOptimizationcs4Compulsory-optionalCr,ExP - 26 / Cp - 13yes
PRMFundamentals of Lawcs3Compulsory-optionalCryes
HPRPresentation Skillscs3Compulsory-optionalCrCOZ - 26yes
HPOPersonality Psychologycs3Compulsory-optionalCrCOZ - 26yes
RETRhetoriccs3Compulsory-optionalCryes
SNTSimulation Tools and Techniquescs5Compulsory-optionalCr,Exyes
SLOaComplexityen5Compulsory-optionalExyes
SSPStochastic Processescs4Compulsory-optionalCr,ExP - 26 / CPP - 13yes
HVRLeadership and People Managementcs3Compulsory-optionalCrCOZ - 26yes
EVOApplied Evolutionary Algorithmscs5ElectiveExP - 26 / Cp - 8 / PR - 18yes
ARCParallel System Architecture and Programmingcs5ElectiveCr,ExP - 39 / Cp - 12 / PR - 13yes
BIFBioinformaticscs5ElectiveExP - 26 / Cp - 12 / PR - 14yes
FVSFunctional Verification of Digital Systemscs5ElectiveExP - 26 / L - 8 / PR - 18yes
FYOPhysical Opticscs5ElectiveExP - 26 / COZ - 13 / PR - 13yes
WAPInternet Applicationscs5ElectiveCr,Exyes
MPRProject Managementcs5ElectiveCr,ExP - 26 / COZ - 4 / Cp - 2 / PR - 20yes
MEKEconomics for Managerscs5ElectiveCr,ExP - 26 / COZ - 26yes
MARMarketingcs5ElectiveCr,ExP - 26 / COZ - 26yes
MMATMatrices and Tensors Calculuscs5ElectiveCr,ExP - 26 / Cp - 18 / O - 8yes
MULMultimediacs5ElectiveExP - 26 / Cp - 13 / PR - 13yes
NAVDesign of External Adapters and Embedded Systemscs5ElectiveExP - 26 / L - 16 / PR - 10yes
NSBProjecting, Administration and Securitycs5ElectiveCr,ExP - 26 / L - 12 / PR - 6yes
PISAdvanced Information Systemscs5ElectiveCr,ExP - 39 / PR - 13yes
POSAdvanced Operating Systemscs5ElectiveExP - 39 / PR - 13yes
PMAProject Managercs5ElectiveGCrP - 26 / COZ - 26yes
PDSData Communications, Computer Networks and Protocolscs5ElectiveExP - 39 / COZ - 4 / L - 2 / PR - 7yes
ROSaReal-Time Operating Systemsen5ElectiveExyes
STMStrategic Managementcs5ElectiveCr,Exyes
SPPFault Tolerant Systemscs5ElectiveCr,Exyes
VIZaVisualization and CADen5ElectiveGCryes
VYFComputational Photographycs5ElectiveGCryes
VGEComputational Geometrycs5ElectiveExyes
MZSAdvanced Methods of Signal Processingcs6ElectiveCr,ExP - 39 / Cp - 26yes
ZPXProfessional Practice, Abroaden5ElectiveCryes
ZPOImage Processingcs5ElectiveExyes
ZRESpeech Signal Processingcs5ElectiveExyes