User:Cdsmith
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Name: Chris Smith
I am a software developer for MindIQ Corporation. There, I work on LMS software to coordinate and track online learning activities.
I'm in the planning stages of planning graduate work (including the minor formality of finishing my undergrad degree). Interests for graduate work (very general at this time) include automatic and computer aided proofs of properties of computer programs, and program transformations (for concurrency, efficiency, etc.) Other interests include type theory and theory of computation (esp. computability).