I am passionate about logic and its applications in mathematics, philosophy, computer science, and linguistics.
These days I work as a software engineer, designing machine learning and natural language processing systems to help people improve their writing.