FS - Master en informatique 2020-2021

télécharger la liste en pdftélécharger les acquis de formation
CoursEnseignant-e-ssemestre 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   
            Seminar Civil Law and Computer ScienceC. Cachin     1pg  controle continu  5   
            R&D WorkshopP. KROPF
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   
            CryptographyC. Cachin   2ph+1ph    oral  5   
            Cryptographic ProtocolsC. Cachin     2ph+1ph  oral  5   
            Distributed SystemsP. KROPF
V. Schiavoni   		2ph+2ph    écrit  5   
            SecurityH. SANGLARD   2ph+2ph    oral  5   
            Cloud ComputingL. 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   
            Seminar Cryptography and Data SecurityC. Cachin
G. Marson   		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 Cryptography and Data SecurityC. Cachin
G. Marson   		  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 
            Software Modeling and AnalysisO. Nierstrasz
N. Stulova   		2ph+1ph    écrit  5   
            Programming LanguagesO. 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   
            Applied OptimizationD. Bommes   2ph+1ph    écrit  5   
            Information retrieval and internetM. BRASCHLER   2ph+2ph    écrit  5   
            Machine learning and data miningM. PASIN   2ph+2ph    écrit  5   
            Design and Graphics Programming for Game Development (University of Fribourg)M. Rigamonti     2ph+1ph  écrit  5   
            Pattern RecognitionA. Fischer     2ph+1ph  écrit  5   
            Document Image AnalysisR. Ingold     2ph+1ph  oral  5   
            Seminar Computer Graphics and Geometry ProcessingD. Bommes   2ph    controle continu  5   
            Seminar Machine Learning and Artificial IntelligenceP. Favaro   2ph    controle continu  5   
            Seminar Computer Graphics and Geometry ProcessingD. Bommes     2ph  controle continu  5   
            Seminar Machine Learning and Artificial IntelligenceP. Favaro     2ph  controle continu  5   
            Seminar Affective Computing for Empathic Behaviour ChangeO. Abou Khaled
D. Lalanne
E. Mugellini   		1pg    controle continu  5   
            Seminar Human-Computer Interaction ID. Lalanne
J. Nembrini   		1pg    controle continu  5   
            Seminar Chatbots and Conversational AgentsO. Abou Khaled
P. Cudré-Mauroux
E. Mugellini   		1pg    controle continu  5   
            Seminar Human-Computer Interaction IID. Lalanne     1pg  controle continu  5   
            Seminar Explainable AI - Human-Computer Interaction meets Artificial IntelligenceO. Abou Khaled
R. Ingold
E. Mugellini   		  1pg  controle continu  5   
         LogicTOTAL 
            Justification LogicT. Studer   2ph+1ph    écrit  5   
            Automata on Infinite StructuresU. Ultes-Nitsche   2ph+1ph    oral  5   
            Seminar Logic and Theoretical Computer ScienceG. Metcalfe
T. Strahm
T. Studer   		2ph    controle continu  5   
            Seminar Logic and Theoretical Computer ScienceT. Strahm
T. Studer   		  2ph  controle continu  5   
         Information Systems and Decision SupportTOTAL 
            E-governement frameworksA. SANDOZ     2ph+2ph  oral  5   
            Introduction to Recommender SystemsE. Portmann
L. Terán   		  2ph+1ph  écrit  5   
            Graph Theory and ApplicationsD. Schindl   2ph+1ph    écrit  5   
            Fuzzy Systems ModelingE. Portmann     2ph+1ph  écrit