I'm a computer scientist interested in the application of machine learning in the context of automated reasoning and formal methods. These days manly focus on Satisfiability Modulo Theories (SMT).