If you need to meet with me, look at my availability status in the calendar below, and send me an email suggesting a time and the purpose.
I usually meet in my personal Zoom room.
I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.
If you need to meet with me, look at my availability status in the calendar below, and send me an email suggesting a time and the purpose.
I usually meet in my personal Zoom room.