📄 http:^^www.cs.utexas.edu^users^kruegeri^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:47:03 GMT
Content-Type: text/html
Content-Length: 2356
Last-Modified: Monday, 22-Jul-96 15:57:03 GMT
<HTML><HEAD><BODY BGCOLOR="#FFFFFF" TEXT="#000000" TOPMARGIN=0><TITLE>Home Page for Ingolf Krüger</TITLE></HEAD><!-- ====================================================================== --><BODY><H1>Ingolf Krüger</H1><HR><!WA0><!WA0><!WA0><IMG BORDER=0 SRC="http://www.cs.utexas.edu/users/kruegeri/me2.jpg" ALIGN="LEFT"><!WA1><!WA1><!WA1><IMG BORDER=0 SRC="http://www.cs.utexas.edu/users/kruegeri/at_work.gif" ALIGN="RIGHT">Hi there! This page has just recently been set up, so please bear withme until the dust settles...<H2>About Me</H2> Welcome to my home page. I am a graduate student inthe Master's Degree program of the <!WA2><!WA2><!WA2><A HREF="http://www.cs.utexas.edu">Department of Computer Sciences</A> at the <!WA3><!WA3><!WA3><AHREF="http://www.utexas.edu"> University of Texas at Austin </A>. Mymain interests in computer sciences are programming methodology andthe design, implementation and verification of distributed systems. Iwill graduate in August 1996. My stay in the US is supported by theFulbright exchange program.<P><H2>Research</H2>Currently I am a member of <!WA4><!WA4><!WA4><ahref="http://www.cs.utexas.edu/users/misra">Prof. Misra</a>'s <!WA5><!WA5><!WA5><ahref="http://www.cs.utexas.edu/users/psp/">PSP Research Group</a>. Aspart of my <!WA6><!WA6><!WA6><a href="http://www.cs.utexas.edu/users/kruegeri/thesis.html">Master's Thesis</a> I am working on acompiler for the new <!WA7><!WA7><!WA7><ahref="ftp://ftp.cs.utexas.edu/pub/psp/seuss/discipline.ps.Z">Seuss</a>programming language.<P>Before I came to Austin, I was studying at the <!WA8><!WA8><!WA8><ahref="http://www.informatik.tu-muenchen.de/HOME-PAGE_e.html">Department of Computer Science</a> of the <!WA9><!WA9><!WA9><ahref="http://www.tu-muenchen.de/HOME-PAGE_e.html"> TechnicalUniversity of Munich</a>, Germany. There I have been involved in thedesign and implementation of an interpreter for a concurrent, objectoriented programming language, called <!WA10><!WA10><!WA10><ahref="http://www.cs.utexas.edu/users/kruegeri/project.ps.Z"> DGOS</a>.<P><H2>To Contact Me</H2><PRE>EMAIL kruegeri@cs.utexas.eduPOSTAL Computer Sciences C0500 TAY 2.124, U.T. Austin Austin TX 78712 USAVOICE +1 512.471.7316 (main office) +1 512.471.9548 (office)FAX +1 512.471.8885</PRE><HR><!WA11><!WA11><!WA11><a href="mailto:kruegeri@cs.utexas.edu"> <!WA12><!WA12><!WA12><IMG BORDER=0 SRC="http://www.cs.utexas.edu/users/kruegeri/mailbox.gif" ALIGN="LEFT"> </a><ADDRESS>kruegeri@cs.utexas.edu</ADDRESS><ADDRESS>First version: 07/16/1996</ADDRESS><ADDRESS>Last update: 07/22/1996</ADDRESS><hr></BODY><!-- ====================================================================== --></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -