Robert M. Seater, PhD 20 Summer St. Apt. 409-n malden, ma 02148

Robert M. Seater, PhD

20 Summer St. Apt. 409-N

Malden, MA 02148
[phone] (cell)

[phone] (home)

[phone] (office)
[e-mail]

http://www.mit.edu/~rseater/

EDUCATION__________________________________________________________________

Graduate: Massachusetts Institute of Technology (MIT), Cambridge MA

PhD: Computer Science, expected December 2008

Masters: Computer Science, 2005

Minor: Engineering Systems Division, Aeronautics and Astronautics

GPA: 4.8 (max 5.0)

Research Interests: System Safety Analysis, Requirements Engineering,

Software Engineering, Human-Computer Interaction, Medical Software, Relational Logic

Undergraduate: Haverford College, Haverford PA (class of 2002)

Bachelor of Science: double major in Computer Science and Mathematics

GPA: 3.84 (max 4.0), 3.92 within majors
WORK HISTORY______________________________________________________________

• 
  Research Assistant at MIT Software Engineering & System Analysis research under the supervision of Daniel Jackson, Edward Crawley, and Robert Miller. Independent research projects and collaborative technical papers. 2002-present.
  
• 
  Consultant for Massachusetts General Hospital (MGH) Built safety cases for critical components of the Burr Proton Therapy Center at MGH, Elicited and coordinated requirements from physicists, physicians, programmers, and managers. Built end-to-end dependability argument for key safety-critical aspects of system. Identified vulnerabilities and undocumented assumptions. 2003-2007
  
• 
  Director of Game Development at Cambridge Games Factory Part-owner of successful small publishing company. Coordinate 30 independent designers with marketing, production, and creative constraints. 2007-present.
  
• 
  Teaching Assistant at MIT System Engineering (6.033), Prof. Frans Kaashoek, Prof. Barbara Liskov, 2006. Lightweight Formal Methods (6.894), Prof. Daniel Jackson, 2005.
  
• 
  Instructor at CTY: Center for Talented Youth (run by Johns Hopkins University) Co-taught 3 Mathematics courses for gifted high school students. Lesson design, lecturing, discipline, maintaining student status reports, grading, advising student projects. Summer 1999/2002
  

SKILLS______________________________________________________________________

• 
  System Analysis
  

Experience analyzing safety and dependability of complex, software-intensive systems.

• 
  Coordinating Communication
  

Experience collaborating and communicating with researchers, programmers, engineers, and managers to build unified system analyses & correctness arguments. Elicit and filter information from experts, summarize and organize goals & constraints, synthesize and present conclusions.

• 
  Technical Writing
  

Clear technical writing, presentations, and instruction gauged for different audiences. Experience developing online and live tutorials.

• 
  Tools, Techniques, & Programming Languages
  

Write clear, documented, maintainable code. Experience analyzing, writing, and maintaining code in C, Java, HTML. Familiar with C++, Lisp, Scheme. Comfortable in Unix, Windows, and Mac environments.
Extensive experience with Alloy modeling language, DabbleDb databases, LaTeX document preparation, M. Jackson's Problem Frames, MS Access, MS Word, Omnigraffle diagram layout. Familiar with Crawley & Koo's OPN, Doxygen, Eclipse, InDesign, Leveson's STAMP analysis, MS Access, MS Excel, OCL (the modeling language of UML).
PEER REVIEWED PUBLICATIONS_____________________________________________

• 
  R. Seater, D. Jackson, R. Gheyi. Requirement Progression in Problem Frames: Deriving Specifications from Requirements. Requirements Engineering Journal (REJ'07). 2007.
  
• 
  R. Seater, D. Jackson. Requirement Progression in Problem Frames Applied to a Proton Therapy System. 14th IEEE International Requirements Engineering Conference (RE'06). 2006.
  
• 
  R. Seater, D. Jackson. Problem Frame Transformations: Deriving Specifications from Requirements. 2nd International Workshop on Applications and Advances in Problem Frames (IWAAPF'06), associated with the 28th International Conference on Software Engineering (ICSE'06). May 23, 2006.
  
• 
  M. Taghdiri, R. Seater, D. Jackson. Lightweight Extraction of Syntactic Specifications. 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE'06). 2006.
  
• 
  G. Dennis, R. Seater, D. Rayside, D. Jackson. Automating Commutativity Analysis at the Design Level. International Symposium on Software Testing and Analysis (ISSTA '04). 2004.
  
• 
  I. Shlyakhter, R. Seater, D. Jackson, M. Sridharan, M. Taghdiri. Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. Automated Software Engineering (ASE'03). 2003. Best paper award.
  
• 
  R. Seater, D. Wonnacott. Efficient Manipulation of Disequalities During Dependence Analysis. Languages and Compiler for Parallel Computation (LCPC '02). 2002.
  
• 
  R. Seater, D. Wonnacott. Polynomial Time Array Dataflow Analysis. Languages and Compilers for Parallel Computing (LCPC'01). 2001.
  

THESES______________________________________________________________________

• 
  R. Seater. End-to-End System Analysis. MIT PhD Thesis. Expected 2008.
  
• 
  R. Seater. Core Extraction and Non-Example Generation: Debugging and Understanding Logical Models. MIT Masters Thesis. Nov 2004.
  
• 
  R. Seater. Decomposition of Polygons into Minkowski Summands. Bachelors Thesis in Mathematics from Haverford College. May 2002.
  
• 
  R. Seater. Handling Disequalities During Dependence Analysis. Bachelors Thesis in Computer Science from Haverford College. May 2001.
  

Robert M. Seater, PhD

REFERENCES________________________________________________________________
Daniel Jackson , PhD

occupation: Professor of Computer Science at MIT

relation: Research Advisor, Doctoral Thesis Committee

contact: [e-mail]
Edward Crawley, PhD

occupation: Professor of Aero-Astro & Engineering Systems Division at MIT

relation: Doctoral Thesis Committee

contact: [e-mail]
Robert Miller, PhD

occupation: Professor of Computer Science at MIT

relation: Doctoral Thesis Committee

contact: [e-mail]
Edward Carter

occupation: Cambridge Games Factory, CGF Toolkit Consulting & Contracting

relation: Employer

contact: [e-mail]