负责人：Michèle Soria
www.revefrance.com
网址：
http://www-master.ufr-info-p6.jussieu.fr/specialite/stl/
我是从M2读起的，所以这里就只讲我在M2上过的一些课。我是选APr的
www.revefrance.com
STL包含了国内计算机系的
软件理论方向和
软件应用方向，着重就是“
软件”了。
下属几个方向：TA (Technologie appliqué) : 纯粹的应用，课程基本上都是projet ，Professionnel的
www.revefrance.com
LS (Logiciel Sur) : 软件可靠性，只要是软件的验证与测试 Professionel的
www.revefrance.com
AP (Algorithme et Programmation) : 又分为APi(professionel)与 APr(recherche)，APi感觉和TA差别不大
www.revefrance.com
IM : 数学方向的，基本都是recherche
www.revefrance.com
Calcule Scientifique : 今年新加的，主要是计算机代数的东西吧
www.revefrance.com
www.revefrance.com
课程分为3个vague,9月底到11月底为第一个vague, 12月到1月底为第二个，到3月底是第三个
www.revefrance.com
前两个vague 修满30学分，基本上一门课3学分，也就是10门课，成绩算平均。
www.revefrance.com
Algorithmes sur les séquences en bioinformatique (3 ects) 第二个vague的课
www.revefrance.com
有一些生物的知识在里面，而且老师上课似乎很喜欢牵扯到生物上去，所以我基本是放弃了。
考试占30%，另外做一个expose或者projet占70%。笔试就是4道问答题，我了背一下前几年的大概10几道,
www.revefrance.com
有两道一样的,另两道直接空着,最后就是10分, 课都没怎么听,当然不想做projet, expose的话就是看老师给
www.revefrance.com
的几篇文章,然后介绍一下,花了几天准备了一下,老师给了14分.
www.revefrance.com
www.revefrance.com
Analyse d'algorithmes (6 ects) 第一第二个vague的课
www.revefrance.com
主要是组合学的东西,不过比国内教得好,很系统,主要是生成函数的应用.一共4个老师教,每人教4周.
www.revefrance.com
Michele Soria讲生成函数,涉及到很多实际问题. Flajolet(
法国搞算法最猛的人了)讲极点分析,和奇异点分析,很多复变函数的东西.上课的教材就是他写,
www.revefrance.com
我看了n遍,非常非常好的
书,在他的主页上有
下载,强烈建议要搞算法研究的同学,细读n遍.
后面两个老师举例子讲应用.考试分两次,有难度.
www.revefrance.com
Architectures logicielles pour l'autoadaptabilité dynamique (3 ects) 第一个 vague的课
www.revefrance.com
Jacque Malenfant上的,这个人是计算机系的负责人,说话有点快,不过发音还算清晰,recherche的人最后做一个presentation,题目自选
www.revefrance.com
professionnel的人projet加考试,他给分比较...pro的同学跟我说考试和projet平均只有5分,recherche似乎还好,都在10分以上的
内容只要是Java最新特性的应用,还涉及了一些古老的语言smalltalk,lisp之类的,不过不懂也没关系
www.revefrance.com
Calcul formel et cryptologie (3 ects) vague 2的课
很难的一门课,基本上都是recherche人选的,一共只有6个人上吧,那五个M1时候都学过calcul formel...计算机代数的东西
www.revefrance.com
最后在我们强烈要求下,不考试,每个人做expose,就是看一篇相关文章,然后讲一下. 老师很照顾我给了我最高分,其实我是学得
最糟糕的...顺便说一下跟密码学一点关系都没有
www.revefrance.com
Conception des langages (3 ects) vague 2的课
Pascal Manoury上的,这个老头子说话声音很小,我坐在第一排经常听不见他在说什么,内容就是上下文文法加一点lambda演算,
不怎么难的,平时有两次作业,一定要交算16%得分,有个projet算24%的分,考试算60%, 你要是会lambda演算,就可以直接去考试了
保证15分以上
www.revefrance.com
Interprétation abstraite (3 ects) vague 1 et 2的课
www.revefrance.com
Mattieu Jaume的课,LS的负责人,这门课吗,主要是软件验证的东西,挺有意思的,顺便学一下ocaml,他发笔记,你如果好好做实验
收获不小,当然不做,他也不会管你,最后只看考试,题目和上一年的基本一模一样...好好准备,包你满意
www.revefrance.com
Langages synchrones (3 ects) vague 2
www.revefrance.com
在CNAM 上的,主要讲Esterel 和Lustre两种语言,讲义貌似不能,考试和小测验非常难...全是选择题,你以为你学懂了这两个语言,
等你看到题目,你就会觉得什么都没学会...不过不要灰心,还有个projet,好好做就是了,老师好像说过,projet做得好,考试考砸
www.revefrance.com
也不要紧...基本上我觉得所有人都会考砸
www.revefrance.com
www.revefrance.com
Méthodes de traitement de l'image (3 ects) vague 1
www.revefrance.com
跟IMAGE的一起上,就是数字图像处理入门,不是很强调计算,你只要把ppt上的基本概念搞清楚就行,考试量比较大,当然你做熟了前几年的考题
www.revefrance.com
的话,是有很大帮助的...及格不难,高分不易
www.revefrance.com
Validation des logiciels numériques (3 ects) vague 2
www.revefrance.com
讲怎么处理计算精度的,有点意思,要做个expose不过好像不算分,然后考试么,有点难,但有足够让你考及格的分
www.revefrance.com
AAR (3 ects) vague 3
www.revefrance.com
Christien Quennec上的,很认真的一个老头子,这门课是Web的前沿技术,虽然上的不深,但能让你知道很多东西,
hibernate,GWT,AJax...每周一个projet很紧张的,不过不影响最后的分数,考试就是平时每次小测验的题目,
去听课的都是15分以上
www.revefrance.com
www.revefrance.com
其他没选的课我就不乱说了...选择 professionnel方向的话,上的课最多只有这个一半,其它都是实验课,如
www.revefrance.com
DB,J2EE,.Net等等,所有实验至少两人一组...
实习:
没怎么找,就到了lip6,基本第二个 vague时,很多任课老师会问你想不想去他的实验室做stage,因为大部分是不给钱的,
所以想去很容易,尤其你那门课学得比较好时.当然如果你要继续读博士,M2的成绩是非常重要的,实验室也要好好选,
www.revefrance.com
你最好就直截了当跟要你去实习的老师说.
读pro的同学基本都在公司里找到了工作或者实习,毕业出去的工资31000 -- 38000(年薪税前)左右.
