http:^^www.csc.uvic.ca^~dgurov^

This data set contains WWW-pages collected from computer science departments of various universities

Date: Tue, 26 Nov 1996 16:26:43 GMT
Server: Apache/1.0.5
Content-type: text/html


<title> Dilian Gurov's Home Page </title>

<h1> Dilian GUROV </h1>

<p>

<!WA0><a href=http://www.csc.uvic.ca/gradinfo/graduate.html> PhD Student </a>, <br>
<!WA1><a href=http://www.csc.uvic.ca/> Dept. Computer Science </a>, <br>
<!WA2><a href=http://www.uvic.ca/> University of Victoria </a> 

<p>

<hr>

<h2> Research Interests </h2>

<ul>
<li> Concurrency Theory
     <ul>
     <li> <!WA3><a href=http://www.daimi.aau.dk/~petrinet/> Petri Nets </a>
     <li> Process Algebras 
     <li> Model Checking
     </ul>
<li> Specification and Verification of Communication Protocols
<li> <!WA4><a href=http://tara.uvic.ca/rigi/rigi.html> Reverse Engineering </a>
<li> A recent <!WA5><a href=http://www.csc.uvic.ca/~dgurov/infinity.ps.gz> paper </a>,
     presented at the <!WA6><a href=http://brahms.fmi.uni-passau.de/bs/cfp/infinity.html>
     INFINITY'96 </a> workshop <br> 
     on verification of infinite-state systems.
</ul>

<hr>

<h2> Some Friends on the Web </h2>

<ul>
<li> <!WA7><a href=http://faraday.clas.virginia.edu/~ana4a/home.html> 
        Alexander Artsyukhovich </a>
<li> <!WA8><a href=http://www.cs.cmu.edu/afs/cs.cmu.edu/user/berez/WWW/homepage.html>
        Sergey Berezin </a> 
<li> <!WA9><a href=http://www.math.sfu.ca/mast/people/grads/ibluskov/ibluskov.html>
        Iliya Bluskov </a>
<li> <!WA10><a href=http://www.cs.ubc.ca/spider/shaze/home.html>
        Scott Hazelhurst </a>
</ul>

<hr>

<h2> Some Links </h2>

<ul> 
<li> <!WA11><a href=http://politix.iao.fhg.de/Library/conferences/> 
        Conference Announcements </a>
<li> <!WA12><a href=http://www.computer.org/pubs/computer/career/career.htm>
	Career Opportunities </a>
<li> <!WA13><a href=http://pegasus.uthct.edu/nes/nes.html>
        Network of Emerging Scientists </a>
<li> <!WA14><a href=http://www.ncsa.uiuc.edu/demoweb/html-primer.html> 
        A Beginner's Guide to HTML </a>
</ul>

<hr>

<h2> Address </h2>

<em>
Dilian Gurov <br>
Dept. Computer Science <br>
University of Victoria <br>
P.O.Box 3055 <br>
Victoria, BC <br>
CANADA  V8W 3P6 
</em> 

<p>

<strong> Phone: </strong> [phone] <br>

<strong> E-mail: </strong> <!WA15><a href="mailto:[e-mail]">
                            [e-mail] </a>