Selected Recent Publications

  • Drachova, S. V., Hallstrom, J. O., Hollingsworth, J. E., Krone, J., Pak, R., and Sitaraman, M.: Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. ACM Trans. Computing Education 15, 3, Article 15 (August 2015), 22 pages.
    [INFO]
  • Cook, C. T., Drachova-Strang, S. V., Sun, Y., Sitaraman, M., Carver, J. C., and Hollingsworth, J. E.: Specification and Reasoning in SE Projects using a Web IDE. IEEE Computer Society. CSEET 2013.
    [PDF]
  • Hallstrom, J. O., Hollingsworth, J. E., Krone, J., and Sitaraman, M.: Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only). SIGCSE 2013: 757.
    [INFO]
  • Hollingsworth, J. E., Krone, J., Hallstrom, J. O., Sitaraman, M., and Weide, B. W.: Engaging mathematical reasoning exercises. SIGCSE 2013: 459-460.
    [INFO]
  • Cook, C. T., Drachova-Strang, S., Hallstrom, J. O., Hollingsworth, J. E., Jacobs, D. P., Krone, J., and Sitaraman, M.: A systematic approach to teaching abstraction and mathematical modeling. ITiCSE 2012: 357-362.
    [INFO]

Educator Resources

For more information or additional resources, send an email to Murali Sitaraman.

Additional References

Special Sessions, Panels, and Workshops

RCI Tests

Educational Partners