Comisión 
Sectorial de 
Investigación  
                          Científica		Universidad de la República
Solicitud de Fondos para Financiamiento 
Proyectos de Investigación	

1.- Datos del investigador responsable.

Nombre y Apellido      	Luis Ricardo SIERRA ABBATE	
Cédula de Identidad	1726053-0	
Nº. de funcionario	33485	
Grado y dedicación horaria 	 Grado 3   Dedicación horaria : 40 horas semanales D.T.: no	
Servicio universitario y repartición	Facultad de Ingeniería, Instituto de Computación.	
Teléfono y fax       (*)	7114244 (int 115) - 7110469	
E-mail             	sierra@fing.edu.uy	
(*) del Servicio y repartición donde se realizará el proyecto. 

2.-  Datos del Proyecto.

 Título del proyecto	Verificación formal automatizada de un marcapasos. 	
Duración (meses)	12	
Tipo de investigación	Iniciación                                            	
Datos del tutor 
	Nombre:  Cristina CORNES
E-mail: cornes@fing.edu.uy                      Fax: 7110469
    	
Agrarias                      
Básicas                  
Salud 
Sociales 
Tecnológicas X	Disciplina: Informática                                                                                 
Área temática: Métodos Formales                                                                            
Palabras claves: microcontroladores,  verificación automática, especificación formal	
Monto  solicitado a  C.S.I.C 	 1er  sem: 69720	2 do  sem: 	Total: 69720	

8.-   Rubro Sueldos 

8.3.-  Dedicaciones Compensadas Docentes

Escf/ Gr.	Horas sobre las que   se  calcula la Compensación 	Duración      en    meses    1er.Año	Monto 1er. Año ($) de la compensación	Duración  en    meses 2do.Año	Monto 2do. Año ($) de la compensación	 Monto  total  ($)  	
3	40	6	32941.80	0	0	32941.80	

9.- Rubro Gastos                                 

9.1.- Materiales .

 Cantidad
	       Descripción        	Monto semestral ($) 	Monto ($)  total	
	Material fungible	1778.20	1778.20	

Justificación detallada de los gastos:

•	Se solicita financiamiento para gastos referentes a papelería para la realización del proyecto. Los mismos deben cubrir gastos de papel y de toner, entre otros.

10.- Rubro Inversiones

10.1.- Equipos: describir y cuantificar los equipos que solicita a la C.S.I.C. para realizar el presente proyecto.

Cantidad 	Descripción	Monto ($)	
1	PC potenciada, para trabajo computacional intensivo	21000	

10.2.-  Bibliografía solicitada.

Tipo de publicación	Monto ($)	
Proceedings de conferencias sobre el tema (CAV, CONCUR, TACAS, etc)
Libros actualizados sobre verificación de sistemas reactivos y métodos formales.	14000	

Resumen de Sueldos (En  pesos) 
                  
Período	Sueldos Docentes 
(punto  8.1 + 8.2) 	Dedicaciones Compensadas
Docentes (punto 8.3) 	Sueldos No Docentes 
(punto 8.4)	Sueldos
Becarios
(punto 8.5)	Total del 
ítem 8	
01-08-01 31-12-01	-	32941.80	-	-	32941.80	
Total
	-	32941.80	-	-	32941.80	

Resumen  de  Montos (En  pesos)
                  
Período	Sueldos 
(Total del ítem 8) 	Gastos 
(Total del ítem 9)	Inversiones
(Total del ítem 10)	      Total	
01-08-01 31-12-01	32941.80	1778.20	35000	$ 69720	
Total
	32941.80	1778.20	35000	$ 69720