Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk 
          with SMTP (PP-6.5) outside ac.uk; Wed, 2 Aug 1995 03:47:00 +0100
Received: by leopard.cs.byu.edu (1.37.109.15/16.2) id AA006770438;
          Tue, 1 Aug 1995 20:27:18 -0600
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: list
Received: from mvax1.red.cinvestav.mx by leopard.cs.byu.edu 
          with SMTP (1.37.109.15/16.2) id AA006720437;
          Tue, 1 Aug 1995 20:27:17 -0600
Received: from alpha.cs.cinvestav.mx by mvax1.red.cinvestav.mx with SMTP ;
          Tue, 1 Aug 95 20:26:16 CST
Received: by alpha.cs.cinvestav.mx; (5.65/1.1.8.2/21Nov94-0212PM) id AA05630;
          Tue, 1 Aug 1995 20:24:40 -0600
Date: Tue, 1 Aug 1995 20:24:39 -0600 (CST)
From: Ricardo Diaz Santiago <rdiaz@alpha.cs.cinvestav.mx>
To: HOL-discussion list <info-hol@leopard.cs.byu.edu>
Subject: Need for a Master Thesis
Message-Id: <Pine.OSF.3.91.950801201837.5597A-100000@alpha.cs.cinvestav.mx>
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII

I'm a master's student on Computer science interested on formal methods
and distributed systems. Actually I'm studying UNITY in a course and just
began to work with HOL for the proofs. Could anybody suggest a subject for
a Thesis related with these topics? 

Ricardo Diaz S.
rdiaz@alpha.cs.cinvestav.mx
Centro de Investigacion y Estudios Avanzados del IPN
Mexico.