Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
people:etanter [2021/11/03 09:41] – etanter | people:etanter [2021/11/08 12:03] – etanter | ||
---|---|---|---|
Line 21: | Line 21: | ||
* {{bib> | * {{bib> | ||
- | |||
- | ===== Research Interests ===== | ||
- | |||
- | * programming and programming languages: design, semantics, implementation, | ||
- | * software modularity and adaptability | ||
- | * objects, functions, aspects, reflection, meta-programming, | ||
- | * practice of programming: | ||
===== Academic Activities ===== | ===== Academic Activities ===== | ||
Line 138: | 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: |