FS - Master en informatique 2018-2019

télécharger le plan en pdftélécharger les acquis de formation
CoursEnseignantssemestre d'automneAutomnesemestre de printempsPrintempsExamenCrédits
   Master of Science in Computer ScienceTOTAL 90
      Teaching UnitsTOTAL 60
         GeneralTOTAL 
            Interdisciplinary ComputingM. Courant   2ph+1ph    oral  5   
            User Centered Design (University of Fribourg)D. Lalanne
A. Lisowska Masson   		2ph+1ph    écrit  5   
            Multimodal User InterfacesD. Lalanne     2ph+1ph  écrit  5   
            R&D WorkshopP. KROPF
H. MERCIER
J. SAVOY   		  4ph  controle continu  10   
            Seminar Interdisciplinary Issues in ICTM. Courant   1pg    controle continu  5   
            Seminar Interdisciplinary Issues in ICTM. Courant     1pg  controle continu  5   
         Distributed SystemsTOTAL 
            Internet of ThingsT. Braun     2ph+1ph  écrit  5   
            Advanced Networking and Future InternetT. Braun   2ph+1ph    écrit  5   
            Distributed SystemsP. KROPF
V. Schiavoni   		2ph+2ph    écrit  5   
            SecurityH. SANGLARD   2ph+2ph    oral  5   
            Cloud ComputingP. FELBER
L. Leonini   		2ph+2ph    écrit  5   
            Advanced Software Engineering (University of Fribourg)J. Pasquier   2ph+1ph    écrit  5   
            Verification of Cyber-physical SystemsU. Ultes-Nitsche     2ph+1ph  oral  5   
            Scientific Reading in Computer NetworksT. Braun   1pg    controle continu  5   
            Scientific Writing in Computer NetworksT. Braun   1pg    controle continu  5   
            Seminar Communication and Distributed SystemsT. Braun   2ph    controle continu  5   
            Scientific Reading in Computer NetworksT. Braun     1pg  controle continu  5   
            Scientific Writing in Computer NetworksT. Braun     1pg  controle continu  5   
            Seminar Communication and Distributed SystemsT. Braun     2ph  controle continu  5   
            Seminar Distributed Trust and BlockchainsC. Cachin     2ph  controle continu  5   
            Seminar Foundations of Dependable Systems IU. Ultes-Nitsche   1pg    controle continu  5   
            Seminar Foundations of Dependable Systems IIU. Ultes-Nitsche     1pg  controle continu  5   
         Advanced Software EngineeringTOTAL 
            Compiler ConstructionO. Nierstrasz     2ph+1ph  écrit  5   
            Software Modeling and AnalysisM. Ghafari
O. Nierstrasz   		2ph+1ph    écrit  5   
            Concurrency: Multi-core Programming and Data ProcessingP. FELBER     2ph+2ph  écrit  5   
            Seminar Software CompositionO. Nierstrasz   2ph    controle continu  5   
            Seminar Software CompositionO. Nierstrasz     2ph  controle continu  5   
         Advanced Information ProcessingTOTAL 
            Computer VisionP. Favaro   2ph+1ph    écrit  5   
            Advanced Machine LearningP. Favaro     2ph+1ph  écrit  5   
            3D Geometry ProcessingD. Bommes     2ph+1ph  écrit  5   
            Machine learning and data miningJ. SAVOY   2ph+2ph    écrit  5   
            Statistical Learning MethodsJ. SAVOY   2ph+2ph    écrit  5   
            Applied Coding and Information TheoryH. MERCIER     2ph+2ph  oral  5   
            Design and Graphics Programming for Game Development (University of Fribourg)M. Rigamonti     2ph+1ph  écrit  5   
            Pattern RecognitionA. Fischer     2ph+1ph  écrit  5   
            Very Deep Learning - Recent Methods and TechnologiesM. Liwicki   2ph+1ph    oral  5   
            Seminar Computer VisionP. Favaro   2ph    controle continu  5   
            Seminar Computer VisionP. Favaro     2ph  controle continu  5   
            Seminar Computer GraphicsD. Bommes     2ph  controle continu  5   
            Seminar Natural Language ProcessingJ. SAVOY   2ph    controle continu  5   
            Seminar Affective Computing for Empathic InteractionO. Abou Khaled
D. Lalanne
E. Mugellini   		1pg    controle continu  5   
            Seminar Chatbots and Conversational AgentsO. Abou Khaled
P. Cudré-Mauroux
E. Mugellini   		1pg    controle continu  5   
            Seminar Building Data Visualization IF. Evéquoz
D. Lalanne
J. Nembrini   		1pg    controle continu  5   
            Seminar Building Data Visualization IIF. Evéquoz
D. Lalanne
J. Nembrini   		  1pg  controle continu  5   
         LogicTOTAL 
            Justification LogicT. Studer   2ph+1ph    écrit  5   
            Working Group Operations, Sets, and TypesG. Jäger   2ph+1ph    oral  5   
            Probabilistic Algorithms (6 ECTS)I. COTOFREI   4ph    écrit, Note d'enseignement  5   
            Automata on Infinite StructuresU. Ultes-Nitsche   2ph+1ph    oral  5   
            Seminar Logic and Theoretical Computer ScienceG. Jäger   2ph    controle continu  5   
            Seminar Logic and Theoretical Computer ScienceT. Studer     2ph  controle continu  5   
            Seminar Logic and InformationG. Jäger
G. Metcalfe
K. STOFFEL
U. Ultes-Nitsche   		1pg    controle continu  5   
         Information Systems and Decision SupportTOTAL 
            E-governement frameworksA. SANDOZ     2ph+2ph  oral  5   
            Quantitative Pricing and Revenue OptimizationR. Bürgy   2ph+1ph    écrit  5   
            Advanced Mathematical Modeling and OptimizationR. Bürgy     2ph+1ph  écrit  5   
            Graph Theory and ApplicationsB. Ries   2ph+1ph    écrit  5   
            Seminar Computing with WordsE. Portmann     1pg  controle continu  5