📄 http:^^www.cs.utexas.edu^users^carruth^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:41:37 GMT
Content-Type: text/html
Content-Length: 1588
Last-Modified: Thursday, 14-Nov-96 18:17:29 GMT
<html><title>Al Carruth</title><hr><h1>Al Carruth</h1>Please send mail to <!WA0><!WA0><!WA0><a href="mailto:carruth@cs.utexas.edu"> <em> carruth@cs.utexas.edu </em></a>if you have any questions or suggestions.<hr><h2> Introduction </h2>I am a Ph.D. candidate at <!WA1><!WA1><!WA1><ahref="http://wwwhost.cc.utexas.edu/"> UT-Austin </a> in the<!WA2><!WA2><!WA2><a href="http://www.cs.utexas.edu/"> Department of ComputerSciences.</a>My supervising professor is <!WA3><!WA3><!WA3><ahref="http://www.cs.utexas.edu/users/misra"> Jayadev Misra </a> and mydissertation topic is <!WA4><!WA4><!WA4><a href="ftp://ftp.cs.utexas.edu/pub/techreports/tr94-10.ps.Z"> <em> Real-Time UNITY</em>. </a>I am a member of Professor Misra's <!WA5><!WA5><!WA5><a href="http://www.cs.utexas.edu/users/psp"> PSP research group. </a><p>I am extending the <!WA6><!WA6><!WA6><a href="http://www.cs.utexas.edu/users/psp/welcome.html#unitysec"> UNITY </a>theory in order to express finite time boundson the usual UNITY operators for progress and safety. I am alsointerested in functional programming languages, partial ordersemantics and automated theorem proving.<hr><h2> Contact Information </h2><dl><li> <!WA7><!WA7><!WA7><a href="http://www.volente.com/carruth"> my personal home page </a><li> Office address: UA-9 4.116G<li> Office phone: 512-471-9764<li> Home phone: 512-302-3276<li> Email address:<!WA8><!WA8><!WA8><a href="mailto:carruth@cs.utexas.edu"> <em> carruth@cs.utexas.edu </em> </a><dt> U.S. mail:<dd> Al Carruth <br> Department of Computer Sciences <br> Taylor Hall 2.124 <br> University of Texas at Austin <br> Austin TX 78712-1188 <br></dl><hr><!WA9><!WA9><!WA9><a href="http://www.cs.utexas.edu/users/carruth/sites.html"> Links to other World Wide Web pages</a>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -