Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
people:etanter [2024/01/03 10:40] – etanterpeople:etanter [2024/01/03 10:53] – etanter
Line 129: Line 129:
  
 ++++ Research Projects | ++++ Research Projects |
-    * ANID Project DFG220011 - Gradual Abstract Interpretation [2023-2025/co-investigator]+    * ANID Project DFG220011 - Gradual Abstract Interpretation [2024-2026/co-investigator]
     * INRIA Équipe Associée GRAPA [2023-2025/lead]     * INRIA Équipe Associée GRAPA [2023-2025/lead]
     * FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/lead]     * FONDECYT Project 1190058 - Gradual Reasoning About Programs: Typing, Analysis, and Verification [2019-2022/lead]