| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| start [2026/01/28 22:24] – etanter | start [2026/01/28 22:28] (current) – etanter |
|---|
| ====== Welcome! ====== | ====== Welcome! ====== |
| |
| The [[https://pleiad.cl/pleiad-history|PLEIAD]] laboratory of the Computer Science Department ([DCC](http://www.dcc.uchile.cl/)) of the [University of Chile](http://www.uchile.cl/) ([Faculty of Engineering](http://www.fcfm.uchile.cl/)) is a laboratory dedicated to **foundational and applied research on software development techniques**. | The [[https://pleiad.cl/pleiad-history|PLEIAD]] laboratory of the Computer Science Department |
| | ([[http://www.dcc.uchile.cl/|DCC]]) of the [[http://www.uchile.cl/|University of Chile]] ([[http://www.fcfm.uchile.cl/|Faculty of Engineering]]) is a laboratory dedicated to **foundational and applied research on software development techniques**. |
| |
| Since its creation in 2007, the lab has focused on many ways to support the development of high-quality software at different levels, from programming languages to development environments. Currently, our work is mostly centered on **programming languages**, **program verification**, and **type theory**, as core approaches to address concerns of **correctness, efficiency, robustness, data privacy and security**. | Since its creation in 2007, the lab has focused on many ways to support the development of high-quality software at different levels, from programming languages to development environments. Currently, our work is mostly centered on **programming languages**, **program verification**, and **type theory**, as core approaches to address concerns of **correctness, efficiency, robustness, data privacy** and **security**. |
| |
| ===== Recent News ===== | ===== Recent News ===== |
| ===== Members ===== | ===== Members ===== |
| |
| | * [[people:nlehmann|Nico Lehmann]], Assistant Professor |
| * [[people:folmedo|Federico Olmedo]], Assistant Professor | * [[people:folmedo|Federico Olmedo]], Assistant Professor |
| * [[people:etanter|Éric Tanter]], Full Professor | * [[people:etanter|Éric Tanter]], Full Professor |
| * [[people:mtoro|Matías Toro]], Assistant Professor | * [[people:mtoro|Matías Toro]], Assistant Professor |
| * Koen Jacobs, Postdoc (with Inria) | * Mara Malewski, PhD student |
| * Stefan Malewski, PhD student | |
| * Damián Arquez, PhD student | * Damián Arquez, PhD student |
| * [[people:tdiaz|Tomás Díaz]], PhD student | * [[people:tdiaz|Tomás Díaz]], PhD student |
