User:Cdsmith

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).