Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| people:etanter [2021/11/03 09:42] – etanter | people:etanter [2021/11/08 12:03] – etanter | ||
|---|---|---|---|
| Line 131: | Line 131: | ||
| ++++ Research Projects | | ++++ Research Projects | | ||
| * FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/ | * FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/ | ||
| - | * INRIA Équipe Associée GECO [2018-2020/lead] | + | * INRIA Équipe Associée GECO [2018-2022/lead] |
| * CONICYT REDES Project 170067 - CSEC: Certified Software Engineering in Coq [2018-2019/ | * CONICYT REDES Project 170067 - CSEC: Certified Software Engineering in Coq [2018-2019/ | ||
| * FONDECYT Project 1150017 - Gradual Software Verification: | * FONDECYT Project 1150017 - Gradual Software Verification: | ||