Research contributions in educational technology, AI in education, and teacher professional development