Hey Cardano folks,
I’m a software engineer / machine learning researcher living in San Francisco.
I’ve had an interest in formal methods / functional programming ever since grad school (2008 ish), so I’m glad to see a crypto community embracing those ideas!
It would be fun to meet up with other Cardano folks in the area 
Eric
Very cool thanks for posting. Unfortunately I’m on the other side of the US but if I get out to San Fran I’d be happy to say hello. As you know about functional programming it be great to add your voice to the forum as time progresses.
Welcome to the forum, as Donnybaseball has said it will be great to hear your voice here.
I am sure you will be able to find someone in your area to meetup with, hope to see you around!
Welcome to the family Eric.
Welcome to the forums Eric 
Hello from Canada 
Warm Welcome to the Cardano community and forum!
A very warm welcome @sparsest Eric!