Willkumme zäme - bienvenidos/as - benvenuti/a
- 🔭 I’m continually working on lecture notes and code examples for my upcoming classes, as well as the research projects reflected here.
- 🌱 I’m currently revising my COMP 371/471 programming languages and COMP 373/473 software architecture (still officially called Advanced OOP) courses for fall 2025; I'm also catching up on formal methods and tools for my COMP 335/488 course in spring 2026 by learning more Lean and Alloy.
- 💬 Ask me about research opportunities in the context of these projects.
- 🤔 I’m always looking for help with research software/prototyping.
- 👯 I’m open to collaborate on projects in environmental sustainability and other areas of social justice.
- 📫 How to reach me: see my home page.
- 😄 Pronouns: he 🇺🇸/él 🇵🇪/er 🇩🇪/lui 🇮🇹
- 🧏 Languages: deu 🇦🇹🇧🇪🇩🇪🇱🇮🇱🇺🇨🇭/gsw 🇦🇹🇫🇷🇩🇪🇮🇹🇱🇮🇨🇭/eng 🇺🇸🇨🇦/ita 🇮🇹🇨🇭/spa 🇨🇱🇨🇴🇵🇪 (in order of acquisition and to varying degrees of proficiency)
- ⚡ Fun fact: When I am not teaching, programming, or writing, I might be out jogging, pumping iron, doing minor work on my truck, or camping/hiking.