Miguel Martinez Email & Phone Number

Austin, Texas, United States

Austin, Texas, United States

• Worked on a team of five software engineers on full stack development using Agile
• Engineered donation forms and administration pages for non-profits that raised over $100,000
• Maintained backend asynchronous microservices with Microsoft Service Bus
• Developed using Test Driven Development methodology in Jasmine and Groovy
• Merged production code using continuous deployment

Austin, Texas, United States

• Worked directly with ontologists on Cyc, a reasoning environment consisting of a knowledge base and a reasoning engine; helped maintain the knowledge base
• Debugged misrepresentations and unlexified terms in the knowledge base, made the knowledge base more user friendly for both engineers and consumers
• Created, edited, and ran “common sense tests” designed to test Cyc’s reasoning about everyday things in the world, made sure that Cyc was able to draw reasonable conclusions from reasonable premises