This document is a resume for Sanjeev Shrestha summarizing his education and experience. He is currently pursuing a Master's in Computer Science from the University of Idaho expected to graduate in December 2015, and previously obtained a Bachelor's in Computer Engineering from Kathmandu University. His relevant skills include proficiency in Java, C/C++, JavaScript, PHP, Python and more. He has work experience as a Software Engineer and Web Developer, and is currently a Graduate Research Assistant working on a tool to detect system dependencies.

1. Last Updated on 6th October 2015
Sanjeev Shrestha
http://snjv180.com
snjv180@gmail.com | 208.874.7039
EDUCATION
UNIVERSITY OF IDAHO
M.SC IN COMPUTER SCIENCE
Expected Dec 2015 | Moscow, ID
Cum. GPA: 4.00
KATHMANDU UNIVERSITY
BS IN COMPUTER ENGINEERING
Jan 2013 | Dhulikhel, Kavre
Department of Computer Science &
Engineering
Cum. GPA: 3.85 / 4.0
LINKS
Github:// snjv180
LinkedIn:// snjvstha
Twitter:// @snjv180
COURSEWORK
GRADUATE
Applied Security Concepts
Computer & Network Forensics
Distributed Operating Systems
Evolutionary Computation
Fault Tolerant Networks
UNDERGRADUATE
Database Design & DBMS
Compiler Design + Practicum
Artificial Intelligence + Practicum
Algorithms & Complexity
System Analysis & Design
(Research Asst. & Teaching Asst)
Operating Systems
COURSERA
Machine Learning + Practicum
Algorithms: Design & Analysis, Part I
Cryptography I
SKILLS
PROGRAMMING
Over 5000 lines:
Java • C & C++ • JavaScript • PHP
• Python • Prolog • MySQL
• LATEX
Over 1000 lines:
CSS • Android • PL SQL • JQuery
• Octave
Familiar:
iOS
EXPERIENCE
VERISK INFORMATION TECHNOLOGIES | SOFTWARE ENGINEER
May 2012 – Jan 2014 | Hattiban, KTM
• Primarily used technologies such as JSF, JSP, XML, Javascript.
• CAS Integration for SSO, URL Filtering, and SAML Login.
• Automated user authentication and creation facility for SAML.
• Implemented new criteria for Data Stratification.
• Created REST Web Service Management and Scheduler Monitoring.
• Limited Data Access based on dynamic privilege level.
• Automated Report Generation Services based on Apache POI, XMLMind, jExl,
velocity , Spring JDBC and Spring AOP
• Automated test executing using Zephyr, also adept in Unit testing, Black box
testing and debugging
SELF | FREELANCE DEVELOPER & CONSULTING
May 2012 – Jan 2014
• Created a connection based Android App for helping Nepal Earthquake victims.
• Implemented Steganography using Java, LSB Algorithm, AES Symmetric
Encryption.
• Report Generation Tool using Jasper.
• Restful WebService using Jersey Client, JSON, XML Mapping using Jackson.
• Malicious PDF Checker using Java.
EBIZ LINKS | WEB DEVELOPER & TEAM LEADER
Jan 2011 – April 2012 | Jawlakhel, Lalitpur
• Created a CMS using PHP, MySQL & BootStrap.
• Developed sites using the CMS as per client needs.
• Led a team of 10 for the projects.
RESEARCH
CENTER FOR SECURE AND DEPENDABLE SYSTEMS | GRADUATE
RESEARCH ASSISTANT
May 2014 – Present | Moscow, ID
Worked with Prof Daniel Conte de Leon to create SyModEx2, a tool which creates a
knowledgebase of system requirements and implementation details in XSB Prolog
and uses the information to report missing or incorrect system dependencies using
Mathematical formalism. Publication Inprogress
AWARDS
2010 National KU Internal Software Meet Winner
2008 National LOCUS 208, Qualification Round
2008 2nd/100 Best Student Award
REFERENCES
References available upon request.