The PLEIAD laboratory of the Computer Science Department (DCC) of the University of Chile (Faculty of Engineering) is a laboratory dedicated to research on software development techniques. Since its creation in 2007, the lab has focused on many ways to better support software development at different levels, from programming languages to development environments, including tools to support program understanding (debuggers, profilers, visualizers), as well as studies of the practice of programming, through mining software repositories as well as user studies.

Currently, our work is mostly centered on programming languages, program verification, and type theory.

Recent News


  • Federico Olmedo, Assistant Professor
  • Éric Tanter, Full Professor
  • Matías Toro, Assistant Professor
  • Stefan Malewski, PhD student
  • Bruno García, PhD student
  • Damián Arquez, PhD student
  • Tomás Díaz, PhD student
  • Tomás Vallejos, MSc student
  • José Luis Romero, MSc student