Departamento de Computacion
 

Facultad de Ciencias Exactas, Ingeniería y Agrimensura

Universidad Nacional de Rosario

República Argentina

  En GIDIS nos especializamos en:
Investigar técnicas y métodos para mejorar la calidad del software, con especial énfasis en Métodos Formales
Desarrollar herramientas de software que implementen los resultados de nuestras investigaciones, así como también los resultados de otros investigadores
Aplicar los resultados de las investigaciones y de los desarrollos en diversos dominios de aplicación, principalmente Seguridad Informática
Transferir los resultados a la industria

 

 

Estamos particularmente interesados en colaborar con grupos de investigación o empresas que deseen desarrollar aplicaciones mediante uso intensivo de Métodos Formales. Estamos capacitados para trabajar con C, C++, Haskell, Linux (núcleo del sistema), TCP/IP, programación a bajo nivel, drivers para dispositivos, criptografía, CSP, TLA, Z, Larch, Statecharts, Coq, diseño orientado a objetos (DOO), arquitecturas de software, seguridad informática, seguridad multi-nivel (MLS), modelos formales de seguridad informática, etc.

También, buscamos socios, inversores, sponsors, o instituciones de financiamiento interesadas en apoyar cualquiera de nuestros proyectos.

Además de nuestra capacidad técnica, encontrará nuestras tarifas muy competitivas.

Lo invitamos a contactarnos: gidis-info@fceia.unr.edu.ar

 
GIDIS
Departamento de Computación
F.C.E.I.A
Pellegrini 250
(2000) Rosario
Argentina

© 2003 por Grupo Gidis. Todos los derechos reservados.
Sitio diseñado por Lorena Cantarini [mailto]