📄 http:^^www.cs.utexas.edu^users^markus^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:37:23 GMT
Content-Type: text/html
Content-Length: 1967
Last-Modified: Monday, 29-Jul-96 19:21:28 GMT
<html><head><title>Markus Kaltenbach</title></head><body><h1>Markus Kaltenbach</h1><!WA0><!WA0><!WA0><!WA0><img src="http://www.cs.utexas.edu/users/markus/image/markus.gif" alt="Picture"><hr><h2>Introduction</h2>Welcome to my home page. I am currently constructing this page andwill add more entries and links as time permits. For the time being Iapologize for any incompleteness and resulting inconvenience.<hr><h2>Research</h2>I am a member of Prof.Misra's<!WA1><!WA1><!WA1><!WA1><a href="http://www.cs.utexas.edu/users/psp/">PSP Research Group</a>and of Prof.Emerson's<!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.utexas.edu/users/emerson/">Temporal Reasoning Group</a>.As part of my work I have developed a model checkerfor finite state UNITY programs and propositional UNITY logic, the <!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.utexas.edu/users/markus/uv2/welcome.html">UNITY Verifier System</a>.<p>The most recent version of my <!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.utexas.edu/users/markus/diss.html">Ph.D. thesis</a> isalso available. <hr><h2> Contact Information </h2><dl><dt> Office:<dd> Taylor Hall 150B, Phone (512) 471-9777<dd> Taylor Hall 3.150A, Phone (512) 471-9548<dt> Email address:<dd> markus@cs.utexas.edu<dt> Postal address:<dd>The University of Texas at Austin <br>Department of Computer Sciences, TAY 2.124 <br>Austin, TX 78712-1188 <br></dl><hr><h2> Places of Interest </h2>Here you can find some interesting places on the Internet which are worth avisit:<ul><li> The<!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.utexas.edu/">UT Computer Science Department</a>home page.<li> The <!WA6><!WA6><!WA6><!WA6><a href="http://wwwhost.ots.utexas.edu/mac/main.html">OTS Software Archive</a>for Macintosh computers here at UT.<li> Apple Computer's<!WA7><!WA7><!WA7><!WA7><a href="http://www.support.apple.com/">World Wide Technical Support</a>home page.<li> An ftp link to a<!WA8><!WA8><!WA8><!WA8><a href="ftp://pip.shsu.edu/tex-archive">CTAN</a>site (Comprehensive TeX Archive Network).<li> An ftp link to the<!WA9><!WA9><!WA9><!WA9><a href="ftp://research.att.com/dist">AT&T Distribution Archive</a>.</ul><hr>This page was last updated on 25-May-1996.<address>markus@cs.utexas.edu</address></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -