lawrpaulson.bsky.social
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
405 posts
490 followers
254 following
Prolific Poster
Conversation Starter