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},
    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