Remote
Amanda
@mnda@scholar.social
mastodon
4.6.6
#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.
45
Followers
132
Following
0
Posts
Joined February 09, 2020