Professor, Computer Science
Professor (By courtesy), Electrical Engineering
Professor (By courtesy), Graduate School of Education
Faculty Affiliate, Institute for Human-Centered Artificial Intelligence (HAI)
Higher Education | Teachers and Teaching | Technology and Education
DiGiacomo-Castillo, M., Liang, Y., Pal, A., & Mitchell, J. C. (2020). Model Checking Bitcoin and other Proof-of-Work Consensus Protocols. 2020 IEEE International Conference on Blockchain.
Bigman, M., & Mitchell, J. C. (2020). Teaching Online in 2020: Experiments, Empathy, Discovery. IEEE Learning With MOOCS (LWMOOCS).
Bassen, J., Balaji, B., Schaarschmidt, M., Thille, C., Painter, J., Zimmaro, D., … Mitchell, J. C. (2020). Reinforcement Learning for the Adaptive Scheduling of Educational Activities. Proc 2020 CHI Conference on Human Factors in Computing Systems.