User:Ignacio Trejos Zelaya

Ingeniero en Computación del Instituto Tecnológico de Costa Rica, con dos maestrías y la candidatura doctoral (todas en Computación) de la Universidad de Oxford.

Ha sido profesor universitario desde 1984 en el Instituto Tecnológico de Costa Rica, y ha impartido cursos de postgrado en varias universidades costarricenses y latinoamericanas. Actualmente es profesor y Rector de Cenfotec (centro de educación superior especializado en Tecnologías de Información y Comunicación) y Profesor Asociado del Instituto Tecnológico de Costa Rica, donde ha dirigido más de 20 tesis de maestría.

Tiene intereses profesionales y académicos en Ingeniería del software y en educación de profesionales en disciplinas informáticas. Ha realizado investigación y consultoría en temas de Ingeniería del software (análisis, especificación y diseño de sistemas, aseguramiento de la calidad del software, estimación de proyectos, mejora de procesos) y Lenguajes de programación. En los últimos años ha concentrado su atención en la educación de profesionales en Informática y en cómo apalancar el desarrollo económico mediante TICs. Ignacio ha participado en el diseño o mejora de más de 15 carreras (de nivel post-secundario) en diversas especialidades informáticas.

Ignacio colabora desde 1988 con el Club de Investigación Tecnológica. Es columnista de El Financiero, miembro del Consejo Asesor Empresarial del Centro Nacional de Alta Tecnología de Costa Rica y miembro co-fundador de CAATEC. Contribuyó a la Estrategia Siglo 21 (área de Informática) y a la Estrategia Digital de Costa Rica (área de Educación). Fue directivo de la Cámara Costarricense de Tecnología de Información y Comunicación (CAMTIC) y ha sido miembro de su Grupo de Trabajo en Recursos Humanos. Recibió el Premio al Mérito Informático otorgado por el Colegio de Profesionales en Informática y Computación en el año 2000.

Estudios •	Candidato al D.Phil. in Computation, Oxford University, Reino Unido. 1992. Tema: diseño y semántica de lenguajes de programación. •	M.Sc. (research) in Computation, Oxford University, Reino Unido. 1993. Tema: diseño y semántica de lenguajes aplicativos-lógicos. •	M.Sc. in Computation, Oxford University, Reino Unido. 1991. Tema: ingeniería formal de sistemas de software. •	Ingeniero en Computación Administrativa, Instituto Tecnológico de Costa Rica. 1985. Trabajo de graduación: herramientas de software. •	Estudios de Informática y Ciencias de la Computación, U. Francisco Marroquín (Guatemala). 1978-1980. •	Estudios de Física, Matemática y Ciencias de la Computación, Universidad del Valle de Guatemala. 1976-1978.