📄 http:^^www.cs.utexas.edu^users^cpg^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:31:41 GMT
Content-Type: text/html
Content-Length: 2759
Last-Modified: Wednesday, 04-Dec-96 02:43:43 GMT
<html><head><title>Carlos Puchol</title></head><body bgcolor="#ffffffff"><h1>Carlos Puchol</h1><hr size=3><h2>Research Interests</h2><ul> <ul> <li><!WA0><!WA0><!WA0><!WA0><a href="http://cs-www.bu.edu/pub/ieee-rts/Home.html">Responsive/Real-time/Reactive Systems</a> in General <li><!WA1><!WA1><!WA1><!WA1><a href="http://www.comlab.ox.ac.uk/archive/formal-methods/">Formal Methods</a> <li>Specification and Implementation of Real-Time Systems <li>Distributed Control <li>Robotics <li><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.utexas.edu/users/cpg/TempEst">Esterel</a>, a synchronous programming language. <li><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.utexas.edu/users/cpg/mawl">Mawl</a>, a language for web applications development.</ul></ul>Check out the UTCS <!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.utexas.edu/users/cpg/RTS/">Real-Time Systems Group</a> home page.<hr size=3><h2>Publications</h2>I have a list of <!WA5><!WA5><!WA5><!WA5><a href=http://www.cs.utexas.edu/users/cpg/pub>publications</a> available forbrowsing.<p><hr size=3><h2>Software</h2><!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.utexas.edu/users/cpg/TempEst">The TempEst Toolset</a>: a package for verifyingsafety properties of programs written in the <!WA7><!WA7><!WA7><!WA7><ahref="http://www.cs.utexas.edu/users/cpg/TempEst/esterel.html">Esterel</a> programming language.<p>I once wrote one and a half Linux device drivers, one for the<!WA8><!WA8><!WA8><!WA8><a href="ftp://sunsite.unc.edu/pub/Linux/apps/video/fgrabber-1.0.tgz">QuantaVisionframe grabber</a> and part of the<!WA9><!WA9><!WA9><!WA9><a href="ftp://sunsite.unc.edu/pub/Linux/kernel/patches/console/joystick-0.7.3.tar.gz">joystick</a>device driver.<hr size=3><h2>Contact Information</h2><dl><dt>Office:<dd>UA9 4.108d<br><br><dt>Real-time Systems Lab:<dd>Taylor Hall 3.140<br><br><dt><!WA10><!WA10><!WA10><!WA10><img alt="Phone:" align=top src="http://www.cs.utexas.edu/users/cpg/images/phone.gif"><dd>(512) 471-9543 (Lab)<br>(512) 471-9756 (Office)<br><br><dt>Office-<!WA11><!WA11><!WA11><!WA11><img alt="Mail" align=top src="http://www.cs.utexas.edu/users/cpg/images/mailbox.gif"><dd>The University of Texas at Austin<br>Department of Computer Sciences<br>Austin, TX 78712-1188<br><br><!WA12><!WA12><!WA12><!WA12><img alt="" align=top src="http://www.cs.utexas.edu/users/cpg/images/UT-Austin.gif"><br><br><dt>E-<!WA13><!WA13><!WA13><!WA13><img alt="Mail" align=top src="http://www.cs.utexas.edu/users/cpg/images/mailbox.gif"><dd>cpg@cs.utexas.edu<br><br><dt> Home-<!WA14><!WA14><!WA14><!WA14><img alt="Mail" src="http://www.cs.utexas.edu/users/cpg/images/mailbox.gif"><dd>P.O. Box 7817<br>Austin, TX 78713-7817<br></dl><hr size=3><h2>Lots-of-Phun Interests</h2>Member of the<!WA15><!WA15><!WA15><!WA15><a href=http://www.cs.utexas.edu/users/cpg/RG>The Robot Group</a>. Check the group's <!WA16><!WA16><!WA16><!WA16><a href=http://www.cs.utexas.edu/users/cpg/RG>Web page</a>.<!WA17><!WA17><!WA17><!WA17><a href="http://www.cs.utexas.edu/users/cpg/images/RG-logo2.gif"><!WA18><!WA18><!WA18><!WA18><img alt="" align=top src="http://www.cs.utexas.edu/users/cpg/images/RG-mini.gif"></a><br><br>Latest interestis the <!WA19><!WA19><!WA19><!WA19><a href="http://www.be.com/"><u><FONT COLOR="#000080">B</FONT><FONT COLOR="#FF0000">e</FONT></u></a> box.<br><h2>Originally from<!WA20><!WA20><!WA20><!WA20><a href="http://ccwf.cc.utexas.edu/~ignasi/gandia.html">Gandia</a>, inthe province of <!WA21><!WA21><!WA21><!WA21><a href="http://www.mit.edu/people/iranzo/spain.html">Valencia</a>,in <!WA22><!WA22><!WA22><!WA22><a href=""http://www.cs.utexas.edu/users/cpg/>Spain</a></h2><a href="http://www.mit.edu/people/iranzo/spain.html"><!WA23><!WA23><!WA23><!WA23><img alt="Valencia, Spain" align=top src="http://www.cs.utexas.edu/users/cpg/images/Senyera.gif"></a><hr size=3><!WA24><!WA24><!WA24><!WA24><a href="telnet://meow.cs.utexas.edu">.</a></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -