machine learning, artificial intelligence, natural language processing, formal methods, formal mathematics