Todd Kelley is Chief Technology Officer at Axentra Corporation. Most recently he has led the software development for Axentra’s flagship product, the Net-Box Server Appliance, since the project began in early 2003. Before joining Axentra as Senior System Architect in the fall of 2000, Todd filled roles ranging from Systems Architect to Senior Designer at Nortel Networks. There he developed an award winning process effectiveness tool while working with the design, verification, and in-house tools groups to develop high-integrity process effectiveness metrics. Todd has long valued the relevance of Open Source Development, and was thrilled about the challenges and opportunities that joining the Axentra team offered him.
Todd did his doctoral studies at the University of Toronto, where he was taught by one of the leading contributors to the field of Knowledge Representation, which comprises the theory and principles underlying the representation and computational manipulation of knowledge. There he developed a keen appreciation for the importance of mathematical rigor in computer science research. Among Todd’s contributions to the mathematical logic side of Knowledge Representation is the extending of the Situation Calculus to include functions as domain objects. He also holds a master’s degree in Artificial Intelligence and a bachelor’s degree in computer science and physics, both from Queen’s University at Kingston.
