📄 http:^^www.cs.utexas.edu^users^tumlin^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:32:04 GMT
Content-Type: text/html
Content-Length: 1833
Last-Modified: Monday, 04-Nov-96 23:05:40 GMT
<html><head><title>Lyn Tumlin Pierce</title></head><body><!WA0><img src="http://www.cs.utexas.edu/users/tumlin/lyn.gif" alt="Picture"><br>(photo by Brenda Ladd Photography)<h1>Lyn Tumlin Pierce</h1><hr><h2> Interesting random stuff </h2>Coming soon! Stay tuned!. <br><br><hr><h2> Research </h2>I am interested in issues of security in distributed systems. At present Iam studying formalisms (e.g. BAN logic) for developing and analyzing authenticationprotocols.<br><br>I have done some work in the use of formal methods for synthesis, specification and verification of parallel and distributed systems. I amworking on a paper on the synthesis of resource controllers that communicatewith their clients by means of queued messages. (For a draft of this paper,see <!WA1><a href="http://www.cs.utexas.edu/users/tumlin/mpcs.ps">"Synthesis of Distributed Control Systems"</a>.)<br><br>In addition, I am a student research assistant at <!WA2><a href="http://www.arlut.utexas.edu">Applied Research Laboratories</a>. I am currently working a project to investigate using evolutionary computation techniques (e.g. genetic algorithms) to develop finite state machines. For more information on this project, click <!WA3><a href="http://www.arlut.utexas.edu/~epierce/genetic.html">here</a>.<br><br>My resume is available here in both <!WA4><a href="http://www.cs.utexas.edu/users/tumlin/res.html">HTML</a> and <!WA5><a href="http://www.cs.utexas.edu/users/tumlin/resume.ps">PostScript</a> formats. <br><br><hr><h2> Contact Information </h2><dl><dt> Office:<dd> Taylor Hall 5.104, Phone (512) 471-9572<dt> Email address:<dd> tumlin@cs.utexas.edu<dt> Postal address:<dd>12166 Metric Blvd. #270 <br>Austin, TX 78758 <br></dl><hr>This page was last updated on 4-November-1996.<br>This page has been accessed <!WA6><img src="http://www.cs.utexas.edu/pub/cgi/Count.cgi?ft=3&dd=B&frgb=0;0;255|df=tumlin1.dat"align=absmiddle> times since November 4 1996.<address>tumlin@cs.utexas.edu</address></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -