Sean Kauffman

PhD Student

sean kauffmanSean Kauffman completed his undergraduate degree at Goshen College in Goshen, Indiana in the Spring of 2005. Although Goshen was a Liberal Arts school, he studied Computer Science and received a Bachelor of Arts in that field. After a year volunteering in the Netherlands, Sean moved to Seattle, Washington and took a position as a Software Engineer with a startup named CleverSet that sold a product recommendations system as a service. In 2008 CleverSet was acquired by Art Technology Group and Sean took a position with that company, later being promoted to Senior Software Engineer. In 2011 ATG was acquired by Oracle Corportation and Sean again took a position with that company, later being promoted to Principal Software Engineer. In 2012, Sean completed a certificate program with the University of Washington in Real Time Embedded Systems Programming.

In the Spring of 2016, Sean completed a Master of Mathematics degree in Computer Science at the University of Waterloo under Sebastian Fishmeister. Sean spends his spare time restoring his classic car, playing dodgeball, fiddling, baking, and playing with his cat.

University of Waterloo

Publications with this group


Kauffman, S., K. Havelund, R. Joshi, and S. Fischmeister, "Inferring Event Stream Abstractions", Formal Methods in System Design, pp. 29, 2018.


Kauffman, S., and S. Fischmeister, "Mining Temporal Intervals from Real-time System Traces", 6th International Workshop on Software Mining, Champaign, USA, 2017. PDF icon [paper] (358.91 KB)
Narayan, A., S. Kauffman, J. Morgan, G. Martin Tchamgoue, Y. Joshi, S. Fischmeister, and C. Hobbs, "System Call Logs with Natural Random Faults: Experimental Design and Application", Silicon Errors in Logic -- System Effects (SELSE), Boston, USA, 2017. PDF icon [pdf] (251.78 KB)


Moreno, C., S. Kauffman, and S. Fischmeister, "Efficient Program Tracing and Monitoring Through Power Consumption -- With A Little Help From The Compiler", Proc. of Design, Automation, and Test (DATE), Dresden, Germany, 2016. PDF icon [pdf] (178.75 KB)
Kauffman, S., C. Moreno, and S. Fischmeister, "Static Transformation of Power Consumption for Software Attestation", IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Daegu, South Korea, 2016. PDF icon [paper] (366.59 KB)