📄 http:^^www.cs.wisc.edu^~ssl^work.html
字号:
Date: Tue, 05 Nov 1996 00:14:21 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Thu, 05 Sep 1996 15:22:26 GMTContent-length: 2620<TITLE> Work and interests </TITLE><BODY background="gifs/crumpled.jpeg"><p><H1>My work, my job, my interests</H1>My current academic interests lie in Databases, Networks and Operating Systems.I am presently working with <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><A HREF="http://www.cs.wisc.edu/~miron">Prof. MironLivny</A> and <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><A HREF="http://www.cs.wisc.edu/~raghu">Prof. Raghu Ramakrishnan</A> on the <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><A HREF="http://www.cs.wisc.edu/~devise/">DEVise</A>project. DEVise is a visualization tool with a visual query interface. Earlier I was working for the Reef Project which involved work using <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.wisc.edu/~ssl/http"//www.cs.wisc.edu/condor/>Condor</A>, <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><A HREF="http://www.epm.ornl.gov/pvm/">pvm</A> and <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cs.wisc.edu/coral/">coral</A>. This was an attempt at executing Coral queries on a cluster of workstations, in this case the Condor pool at the <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><A HREF="http://www.wisc.edu">University of Wisconsin-Madison</A>. A report of the same will appear here when time permits. This was done as part of the <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF="http://www.cs.wisc.edu/~cod">C.O.D.</A> project as a summer research project.<BR><HR><UL> Past Work<LI> In the summer of 1994 I worked for 3 months as a summer intern at India'sleading research institute,<!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><A HREF="http://www.barc.ernet.in"> Bhabha Atomic Research Center</A>. Here I worked onbuilding an <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF="http://www.mcs.anl.gov/mpi/index.html">MPI</A> interface for the Anupam Parallel Machine.<LI> During my undergraduate study, I was interested in Automatic Verification of Protocols, Finite Automata based verification of systems, StateCharts and Binary Decision Diagrams. <LI> I was also remotely interested in Compilers and Architecture.</UL><HR><UL>Course Work at Rice<LI><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><A HREF="http://www-ece.rice.edu/ece/faculty/Adve/Courses/425.html">Advanced Computer Architecture</A><LI><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="http://www.cs.rice.edu/~matthias/311web">Programming Languages</A><LI><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><A HREF="http://www.owlnet.rice.edu/~comp360/">Computer Graphics</A>.<LI><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="http://www.cs.rice.edu/~keith/412">Compilers</A><LI><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><A HREF="http://www.owlnet.rice.edu/~comp382">Algorithms</A><LI><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF="http://www.owlnet.rice.edu/~comp440">Artificial Intelligence</A> <LI><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><A HREF="http://www.cs.rice.edu/~vardi/comp409/409.html">Logic in Computer Science</A></UL><HR><UL> Courses for Fall 1996<LI><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF="file://www.cs.wisc.edu/~ssl//afs/cs.wisc.edu/p/course/cs640-lhl/public/html/cs640.html">Networks</A><LI><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><A HREF="file://www.cs.wisc.edu/~ssl//afs/cs.wisc.edu/p/course/cs736-bart/public/html/">Advanced Operating Systems</A></UL><HR><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><A HREF="http://www.cs.wisc.edu/~ssl/index.html"><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><IMG SRC="http://www.cs.wisc.edu/~ssl/gifs/go_prev_btn.gif" ALT="<-"></A><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><A HREF="http://www.cs.wisc.edu/~ssl/index.html">Back to my HomePage</A> </BODY>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -