Willie Arnold
****-* ******** ***** **********, NC 27408 336-***-**** ********@*****.**.***
OBJECTIVE
To obtain a full-time position in the field of Computer Science
EDUCATION
North Carolina Agricultural & Technical State University Greensboro, NC
Master of Science in Computer Science, GPA 3.37 May 2014
Concentration: Secure Software Engineering, Information Assurance
KEY SKILLS
Operating Systems Used:
Ninety-nine percent of time spent as a power user in the GNU/Linux Ubuntu environment using
vim and tmux and shell.
Languages:
Exposure: Prolog, Haskell, Static Code Analysis tools
Knowledgeable of: C/C++, Common Lisp, Python, Java, JSP, JDBC, JUnit, Eclipse, NetBeans,
make, GNU Compiler Collection, gdb, sqlite, MySQL, latex, html, mysql, git, MS Visio,
MS Project
PROJECTS
Web Security – Medical Application:
• Java/JSP: Scriptlets used to extract HTML form field data for later use in well-formed SQL
strings. Forms to authenticate users, enter new patient data, and process payments was
included.
• Tomcat7: User digest authentication, user data constraints
• JDBC: Used prepared statements to transmit well-formed SQL strings to a MySQL database.
GRADUATE EXPERIENCE
Teacher Assistant Greensboro, NC
NCAT: Computer Science Department January 2012-Present
• Workshop: Java Formal Languages and Automata Package: Introduction to Finite Automata
Construction and Testing, Spring 2012 - Present
• Workshop: Introduction to JDBC with the SQLite DBMS, Spring 2013
• Supervise and evaluate student projects for the undergraduate database design course.
• Hold office hours and grade assignments: undergraduate database design, undergraduate
introduction formal languages and automata.
Research Assistant Greensboro, NC
NCAT: Computer Science Department August 2012-June 2013
• Surveyed state of the art tools and practices in Formal Methods
• Participated in the NASA Langley 2012 PVS Class
• Planned implementation technologies for communication component of a multi-agent system
for structural health monitoring in collaboration with the university’s NASA Center for
Aviation Systems Safety.