Initial commit
Importing first commit
First modification
Adding email
Changed name and added objective and latex skill.
LogicBlox Internship
Adding .gitignore
bytecode libraries
git
smaragd proposed changes
smaragd proposed changes: revisited
switching to more compressed template + adding publications
Adding grants and awards section.
Adding introspective publication.