Escudo de la República de Colombia

Grupo de investigación

PLaS — Programming Languages and Systems

Investigamos construyendo herramientas, no solo publicando.

Lo que se prueba en el laboratorio se enseña, se evalúa y vuelve a la práctica: las líneas de PLaS se refuerzan entre sí.

EscríbenosConoce el grupoMinciencias A1

Los programas deben escribirse para que los lean las personas, y solo de paso para que los ejecuten las máquinas.

Harold Abelson y Gerald Jay Sussman, Structure and Interpretation of Computer Programs

Últimas novedades

Ver todas

Trabajos recientes

Catálogo

Proyectos destacados

Proyectos

Líneas de investigación

Líneas

¿Quieres construir con nosotros?

Si traes una idea, buscas tesis o quieres colaborar, escríbenos. Revisamos propuestas con criterio y acompañamos el trabajo hasta un resultado sólido.

Escribir al grupo