📄 http:^^al.cs.engr.uky.edu:80^~mattlevy^
字号:
Date: Tuesday, 26-Nov-96 17:06:30 GMTServer: NCSA/1.3MIME-version: 1.0Content-type: text/html<HTML><HEAD><TITLE>Matt Levy's Home Page</TITLE></HEAD><BODY BGCOLOR="#FFFFFF" LINK = "#FF0050" VLINK = "#5000FF"><a name="top"></a><center><!WA0><a href="http://www.uky.edu"><!WA1><img ALIGN = center src="http://al.cs.engr.uky.edu:80/~mattlevy/uklogo.gif"></a></CENTER><CENTER><!WA2><a href="http://www.cs.engr.uky.edu"><!WA3><img src="http://al.cs.engr.uky.edu:80/~mattlevy/icons/ukcslogo.gif"></a></center><p><br clear=all><center><!WA4><img src="http://al.cs.engr.uky.edu:80/~mattlevy/icons/greetz.gif"></center><br clear=all><!WA5><a href="#Personal"><!WA6><img ALIGN = left src="http://al.cs.engr.uky.edu:80/~mattlevy/es335.gif" alt="Cool Guitar Here"></a><!WA7><img ALIGN = right src = "http://al.cs.engr.uky.edu:80/~mattlevy/icons/strum-geek.gif" alt="Strumming guitar"><hr>Welcome! I'm a PhD student in Computer Science here at UK. This pagecontains exciting (and fascinating) details about my research, mypersonal interests, and also contains some links to pages I think arepretty cool.<p><ul><li> <!WA8><a href="#Address">To contact me.</a><li> <!WA9><a href="#Research">About my research.</a><li> <!WA10><a href="#Personal">My personal life.</a><li> <!WA11><a href="#Linksmenu">The standard links list.</a></ul><br><!WA12><img ALIGN = left src = "http://al.cs.engr.uky.edu:80/~mattlevy/icons/newavala.gif"> <br><!WA13><a href="http://www.cs.engr.uky.edu/~amylevy/cs-activities.html"> Check out the new CS activities page! </a><br clear = left><hr>Visitors since January 16, 1996: <!WA14><img src="http://www.uky.edu/cgi-bin/counter_g?docname=http://www.cs.engr.uky.edu/~mattlevy/index.html"><br><hr><a name="Address"></a><h3>Contacting me</h3>Office: Mining Lab/or (more likely) ASTeCC 141 <spacer type=horizontal size=75>Phone: 257-9348<p><!WA15><a href = "mailto:mattlevy@cs.engr.uky.edu"> <!WA16><img src = "http://al.cs.engr.uky.edu:80/~mattlevy/icons/mailbox.gif"></a><!WA17><a href = "mailto:mattlevy@cs.engr.uky.edu">Matt Levy (mattlevy@cs.engr.uky.edu)</a><p><!WA18><a href="#top">Back up</a><hr><a name="Research"></a><h3>Research interests</h3>Currently, I'm working in <b>structural complexity</b> with <!WA19><a href="http://www.cs.engr.uky.edu/~goldsmit/hp.html">Judy Goldsmith</a>.We're currently researching the complexity of various kinds ofMarkov Decision Processes.<p>I'm also looking at a kind of resource-bounded Kolmogorov complexity.<p><h3> Current papers </h3><!WA20><a href = "http://www.cs.uchicago.edu/~fortnow/">Lance Fortnow</a>,<!WA21><a href = "http://www.cs.engr.uky.edu/~goldsmit/hp.html">Judy Goldsmith</a>,<!WA22><a href = "http://dimacs.rutgers.edu/~mahaney/"> Steve Mahaney</a>, and <!WA23><a href = "http://www.cs.engr.uky.edu/~mattlevy/">Matthew A. Levy</a>.<!WA24><a href = "http://www.cs.engr.uky.edu/~mattlevy/papers/journal.ps"><i>L-printable sets (Journal version)</i></a>. Extended abstract in the Proceedingsof the 1996 IEEE Conference on Computational Complexity. To appear in theSIAM Journal of Computing.<p><!WA25><a href = "http://www.cs.engr.uky.edu/~goldsmit/hp.html">Judy Goldsmith</a>,<!WA26><a href = "http://www.cs.engr.uky.edu/~mattlevy/">Matthew A. Levy</a>, and<!WA27><a href = "http://www.cs.engr.uky.edu/~mundhenk/">Martin Mundhenk</a>.<!WA28><a href = "http://www.cs.engr.uky.edu/~mattlevy/papers/journal.ps"><i>Limited Nondeterminism</i></a>. Survey article appeared in June, 1996SIGACT news. This is an extended version, with appendices on finite automataand the classes LogNP and LogSNP.<p><!WA29><a href = "#top">Back up</a><hr><a name="Personal"></a><H3>Personal Details</H3><!WA30><a href="http://al.cs.engr.uky.edu:80/~mattlevy/icons/bastian.gif"><!WA31><img width=120 height=100 align = left src = "http://al.cs.engr.uky.edu:80/~mattlevy/icons/bastian.gif" alt = "Our cat Sebastian"></a>My wife is <!WA32><a href="http://www.cs.engr.uky.edu/~amylevy/"><I>Amy Levy</I> </a>,the tragically hip RA. <!WA33><a href="http://al.cs.engr.uky.edu:80/~mattlevy/icons/matt_amy.gif">Here</a> is a picture of us.<p>I have two children, John and Alex. They're 9 and 7, respectively. Ihope to have a page for them soon, but you can see <!WA34><a href="http://al.cs.engr.uky.edu:80/~mattlevy/icons/boys.gif">a picture</a> if you like. Aren't they cute?<p>Unfortunately, our last two fish died, and I never did get pictures ofany of them. So, in addition to our kids, our family contains ourattack guinea pig, Storm, our cat Sebastian, and our dog, Gypsy.We just moved last month, so Sebastian is still adjusting. Gypsy, however,loves having a backyard, and has now figured out how to open the gate! It is wonderful having a smart dog most of the time, but sometimesI think maybe she's too clever for our own good...<p><br><!WA35><a href="http://al.cs.engr.uky.edu:80/~mattlevy/icons/gypsy1.gif"> <!WA36><img width = 100 height = 100 src="http://al.cs.engr.uky.edu:80/~mattlevy/icons/gypsy1.gif"alt = "A picture of Gypsy" align = left></a><!WA37><a href="http://al.cs.engr.uky.edu:80/~mattlevy/icons/gypsy2.gif"> <!WA38><img width = 100 height = 100 src="http://al.cs.engr.uky.edu:80/~mattlevy/icons/gypsy2.gif"alt = "Another picture of Gypsy" align = right></a><p><br><br><center>Here are two pictures of Gypsy.</center><br clear = all><br><h3>Interests</h3>My major activity, outside of family life and school, is music. I'vebeen playing guitar for around 16 years, mostly blues.<p><!WA39><img align = left src = "http://al.cs.engr.uky.edu:80/~mattlevy/icons/buddy.gif"> Here, you can see one of my heroes,Buddy Guy.<p>Recently, I've started studying Tai Chi. I'm still looking for a goodTai Chi link.<p>I also love old movies and good standup comedy.<p><br clear = left><!WA40><a href="#top">Back up</a><hr><a name="Linksmenu"></a><h3>Links</h3> <menu> <li> <!WA41><a href="#search">Search engines</a> <li> <!WA42><a href="#music">Music sites</a> <li> <!WA43><a href="#cartoons">The funnies</a> <li> <!WA44><a href="#pets">Cuddly wuddlies</a> <li> <!WA45><a href="#usm">Hail Alma Mater!</a> <li> <!WA46><a href="#other">Various cool stuff</a> </menu><!WA47><a href = "about:mozilla"><!WA48><img align = left src = "http://al.cs.engr.uky.edu:80/~mattlevy/icons/icndrag1.gif"> <B>Don't push this!</B></a><br clear = left><!WA49><img src = "http://al.cs.engr.uky.edu:80/~mattlevy/icons/godzilla.jpeg"><br clear = left><!WA50><a href="#top">Back up</a><hr><a name="search"></a><h2>Where to search the net</h2><ul><li> <!WA51><a href="http://www.yahoo.com/"> Yahoo</a><li> <!WA52><a href="http://www.stpt.com/"> Starting Point</a></ul><!WA53><a href="#Linksmenu">Back up</a><p><a name="music"></a><h2>Guitar and music stuff</h2><ul><li> <!WA54><a href="http://comp.uark.edu/~cbray/html/guitar.html">Guitar resources on the Web</a><li> <!WA55><a href="http://www.mw3.com/PRS">Paul Reed Smith</a><li> <!WA56><a href="http://www.fender.com/">Fender World</a><li> <!WA57><a href="http://harmony-central.mit.edu">Harmony Central</a></ul><!WA58><a href="#Linksmenu">Back up</a><p><a name="cartoons"></a><h2>Cartoons</h2><ul><li> <!WA59><a href="http://www.unitedmedia.com/dilbert/"><!WA60><img src = "http://al.cs.engr.uky.edu:80/~mattlevy/icons/dilbert_square.gif" alt = "Dilbert Zone"></a><li> <!WA61><a href="http://eos.kub.nl:2080/calvin_hobbes/"><!WA62><img src = "http://al.cs.engr.uky.edu:80/~mattlevy/icons/calvin.gif" alt = "Calvin and Hobbes"></a></ul><!WA63><a href="#Linksmenu">Back up</a><p><a name="pets"></a><h2>Pets</h2><ul><li> <!WA64><a href="http://www.wp.com/WARRIORPRINCE/guinea.htm">A page devoted to guinea pigs!</a><li> <!WA65><a href="http://www.actwin.com/fish/index.html">FINS - a page for tropical fish lovers</a><li> <!WA66><a href="http://netvet.wustl.edu/cats.htm">The NetVet Cat page</a><li> <!WA67><a href="http://netvet.wustl.edu/dogs.htm">The NetVet Dog page</a></ul><!WA68><a href="#Linksmenu">Back up</a><p><a name="usm"></a><h2>My Alma Mater (USM)</h2><ul><li> <!WA69><a href="http://www.cs.usm.maine.edu/"> University of Southern Maine CS Dept</a><li> <!WA70><a href="http://www.cs.usm.maine.edu/~dorato"> My buddy Steve D. </a><li> <!WA71><a href="http://www.cs.usm.maine.edu/~fenner"> My former advisor, Steve Fenner </a><li> <!WA72><a href="http://www.cs.usm.maine.edu/~boothe"> The Monstrously Cool Dr. Bob</a></ul><!WA73><a href="#Linksmenu">Back up</a><p><a name="other"></a><h2>Other neat links</h2><ul><li> <!WA74><a href = "http://www-leland.stanfard.edu/~golnas/impressionism/impressionists.html"><!WA75><img width = 80 height = 80 src = "http://al.cs.engr.uky.edu:80/~mattlevy/icons/vangogh.starry_night.jpg" alt = "Impressionists page"></a><li> <!WA76><a href = "http://al.cs.engr.uky.edu:80/~mattlevy/www.enews.com/">The electronic newstand</a></ul><!WA77><a href="#Linksmenu">Back up</a><p><hr><font size=1><center>Please send comments or suggestions to <!WA78><a href = "mailto:mattlevy@cs.uky.edu">mattlevy@cs.engr.uky.edu</a>.</center><p><center> This page last updated 9/16/96. </center><p></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -