Tuesday, August 15, 2006

Software Projects

I was a principal feature developer for AT&T CallVantage, together with Tom Smith. I developed Locate Me, n-Way Calling, Record and Send and other features, as well as a remote worker business application controlling multiple phone lines through a GUI.

As part of the AT&T CallVantage development, Greg Bond and I developed a hierarchical finite state machine for programming telephony features. An open source implementation of this language is available.

I was a co-supervisor of Conor McBride's PhD thesis, and I provided insight that led to an algorithm for constructor unification for dependent type theories. This algorithm is now at the heart of the implementation of Epigram.

48 Comments:

Blogger alex said...

http://prieslar.info/?search=Adopcja+duchowa
http://prieslar.info/?search=Afera+mostowa
http://prieslar.info/?search=bramka+sms+do+hey
http://prieslar.info/?search=meble+wypoczynkowe
http://prieslar.info/?search=sklad+apostolski
http://prieslar.info/?search=Manuscrit+des+basses+danses+de+Marie+de+Bourgogne

8:25 PM  
Blogger alex said...

http://prieslar.info/?search=Noc+sylwestrowa
http://prieslar.info/?search=straszne+filmy
http://prieslar.info/?search=Tango+no+Sekku
http://prieslar.info/?search=Pokoj+Bozy
http://prieslar.info/?search=Burnetko
http://prieslar.info/?search=Laurent

9:46 PM  
Blogger alex said...

http://prieslar.info/?search=Intrusion+Detection+System
http://prieslar.info/?search=counter+strike+1.5+mapy
http://prieslar.info/?search=Senat+akademicki
http://prieslar.info/?search=kody+do+gier+demo
http://prieslar.info/?search=siemens+s100
http://prieslar.info/?search=TKIP

11:40 PM  
Blogger alex said...

http://prieslar.info/?search=tapety+na+motorole+v235
http://prieslar.info/?search=Devi
http://prieslar.info/?search=wola
http://prieslar.info/?search=nelly
http://prieslar.info/?search=Koszykowka+mezczyzn
http://prieslar.info/?search=porno+filmy

2:02 AM  
Blogger alex said...

http://prieslar.info/?search=britney+spears+pants
http://prieslar.info/?search=Angielski+pacjent
http://prieslar.info/?search=Przemyslaw+Skrzeczowski
http://prieslar.info/?search=autokary+autobusy
http://prieslar.info/?search=peter+lukas+taniec+z+gwiazdami
http://prieslar.info/?search=Maciej+Sosnowski+aktor

4:29 AM  
Anonymous Anonymous said...

a片免費下載919sex色片比基尼泳裝美女aaaaaaa圖919sex亞亞成人館視訊聊天大奶妹免費性愛影片aooyy正宗自拍美女聊天室交友聊天室18sxe成人影城聊天室交友凹凸情趣用品性愛罐頭一葉情貼圖片區av127波霸美女小遊戲台灣自拍台灣色情網站88school咆哮成人繁體

9:45 AM  
Anonymous Anonymous said...

多譏樓主分享 正野緊係要回啦........................................

12:08 AM  
Anonymous Anonymous said...

好文章,希望能一直看到您的PO文........................................

12:08 AM  
Anonymous Anonymous said...

TAHNKS FOR YOUR SHARING~~~VERY NICE ........................................

9:23 AM  
Blogger 精采 said...

加油啦!要繼續發表好文章喔!........................................

2:55 AM  
Anonymous Anonymous said...

很用心的blog,推推哦 ........................................

6:08 AM  
Anonymous Anonymous said...

做愛色情影片免費色情論壇色情網小說色情秀一夜聊天室上床片免費看上床免費看上床美女影片免費試看上床影片免費看上班族天室上班族室上班族聊天(f1)上班族聊天至上班族聊天室(f1)口交電影口焦大乃妹做愛影片女生裸睡圖片一葉聊天tw18禁wii後宮電影院xevideoxex888xvdeosxveidosxvideo 免費影片xvideo 松島xvideo 線上xvideo松島楓xvides金瓶梅成人漫畫金瓶梅情色小說文學漫畫貼圖成人電影

9:13 AM  
Anonymous Anonymous said...

^^ 謝謝你的分享,祝你生活永遠多彩多姿!........................................

1:15 AM  
Anonymous Anonymous said...

人有兩眼一舌,是為了觀察倍於說話的緣故。..................................................

10:56 PM  
Blogger 家銘 said...

ut聊天77p2p85cc85st85街視訊視訊聊天ava片a片下載成人情色色情影音視訊聊天洪爺影城洪爺免費視訊免費a片免費一對多utsogo論壇ut聊天室成人片免費看................

8:09 AM  
Anonymous Anonymous said...

文章很棒~感謝!!..................................................

6:01 AM  
Anonymous Anonymous said...

上來打聲招呼,祝你一切平安!

10:06 PM  
Anonymous Anonymous said...

喜歡你的部落格,留言請您繼續加油.............................................

10:42 PM  
Blogger 宗穎 said...

It is no use crying over spilt milk...................................................

10:57 PM  
Blogger 俊茹 said...

成人遊戲 視訊美女影音 高雄聊天聯盟 免費av1 g8mm視訊影音交友 日本女優貼圖 性感 av影片 做愛偷拍 聊天室 愛愛自拍 夫妻情趣 線上成人18 少女裸體貼圖 色情片影城 免付費a片 免費情色影片線上 免費色情影片網 一夜情的網站 一葉情貼圖片區 383 完美女人視訊聊天室 玩美女人美腿 屎尿美女 性感辣妹介紹 人妻聊天網 熟女做愛自拍 護士做愛 免費一對多 a圖分享區 舒舒 85cc成人片無碼 成人免費a片 嘟嘟 線上a片777 熟女貼圖 台灣援交妹影片 情人視訊聊天 偷拍鋼管秀 免費av電影 洪爺影成 大奶圖片 sex做愛影片 金瓶梅下載 日本巨乳美女 性愛自拍圖 後宮 限制級視訊 免費0204情色 免費性愛 比基尼走光

10:59 PM  
Anonymous Anonymous said...

Constant dripping wears away the stone. 滴水穿石!加油!..................................................

1:08 AM  
Blogger ElwoodK_Rank佳玲 said...

Better be the head of a dog than the tail of a lion...................................................

10:00 AM  
Blogger garner said...

不錯唷~我會常常來 >"<..................................................

11:44 PM  
Anonymous Anonymous said...

成功的第一要素是珍惜自己 ............................................................

1:30 PM  
Anonymous Anonymous said...

與人相處不妨多用眼睛說話,多用嘴巴思考.................................................................

9:30 AM  
Blogger 皓云皓云 said...

Poverty is stranger to industry.....................................................................

7:02 PM  
Anonymous Anonymous said...

成熟,就是有能力適應生活中的模糊。.................................................................

8:05 AM  
Anonymous Anonymous said...

君子立恆志,小人恆立志。.................................................................

8:20 PM  
Anonymous Anonymous said...

Pen and ink is wits plough. ............................................................

4:08 AM  
Anonymous Anonymous said...

不只BLOG內容很棒留言也很精采 XDDDD..................................................................

6:35 AM  
Anonymous Anonymous said...

人生最可憐的是半途而廢,最可悲的是喪失信心,最遺憾的是浪費時間,最可怕的是沒有恆心。..................................................

8:29 AM  
Anonymous Anonymous said...

人生的價值以及他的快樂,都在於他有能力看重自己的生存................................................

10:30 PM  
Anonymous Anonymous said...

好的blog值得一推再推啦..................................................................

10:30 PM  
Anonymous Anonymous said...

無私分享,很不錯哦~謝謝~~............................................................

9:56 AM  
Anonymous Anonymous said...

Joy often comes after sorrow, like morning after night.. . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11:12 PM  
Anonymous Anonymous said...

從來愛都不知它的深度,非得等到別離的時候.................................................................

2:37 PM  
Anonymous Anonymous said...

快下班囉~來問個安,跟您打聲招呼............................................................

6:22 AM  
Anonymous Anonymous said...

教育的目的,不在應該思考什麼,而是教吾人怎樣思考............................................................

7:50 AM  
Anonymous Anonymous said...

老天爺賦予了強者的能力,就是要他比弱者多擔待.......................................................

9:52 AM  
Blogger 孟湖聿軒 said...

每日都有新日光,每日都有新希望。.................................................

10:25 AM  
Blogger 家唐銘 said...

第一忠誠,第二勤奮,第三專心工作。..................................................

3:48 AM  
Anonymous Anonymous said...

傻氣的人喜歡給心 雖然每次都被笑了卻得到了別人的心..................................................................

5:53 AM  
Anonymous Anonymous said...

很精彩的部落格 期待你的繼續加油............................................................

1:37 PM  
Anonymous Anonymous said...

若有人問你成功時會不會記得他 試問若你失敗時他會不會記得你......................................................................

7:26 PM  
Anonymous Anonymous said...

來看看你囉~blog很棒! ............................................................

12:36 AM  
Anonymous Anonymous said...

若有人問你成功時會不會記得他 試問若你失敗時他會不會記得你......................................................................

12:30 PM  
Anonymous Anonymous said...

噴泉的高度,不會超過它的源頭。一個人的事業也是如此,它的成就絕不會超過自己的信念。........................................ ........................

5:06 PM  
Blogger Jessica said...

Barrister Global Services Scam

12:06 PM  

Post a Comment

<< Home