Differences

This shows you the differences between two versions of the page.

--- start [2026/01/19 14:56] – etanter
+++ start [2026/01/28 22:28] (current) – etanter
@@ Line 3: / Line 3: @@
 ====== Welcome! ======
-The  [[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 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.
+The [[https://pleiad.cl/pleiad-history|PLEIAD]] laboratory of the Computer Science Department
-Currently, our work is mostly centered on **programming languages**, **program verification**, and **type theory**.
+([[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**.
 ===== Recent News =====
@@ Line 25: / Line 27: @@
 ===== Members =====
+  * [[people:nlehmann|Nico Lehmann]], Assistant Professor
   * [[people:folmedo|Federico Olmedo]], Assistant Professor
   * [[people:etanter|Éric Tanter]], Full 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
   * [[people:tdiaz|Tomás Díaz]], PhD student