Things I Do
Exploring the frontiers of formal methods, writing stories, developing recipes, practicing mindfulness—these are the passions that shape my work and life.
Tech
I’m a PhD student focused on formal methods.
I maintain Formal Methods Tools, the world’s largest collection of formal methods tools.
I sometimes write blog posts about tech, especially formal methods.
Literature
Writing is one of my favorite escapes. I am chipping away at a few free-to-read serial novels.
I sometimes write blog posts about literature and film.
I also love to draw and paint, but you don’t get to see that.
Culinary Arts
Cooking is one of my greatest simple pleasures in life. I primarily cook gluten-free due to family dietary needs.
I am compiling my favorite recipes into Whisker’s Gluten Free Kitchen.
Mindfulness
Many of my close friends and family members are mental health professionals, and I’ve developed an interest in mental health, especially mindfulness.
I have compiled some of my favorite mindfulness exercises into Now Noticed, a free resource.
