📄 http:^^www.cs.utexas.edu^users^kedar^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:33:37 GMT
Content-Type: text/html
Content-Length: 1730
Last-Modified: Tuesday, 22-Oct-96 01:24:19 GMT
<HTML><!-- ====================================================================== --><HEAD><TITLE></TITLE></HEAD><!-- ====================================================================== --><BODY BGCOLOR = #fdf5e6><H2><!WA0><!WA0><A HREF="http://www.cs.utexas.edu/cgi/rwho/kedar">Kedar Namjoshi</A></H2><HR><H2>About Me</H2>Hi! Thanks for checking up on me.<P>I'm a doctoral student at <!WA1><!WA1><ahref="http://wwwhost.cc.utexas.edu/"> UT-Austin </a>in the department of <!WA2><!WA2><a href="http://www.cs.utexas.edu/"> Computer Sciences </a>. My research advisor is Professor <!WA3><!WA3><a href="http://www.cs.utexas.edu/users/emerson"> E. Allen Emerson </a>. I'm interested in the use of temporal logic to reason about concurrent programs, in the semantics of concurrency, distributedalgorithms, and automatatheory. I came here in Fall 90, after receiving my bachelor's degree in computer science from the Indian Institute of Technology, Madras. There is a wonderful <!WA4><!WA4><a href="http://sol.rutgers.edu/~sabesan/iit.html"> IIT-Madras home page</a> with lots of fun stuff. If you would like to know more about my interests, here's some <!WA5><!WA5><a href="http://www.cs.utexas.edu/users/kedar/interests.html"> personal information </a>. <H2>Contact Information</H2><dl><li> Office phone : (512) 471-9750 <li> Home phone : (512) 479-6453 <li> Home address : <dt> <dd> 1652 A, West 6th Street, <br> <dd> Austin, TX 78703. <br></dl><!-- ====================================================================== --></HTML><H2>Today's Amul Ad</H2><!WA6><!WA6><IMG SRC="http://www.indiaworld.com/open/biz/amul/topical.gif"><!-- ====================================================================== --><HR><ADDRESS>kedar@cs.utexas.edu</ADDRESS></BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -