I'm currently a PhD Student at the University of Central Florida investigating the intersections of formal verification methods and artificial intelligence.
I've previously worked on a blockchain based, hemp distribution tracking application for JarrowTech, here and on "Tinder for Rock Climbers" at Xplor Adventures LLC as a full stack engineer.
I'm currently learning go to expand my skills on the backend. You can see some of my progress here.
I'm looking to calloborate on any projects that look to distribute and decentralize the world!
Visit my portfolio or my blog to catch up with what I'm doing right now.