1400 Monroe Street — Herndon, VA 20170 | 372C Mews Hall — Ithaca, NY 14853
H +1 (703) 943 0917 • B sks266@cornell.edu
•
ssomayyajula.github.io
• sivasomayyajula
Cornell University, College of Arts and Sciences
B.A. in Mathematics & Computer Science, Minor in Linguistics (expected), GPA: 3.77/4
Activities
{ Association of Computer Science Undergraduates { Cornell Data Science Club
Coursework
{ Data Structures and Functional Programming (CS 3110)
{ Discrete Structures (CS 2800)
{ Object-Oriented Design and Data Structures – Honors (CS 2112)
{ Applicable Algebra (MATH 3360)
{ Linear Algebra for Engineers (MATH 2940)
Ithaca, NY
August 2015–May 2019
Thomas Jefferson High School for Science and Technology
Jefferson Diploma, GPA: 4.27/4
Activities
{ Technology Student Association
{ Freshman, Intermediate, & Senior Computer Team
Coursework
{ Computer Systems Research
{ Parallel Computing
{ Artificial Intelligence
{ Computational Physics
{ AP Physics C
Independent Coursework (with NASA)
{ Virginia Space Coast Scholars
{ Concrete Mathematics
{ Cryptography
{ Multivariable Calculus
{ AP Computer Science A + Data Structures
{ AP Calculus BC
Alexandria, VA
June 2011–June 2015
{ Tutor & Webmaster for Spanish Honor Society
{ Indian Language Association
{ Virginia Aerospace Science and Technology Scholars
Department of Computer Science at Cornell University
Undergraduate Researcher (expected)
{ Will work on NetKAT, a network language based on automata theory
U.S. Naval Research Laboratory
Software Research Intern
{ Worked on SecProve, a C source code analyzer that detects security violations
{ Wrote generator that outputs assertions for security properties desired in source code
{ Created interface to store assertions and analysis metadata in MySQL database
Languages : Haskell, OCaml, Java, Python, C, C#, bash
Libraries & Frameworks : ANTLR for Java, OpenMPI for C, MySQL & JDBC
Web Development : HTML, Java Server Pages, Google App Engine for Java & Python
Software & Tools : Git, Mathematica, L TEX, Microsoft Office, Autodesk Inventor, TerrSet/IDRISI GIS
Operating Systems : Linux/UNIX, Mac OS, Windows
Spoken Languages : Spanish (professional working proficiency), Telugu (elementary proficiency)
Dean’s List for Excellence in Scholarship
{ Fall 2015
Virginia Technosphere
{ 1 st place: Webmaster – 2014
{ 2 nd place: System Control Technology – 2015
{ 3 rd place: Geospatial Technology – 2015
National Technology Student Association Conference
{ 5 th place: Open Source Software Development – 2014
{ Programming language theory
{ Automata theory
{ Formal verification
{ Reactive programming
{ Symbolic computation
{ Computational physics
{ Teaching
Ithaca, NY
February 2016–
Washington, D.C.
June–August 2014