EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2015-170
June 30, 2015
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-170.pdf
The advent of massive open online courses (MOOCs) has placed a renewed focus on the development and use of computational aids for teaching and learning. In Spring 2014, a graduate course was taught at UC Berkeley to explore the use of formal methods for a range of activities in online and large-scale education, including utomatic grading, synthesizing new problems, automatically solving problems, and creating and managing virtual laboratory environments. Students performed a range of projects exploring these topics for courses in computer science, electrical engineering, and other disciplines. This technical report includes the final reports on student projects along with a summary of some of the main lessons learned through in-class discussions.
BibTeX citation:
@techreport{EECS-2015-170, Editor = {Seshia, Sanjit A.}, Title = {Formal Methods for Engineering Education}, Institution = {EECS Department, University of California, Berkeley}, Year = {2015}, Month = {Jun}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-170.html}, Number = {UCB/EECS-2015-170}, Abstract = {The advent of massive open online courses (MOOCs) has placed a renewed focus on the development and use of computational aids for teaching and learning. In Spring 2014, a graduate course was taught at UC Berkeley to explore the use of formal methods for a range of activities in online and large-scale education, including utomatic grading, synthesizing new problems, automatically solving problems, and creating and managing virtual laboratory environments. Students performed a range of projects exploring these topics for courses in computer science, electrical engineering, and other disciplines. This technical report includes the final reports on student projects along with a summary of some of the main lessons learned through in-class discussions.} }
EndNote citation:
%0 Report %E Seshia, Sanjit A. %T Formal Methods for Engineering Education %I EECS Department, University of California, Berkeley %D 2015 %8 June 30 %@ UCB/EECS-2015-170 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2015/EECS-2015-170.html %F EECS-2015-170