[轉錄][資訊] 台大電機CS/EDA 自動驗證/軟體測試實驗 …

看板NTUEE_VAL作者arjuna (虛榮的隊形)時間17年前 (2007/03/31 15:32)推噓4(4推 0噓 0→)

留言4則, 2人參與討論串1/1

※ [本文轉錄自 graduate 看板] 作者: Fiesta (佛埃斯特) 看板: graduate 標題: [資訊] 台大電機CS/EDA 自動驗證/軟體測試實驗室自介時間: Fri Mar 30 12:28:06 2007 Introduction of VAL and STL 自動驗證/軟體測試實驗室簡介(收NTUEE CS組及NTUGIEE EDA組的學生) 嗯我就要畢業了,去年關於我們實驗室的簡介也是我寫的,今年找不到檔案只好再寫一次. 當助教的時候跟其他實驗室的聊天,就會聽到不實的傳聞,例如我們實驗室很操啦之類的. 我覺得不是親自來看看光道聽塗說是不準的(其實很歡樂喔,實驗室的氣氛很好).假如你是沒有規劃的人就慢慢照老師所說的走就會順利畢業(很多人在意這個我想). 我們實驗室的指導教授是王凡老師,老師在研究方面非常認真,在我們領域的重要期刊上面也有不錯的成果.之前老師接辦conference也有邀請Turing Award winner來演講(Amir Pnueli, 1986 Turing Award for contribution of formal methods)那時覺得還蠻酷的. 最近每年都有領碩士班A類獎學金的強者(明年大概也會確定會有吧),所以雖然博士班學長們比較忙,但是碩士班的學長一定有辦法罩你們的,我覺得這個還蠻重要的,要常常跟學長討論.博班的學長很有料要自己去挖.你會發現修課的時候博班學長就會變成魔人…很罩我們實驗室基本上是純粹作軟體的,但是老師並不限制大家的作為,假如你自己想不出來題目,老師也會給你一個題目. 在verification automation方面,目前的作為是有一個博士班,兩個碩士班(包括我)在研究(老師之前的研究及成果大多都在這裡,也有投上非常好的 conference),軟體的正規驗證在2000年之後開始繼續熱起來,因為大型軟體的複雜度是與硬體不相上下的,有些軟體是具有即時的特性的,例如核電廠的控制軟體等等,這些軟體的特性是絕對不能有錯誤,所以利用正規方法來進行驗證就有其必要性(一般的小型軟體例如網站開發之類的就算了,殺雞用UML加design pattern就很夠力了) 這個東西感覺在台灣目前不夠熱,但我個人覺得將來並不會是這樣,假如各位到UC Berkeley EECS這個強者的殿堂去看看,有一組教授(不是一個而已,是七八個教授如Thomas Heizenger等人)組成的team ( 有一個special seminar稱為CHESS)就在UC Berkeley EECS裡面很活躍. 在software testing方面目前正在進行的是研發一個open testing architecture,這個成果最近我碩士班的其他同學要投paper. 另外博士班是在做韌體的自動測試產生架構, 至於投了什麼我就不夠清楚了. 碩一基本上多是在修課,假如你有可以折抵的學分,你或許可以有空做一些研究假如你是以求職為主的話,今年我們實驗室找國防役的也都有找到自己想要的國防役. 若你有打算繼續念博士班的話, 在實驗室兩年好好規劃也可以有不錯的成果,可以讓你繼續博班的學習. 若是碩二開始進度的話,畢業之前要發一篇第一作者的 paper不會是問題. 因為我們實驗室不會搞那種掛來掛去的東西,但我覺得有辦法的人是可以生兩篇第一作者的paper(我正努力朝此邁進但看來是沒望了…) 我是誠心的希望實驗室能夠一直往上提升,所以希望有心作研究的學弟能夠多多考慮我們實驗室(實驗室碩一也都會有助理經費,這是老師希望大家好好研究的心意,省點用應該是不須煩惱經濟問題)我覺得老師很有料,若你有心學習可以學到非常非常多,我個人是非常衝的,跟老師討論都會亂嗆(真是不要命),但老師都會很有耐心跟我討論,並且常常鼓勵我們大家.師者傳道授業解惑也,我覺得老師在這三者方面,假如你是一個碩士班的學生,應該是覺得老師無可挑剔的. 希望大家能到我們實驗室親自來看看,我想我大部分時間都會在實驗室吧,坐在進門第一個位置就是我啦(自介一下)歡迎跟學長們問問情況! 我們的位置是在博理館618室(老師研究室就在對面門) 我們的網頁是 http://val.ee.ntu.edu.tw Chihhong Patrick Cheng -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.42.215

推

cooller

03/30 12:42,

03/30 12:42

推

CWDaurora

03/30 12:48,

03/30 12:48

推

durgon

03/30 13:04,

03/30 13:04