Technical Research

After building up a repertoire of programming skills through my Sophomore year, I decided it was time to get a summer job. I attended the engineering career fair which was superb in pairing employers and students. I had several interviews, was accepted to join each company I interviewed with the exception of one company, but my intuition had a queasy feeling that remained unsettled. I then began to look internally into Texas A&M's own offerings. I stumbled upon a program called the Undergraduate Summer Research Grant (USRG) which appeared intriguing enough. I applied, was accepted, and then instructed to find a mentor to work with over the summer.

After reviewing A&M's faculty profiles online, I matched a professor that had similar interests of computers and mathematics to my own. I walked into Dr. Gabriel Dos Reis's office and then began to tell him of my passions. He gladly accepted me as his summer student and we were underway. I began coding in a program called OpenAxiom, which is essentially a computer algebra system. I was coding in an outdated language called Spad, but it was mathematical in nature and relatively simple to understand. Here is more information on the Open Axiom: http://www.open-axiom.org/.

At the end of the summer, I presented the results of this research. We essentially coded methodologies in OpenAxiom to solve different types of differential equations that were not previously supported. Here is myself giving a poster presentation over our results:

USRG poster presentation while supporting A&M maroon

Following that summer of 2010, Dr. Dos Reis asked me to join one of his other projects. We would be working on his Liz Project: http://liz.axiomatics.org/trac/.

Through working with Dr. Dos Reis, I traveled with him to Paris, France where we worked with Xavier Leeroy at INRIA in rocquencourt. Finally, after a year of hard work, we earned a publication in the 2011 Conference on Intelligent Mathematics. The conference was held in Bertinoro, Forli, Italy. Our research paper was titled "Supporting Structured Generic Programming with Automated Deduction." Our presentation fell under the 'save the best for last' policy in which I presented in front of some of Earth's most intelligent computer mathematicians.

My journey through the business world is just about to begin.