- From: Smith, Michael K <michael.smith@eds.com>
- Date: Fri, 2 Nov 2001 19:26:03 -0500 (EST)
- To: www-webont-wg@w3.org
Michael K. Smith Recently I have been working on taxonomy construction to assist in the organization of EDS' internal web site. That, combined with recent extensive involvement with XML, has led to an interest in ontology for the web. Technical background includes: - design and construction of tools for the analysis and transformation of software systems - tools to support formal analysis of programs (mathematical proofs of correctness) - programming language semantics - computer and network security - natural laguage processing including representation of connected discourse and reference resolution. I was one of the founders of Computational Logic, a small company that performed research in the mathematical analysis of hardware and software systems. I held the positions of Executive Vice President, President, and Chairman during the 14-year life of the company. Michael K. Smith, PhD Enterprise Architect Electronic Data Systems Austin Innovation Lab 98 San Jacinto, Suite 500 Austin, TX 78701 Work: 512 404-6683 Cell: 512 789-4477 Location: 30:16:01 N 097:44:34 W
Received on Friday, 2 November 2001 21:41:23 UTC