I’m not in right now...

You’ve reached the web site of Jason McColm Smith.  I’m a graduate of the University of North Carolina at Chapel Hill, where I received my MS and PhD in Computer Science.  Currently, I am at IBM Watson Research, continuing my research into static analysis of software design using hierarchical concept abstraction.  See the SPQR link on the left for more information on the project as implemented for my doctorate, and background information on the technologies in general.


I hope you didn’t have a difficult time finding this page, I hear rumors that I can be a hard man to find...


(This site is undergoing a redesign, if you find a missing link, mail me.)

Jason McC. Smith

Name: Jason McC. Smith

Employer: IBM Watson Research, Hawthorne NY


Contact Info

  1. smithja@cs.unc.edu

  2. 914.784.7125

  3. 19 Skyline Dr
    Hawthorne, NY 10562


Research Pages


SPQR

Automated Detection of Design Patterns in Source Code via Formal Methods


A Transparent-Video Collaborative Technology


Most Recent Publications

  1. Intent-Oriented Design Pattern Formalization Using SPQR, Jason McC. Smith, David Stotts, in Design Pattern Formalization Techniques, Toufik Taibi, Ed., Apr, 2007.

  2. ... All Publications


Patents

  1. SPQR

  2. FaceTop


Curriculum Vitae


Teaching Experience

  1. Comp 144