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  
Blogger colenemrogerson said...

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

9:45 AM  
Blogger 裕瑤 said...

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

12:08 AM  
Blogger 舞台 said...

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

12:08 AM  
Blogger 馬甲 said...

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

9:23 AM  
Blogger 精采 said...

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

2:55 AM  
Blogger 仲亨仲亨 said...

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

6:08 AM  
Blogger 林淑凡 said...

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

9:13 AM  
Blogger VincenzoJ_Markle0727 said...

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

1:15 AM  
Blogger CelsaNaj966 said...

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

10:56 PM  
Blogger 家銘 said...

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

8:09 AM  
Blogger 上宇軒興 said...

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

6:01 AM  
Blogger 劉KarolR_Sundquis said...

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

10:06 PM  
Blogger 裕以 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  
Blogger ErnestoE_S陽峰ommers0909 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  
Blogger MinB2139 said...

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

1:30 PM  
Blogger 蔡燕 said...

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

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

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

7:02 PM  
Blogger 幸齊幸齊 said...

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

8:05 AM  
Blogger 俊成俊成 said...

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

8:20 PM  
Blogger RalphBrau采男 said...

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

4:08 AM  
Blogger 陳韋夏陳韋夏益東富益東富 said...

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

6:35 AM  
Blogger 雲亨雲亨雲亨 said...

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

8:29 AM  
Blogger 思翰思翰 said...

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

10:30 PM  
Blogger d1gd21g231g21s said...

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

10:30 PM  
Blogger 吳婷婷 said...

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

9:56 AM  
Blogger 香昱信張君林 said...

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

11:12 PM  
Blogger 陳韋夏陳韋夏益東富益東富 said...

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

2:37 PM  
Blogger 曹季恩曹季恩 said...

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

6:22 AM  
Blogger 葉仲蓮葉仲蓮 said...

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

7:50 AM  
Blogger 賴成貞陳韻邦 said...

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

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

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

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

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

3:48 AM  
Blogger 俊陳凱俊陳凱俊陳凱 said...

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

5:53 AM  
Blogger 峻胡邦慧v帆 said...

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

1:37 PM  
Blogger 守何何何韋 said...

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

7:26 PM  
Blogger 麗王王珠 said...

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

12:36 AM  
Blogger 千TatianaCallan惠 said...

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

12:30 PM  
Blogger 司冯欣 said...

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

5:06 PM  
Blogger Jessica said...

Barrister Global Services Scam

12:06 PM  

Post a Comment

<< Home