Consulting in automated reasoning (formal methods), compilers, & agentic AI.

Bio: https://leepike.github.io

LinkedIn: https://www.linkedin.com/in/leepike/

Contact: leepike@logothetica.com