I study Logic and have worked on Machine Learning for a bit. Interested in transitioning to AI Safety. Reach out to me about Formal Verification of AI.

https://skaisg.eu/