Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| people:mtoro [2025/04/16 10:36] – [Research Interests] mtoro | people:mtoro [2026/03/24 21:57] (current) – mtoro | ||
|---|---|---|---|
| Line 15: | Line 15: | ||
| * Abstracting Gradual Typing | * Abstracting Gradual Typing | ||
| * Differential Privacy | * Differential Privacy | ||
| + | * Programming using AI (agents, LLMs) | ||