- ๐ญ Iโm currently working on lecture notes and code examples for my upcoming classes, as well as these research projects.
- ๐ฑ Iโm currently learning formal methods and tools for my COMP 335/488 course in spring 2024, as well as completely revising my COMP 371/471 programming languages course for fall 2024; in particular, I'm learning Rust.
- ๐ฏ Iโm looking to collaborate on projects in environmental sustainability and other areas of social justice.
- ๐ค Iโm looking for help with research software/prototyping.
- ๐ฌ Ask me about research opportunities in the context of these projects.
- ๐ซ How to reach me: see my home page.
- ๐ Pronouns: he/him/his
- ๐ง Languages: eng ๐บ๐ธ๐จ๐ฆ/spa ๐จ๐ฑ๐จ๐ด๐ต๐ช/deu ๐ฉ๐ช/gsw ๐ฆ๐น๐ซ๐ท๐ฉ๐ช๐ฎ๐น๐ฑ๐ฎ๐จ๐ญ/ita ๐ฎ๐น (to varying degrees of proficiency)
- โก Fun fact: When I am not teaching, programming, or writing, I might be out jogging, pumping iron, working on my truck, or camping/hiking.
klaeufer / ghedutils Goto Github PK
View Code? Open in Web Editor NEWGitHub utilities for education: bulk-accept pending invites, bulk-clone matching repos
License: MIT License