學術報告—UOS國產操作系統與軟件形式化描述 7月15日下午四點，復雜網絡與可視化研究所學術交流會議在主教學樓A414室召開，研究所老師以及2018級、2019級全體碩士研究生出席了本次會議。 在本次交流會上，2019級碩士研究生鄭新新向大家分享了使用國產操作系統UOS的感受并介紹了一些基于UOS的國產編譯器，李紅梅向大家介紹了關于復雜網絡軟件形式化描述等方面的研究工作。會上，兩位同學講述的內容引起了大家的熱烈討論。2019級研究生作報告-12019級研究生作報告-2
2019級研究生作報告-1
2019級研究生作報告-2