Remote
Amanda
@mnda@scholar.social
mastodon 4.7.3#Verification, programming languages, #SMT and string constraints in particular. #Rust. PhD student. Houseplants, visible mending. Sometimes pictures of my Shetland sheepdog.
She/her.
Book reviews at @amanda.
44 Followers
132 Following
0 Posts
Joined February 09, 2020
No posts yet
This profile has no cached posts yet.