由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Toronto版 - UT CS PHD免不免学费
相关主题
[转载] 大火对Tory的'Road Ahead'施政计划有什么看法?攒RP分享OPT加急经验
UT Austin的CS到底怎样?请问和recruiter见面需要formal dressup么?
这两个地方在brooklyn安全吗?谢谢。在美求学6年, 求1098-T表格的用法?
UOT 的Mingjun Zhang老师人怎么样?(有包子哦)EB3 to EB2
UOT 的Mingjun Zhang老师人怎么样?(有包子哦) (转载)Re: 中国的一些让人沉痛的世界排名 (转载)
直接 Associate Professor 的可能性cogt about 529
会用“大血逼“123诚心请教一个问题
寄出去formal contract是不是就可以正式交辞职信啦?美國槍支支持者沉默后終于開腔
相关话题的讨论汇总
话题: ut话题: cs话题: phd话题: formal话题: method
进入Toronto版参与讨论
1 (共1页)
b***n
发帖数: 16
1
今天和一个报价利牙DD争起来.他说UT CS PHD TUITION是不用交的,TA/RA全部净赚.
可是真的说?偶听过去有人8G说不是.但这人新事但但,说自己在UT CS有内线,不会错
的.偶唯一的内线罗马尼亚MM在忙考试,不好意思去打搅.只好先来这里8G.
xt
发帖数: 17532
2

从来没听说过免学费.UoT的学生很苦,生活费高而且钱不比别处多太多.

【在 b***n 的大作中提到】
: 今天和一个报价利牙DD争起来.他说UT CS PHD TUITION是不用交的,TA/RA全部净赚.
: 可是真的说?偶听过去有人8G说不是.但这人新事但但,说自己在UT CS有内线,不会错
: 的.偶唯一的内线罗马尼亚MM在忙考试,不好意思去打搅.只好先来这里8G.

S******e
发帖数: 688
3
烧出来就好了

【在 xt 的大作中提到】
:
: 从来没听说过免学费.UoT的学生很苦,生活费高而且钱不比别处多太多.

s*********b
发帖数: 815
4
免ahead。只不过系里帮你交国际学生和本国学生的差价而已。绝对内线消息,呵呵。

【在 b***n 的大作中提到】
: 今天和一个报价利牙DD争起来.他说UT CS PHD TUITION是不用交的,TA/RA全部净赚.
: 可是真的说?偶听过去有人8G说不是.但这人新事但但,说自己在UT CS有内线,不会错
: 的.偶唯一的内线罗马尼亚MM在忙考试,不好意思去打搅.只好先来这里8G.

xt
发帖数: 17532
5

Who is your boss? hehe

【在 s*********b 的大作中提到】
: 免ahead。只不过系里帮你交国际学生和本国学生的差价而已。绝对内线消息,呵呵。
s*********b
发帖数: 815
6
呵呵,多大的系统方面的研究强不强啊?偶还是觉得搞系统方面的研究,就算不出成果,
能把操作系统和compiler/vm学透也很酷,比搞无聊的formal method爽。



【在 xt 的大作中提到】
:
: Who is your boss? hehe

xt
发帖数: 17532
7


好象formal method是UoT的强项啊,比如Cook老头就是干这类东西的.他的学生干Faculty
的很多.
OS没听说怎么样,有个Graham很变态,属于出作业题故意不让你看明白的那种人.Compiler
好象有Dave Wartman,是个jew,长得也象rabbi.不过人很有趣.水平不清楚.

【在 s*********b 的大作中提到】
: 呵呵,多大的系统方面的研究强不强啊?偶还是觉得搞系统方面的研究,就算不出成果,
: 能把操作系统和compiler/vm学透也很酷,比搞无聊的formal method爽。
:
: 。

s*********b
发帖数: 815
8
多谢T老大了。Cook搞的是CS Theory,和formal method区别还是挺大的。Ric Hener搞
的那套才是formal method。顺便说一句,偶想来觉得formal method是工具不是手段,希
望用数学(主要是逻辑)作为手段来编程的人简直就没有学过经济(E.W. Dijkstra是我的偶
像的说,但偶还是忍不住说点formal method的坏话了,呵呵)。数学论文那么多peer
review出错的比例还大,凭什么说把从下至上的定理推导式的证明就可以保证编程就没有
错啊?如果算上培训合格的能做peer review和formal method推导的程序员的费用,开发
成本肯定比做测试来得高。
Graham的课偶也修过啊。老头端的变态。倒不是说他的作业怎么难或不明白,而在于老头
讲课没有停顿,从头连图都不画一个,而且讲课侧重所谓的性能,根本不提操作系统设计
方面的精妙之处,实在催眠。但这也就罢了,老头最变态的地方在于布置的作业极其无聊
,从来不结合操作系统的设计来布置作业。每次都叫俺们针对某个功能,比如paging,编
写6个左右常用算法,然后比较他们的性能。就

【在 xt 的大作中提到】
:
: ,
: 好象formal method是UoT的强项啊,比如Cook老头就是干这类东西的.他的学生干Faculty
: 的很多.
: OS没听说怎么样,有个Graham很变态,属于出作业题故意不让你看明白的那种人.Compiler
: 好象有Dave Wartman,是个jew,长得也象rabbi.不过人很有趣.水平不清楚.

xt
发帖数: 17532
9

Cook讲的那课是我目前为止听过的最难的一门,我还号称是prequsite高分,结果他用了不

30分钟就把我彻底搞晕了.


听说Hehner人还是不错的,他讲课很好玩.水平也不赖,整天背着书包骑自行车.

Graham是我在UT遇到最变态的老师.我公开在ut.cdf.general上讲他的坏话.

Wortman的课我上过,分数还不低呢.hehe
他讲课很有趣,不过那几个TA 真的不争气.

【在 s*********b 的大作中提到】
: 多谢T老大了。Cook搞的是CS Theory,和formal method区别还是挺大的。Ric Hener搞
: 的那套才是formal method。顺便说一句,偶想来觉得formal method是工具不是手段,希
: 望用数学(主要是逻辑)作为手段来编程的人简直就没有学过经济(E.W. Dijkstra是我的偶
: 像的说,但偶还是忍不住说点formal method的坏话了,呵呵)。数学论文那么多peer
: review出错的比例还大,凭什么说把从下至上的定理推导式的证明就可以保证编程就没有
: 错啊?如果算上培训合格的能做peer review和formal method推导的程序员的费用,开发
: 成本肯定比做测试来得高。
: Graham的课偶也修过啊。老头端的变态。倒不是说他的作业怎么难或不明白,而在于老头
: 讲课没有停顿,从头连图都不画一个,而且讲课侧重所谓的性能,根本不提操作系统设计
: 方面的精妙之处,实在催眠。但这也就罢了,老头最变态的地方在于布置的作业极其无聊

r*f
发帖数: 39119
10
I was told renee miller is to be full prof soon.

【在 xt 的大作中提到】
:
: Cook讲的那课是我目前为止听过的最难的一门,我还号称是prequsite高分,结果他用了不
: 到
: 30分钟就把我彻底搞晕了.
: 希
: 偶
: 听说Hehner人还是不错的,他讲课很好玩.水平也不赖,整天背着书包骑自行车.
: 头
: Graham是我在UT遇到最变态的老师.我公开在ut.cdf.general上讲他的坏话.
: 不

相关主题
直接 Associate Professor 的可能性攒RP分享OPT加急经验
会用“大血逼“123请问和recruiter见面需要formal dressup么?
寄出去formal contract是不是就可以正式交辞职信啦?在美求学6年, 求1098-T表格的用法?
进入Toronto版参与讨论
xt
发帖数: 17532
11

wow, she rises like a rocket!

【在 r*f 的大作中提到】
: I was told renee miller is to be full prof soon.
r*f
发帖数: 39119
12
yup! just 2 yrs after she became associate!

【在 xt 的大作中提到】
:
: wow, she rises like a rocket!

s*********b
发帖数: 815
13
嗯,据说她很牛。我还以为她已经是full prof乐。

【在 xt 的大作中提到】
:
: wow, she rises like a rocket!

xt
发帖数: 17532
14

她好象是1999年到UT的.

【在 s*********b 的大作中提到】
: 嗯,据说她很牛。我还以为她已经是full prof乐。
r*f
发帖数: 39119
15
she's younger generation bah...

【在 s*********b 的大作中提到】
: 嗯,据说她很牛。我还以为她已经是full prof乐。
b***n
发帖数: 16
16

看了看他的网页,还是ASSOC PROF.据说她先去OSU,但没有拿到TENURE.

【在 r*f 的大作中提到】
: she's younger generation bah...
r*f
发帖数: 39119
17
虚,先别说啦,人家还没有公开呐。

【在 b***n 的大作中提到】
:
: 看了看他的网页,还是ASSOC PROF.据说她先去OSU,但没有拿到TENURE.

xt
发帖数: 17532
18

不对啊,我还没有收到信.我上过她的课,按说学校都会
发信征求意见的.

【在 r*f 的大作中提到】
: 虚,先别说啦,人家还没有公开呐。
r*f
发帖数: 39119
19
估计你已经被除名了,哈哈哈。

【在 xt 的大作中提到】
:
: 不对啊,我还没有收到信.我上过她的课,按说学校都会
: 发信征求意见的.

1 (共1页)
进入Toronto版参与讨论
相关主题
美國槍支支持者沉默后終于開腔UOT 的Mingjun Zhang老师人怎么样?(有包子哦) (转载)
版主定的什么荒谬版规?直接 Associate Professor 的可能性
加拿大边境服务局的避难规则支持传统做法会用“大血逼“123
22岁中国最年轻教授刘路:我抵制应试教育(组图)寄出去formal contract是不是就可以正式交辞职信啦?
[转载] 大火对Tory的'Road Ahead'施政计划有什么看法?攒RP分享OPT加急经验
UT Austin的CS到底怎样?请问和recruiter见面需要formal dressup么?
这两个地方在brooklyn安全吗?谢谢。在美求学6年, 求1098-T表格的用法?
UOT 的Mingjun Zhang老师人怎么样?(有包子哦)EB3 to EB2
相关话题的讨论汇总
话题: ut话题: cs话题: phd话题: formal话题: method