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.
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 (BLOCKCHAIN 2020), 351–358.
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. PROCEEDINGS OF THE 2020 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI'20). ASSOC COMPUTING MACHINERY.