📄 http:^^www.cs.utexas.edu^users^kornerup^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:36:37 GMT
Content-Type: text/html
Content-Length: 6239
Last-Modified: Saturday, 23-Nov-96 22:57:46 GMT
<html><head><title>Jacob Kornerup</title><BODY BGCOLOR="#000F57" TEXT="#FFFFFF" link="0099ff" vlink="#00ff99" ALINK="#FF00FF"><h1>Jacob Kornerup</h1><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><A HREF="#effsec"> <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><IMG BORDER=0 SRC="http://www.cs.utexas.edu/users/kornerup/rotate_rib.gif" ALIGN=LEFT ALT="Blue ribbon campaign"></A><br>Welcome to my home page ! <!-- The time here in Austin is <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://tycho.usno.navy.mil/cgi-bin/xbmclock.xbm?zone=CST/"><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><img src="http://tycho.usno.navy.mil/cgi-bin/nph-usnoclock.gif?zone=CST&ticks=04/" align=absbottom alt="US Naval Observatory Clock"></a> --> <br>I am a Ph.D. student in candidacy in the <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><ahref="http://www.cs.utexas.edu/">Department of Computer Sciences</a> at <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><a href="http://wwwhost.cc.utexas.edu/">The University of Texas at Austin</a>.<br><p><h1>Research</h1> <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><IMG SRC="http://www.cs.utexas.edu/images/stanford/simp.nerd.gif" ALT="" ALIGN=LEFT>My dissertation is on <b>Powerlists</b>, a functional notation for describingsynchronous parallel algorithms. In this work I study how the notation canbe mapped efficiently onto different parallel architectures, includinghypercubes and meshes. My advisor is <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><ahref="http://www.cs.utexas.edu/users/misra/index.html">Jayadev Misra</a>, who invented the powerlistnotation and heads the <!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><ahref="http://www.cs.utexas.edu/users/psp/welcome.html">PSP group</a> here atUT. For more information about my research see my <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><ahref="http://www.cs.utexas.edu/users/kornerup/kornerup-papers.html"> list of papers</a>. <h1>Teaching</h1><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><IMG SRC="http://www.cs.utexas.edu/images/stanford/button.faculty.gif" ALT="Faculty" ALIGN=LEFTHEIGHT=50 WIDTH=40>In the spring and fall semesters of 1995 I taught <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><ahref="http://www.cs.utexas.edu/users/kornerup/cs105/">CS 105 C++ Programming</a> in the <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><ahref="http://www.cs.utexas.edu/">Department of Computer Sciences</a> at <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><a href="http://wwwhost.cc.utexas.edu/">The University of Texas at Austin</a>.<h1>Contact Information</h1><dl><dt> Office:<dd>UA-9 4.116G, 2609 University Ave., 471-9766.<dt> Email address:<dd><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><a href="mailto:kornerup@cs.utexas.edu">kornerup@cs.utexas.edu</a><dt> <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.utexas.edu/cgi/finger/kornerup"> Finger information</a><dt> Postal address:<dd><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><IMG SRC="http://www.cs.utexas.edu/users/kornerup/mail.gif" ALT="mail" ALIGN=LEFT>The University of Texas at Austin <br>Department of Computer Sciences, TAY 2.124 <br>Austin, TX 78712-1188 <br><dt>My resume is available in <!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><a href="http://www.cs.utexas.edu/users/kornerup/resume.ps"> Postscript</a> or <!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><a href="http://www.cs.utexas.edu/users/kornerup/resume.txt">Ascii</a>along with my <!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><a href="http://www.cs.utexas.edu/users/kornerup/vitae.html">vitae (html)</a>.<dt><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><img src="http://www.cs.utexas.edu/images/stanford/icon.new.gif" ALT="New" ALIGN=LEFTHEIGHT=40 WIDTH=40 ><br> You can find my <!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><ahref="http://www.cs.utexas.edu/users/kornerup/maps/maps7.html">neighborhood</a> from a map of the US.</dl><h2>My Hotlist</h2>Some frequently-used or interesting WWW nodes I've run across:<ul><li><b> PSP group:</b> To make our work available the PSP group (Dr. Misra, Will Adams, Al Carruth, Markus Kaltenbach and me) has created a <!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><ahref="http://www.cs.utexas.edu/users/psp/"> home page</a>. PSP stands for <b> Programs, Specifications and Proofs </b><p><li><b>Formal Methods</b> One of my professional goals is to promote the use of formal methods byintroducing them early on in the undergraduate curriculum. A good place tolearn more about this is the <!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><ahref="http://www.comlab.ox.ac.uk/archive/formal-methods.html">Formal Methods</a> home page at Oxford. <p>Some very good arguments for using formal methods can be made after reading the<!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><a href="http://www.cs.utexas.edu/users/kornerup/ariane5rep.html">ARIANE 5 Flight 501 Failure Report</a> orlooking at <!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><a href="http://www.cs.utexas.edu/users/kornerup/quotes.html">my page of quotes that supportthe use of formal methods.</a><p><li><b>The Computer Science Departments Home Page</b>Our department has a <!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><a href="http://www.cs.utexas.edu/">home page</a> withaccess to web pages for students, staff and faculty. It also has access to<!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><a href="http://wwwhost.cc.utexas.edu/">The University's web server</a>.<p><li><b>CS Tech Reports & Bibliographies:</b><!-- The <!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><a href="http://rd.cs.colorado.edu/harvest/">The Harvest Information Discovery and Access System</a> is an information server utilizing "information brokers" one of which is <!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><a href="http://rd.cs.colorado.edu/brokers/cstech/query.html">QueryInterface to the CS Technical Report Broker</a>, giving access to a largecollection of CS technical reports. --> For access to a collection of technical reports have a look at <!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><ahref="http://lucy.cs.waikato.ac.nz/~nzdl/">The New Zealand DigitalLibrary.</a><p><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><a href="http://wheat.uwaterloo.ca/bibliography/index.html">TheCollection of Computer Science Bibliographies</a> is a comprehensivecollection of bibliographies in computer science. Hey, I even have <!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><ahref="http://plg.uwaterloo.ca/cgi-bin/cgiwrap/nborisov/getquery.cgi?IN=Any&QUERY=jacob&WHERE=Anywhere&OP1=AND&QUERY2=kornerup&WHERE2=Anywhere&OP2=AND&QUERY3=&WHERE3=Anywhere&SEARCH=SEARCH">entries</a>there :-)<p><li><B>Volleyball info:</b>Look at <!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><!WA33><a href="http://Market.NET/~vball">Volleyball WorldWide</a> foruseful info about a great sport. You used to be able go over to GregoryGym, here on the UT campus, where you could find pictures of the mostly CSGrad/Law/faculty/staff intermural champs of 91, 92 and 95, and runners-upof 93 and 94 <b> High Voltage Spikes</b> and <b>Last Minute</b>.</ul><a name="#effsec"></a><h1>A Great Day for the First Amendment</h1><b>News flash</b> (June 11 1996): The indecency provision in the newly passed TelecommunicationBill has been ruled unconstitutional by a three member panel of federaljudges. For details see the EFF's <!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><!WA34><AHREF="http://www.eff.org/blueribbon.html">blue ribbon campaign.</a> <p>On February 8, 1996 the Telecommunication Bill was signed into law,making it criminal to transmit indecent material over the net. This meansthat our freedom of speech was limited to what does not offend anyonein Round Rock, TX or Salt Lake City, UT.<br>Please support the <!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><!WA35><Ahref="http://www.eff.org/">Electronic Frontier Foundation (EFF)</A> and otherorganizations in their fight against this law. You can support thiseffort by including the <!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><AHREF="http://www.cs.utexas.edu/users/kornerup/rotate_rib.gif">blue ribbon</a> on your page. <hr>This page was created on April 19, 1994 and has been accessed <!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><img src="http://www.cs.utexas.edu/pub/cgi/Count.cgi?ft=3&dd=B&frgb=0;0;255|df=kornerup1.dat"align=absmiddle> times since March 13 1996<p><address><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><a href="http://www.cs.utexas.edu/users/kornerup/index.html">Jacob Kornerup</a></address></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -