Hari Prashanth K R
** **** **, *** *, Jamaica Plain, MA-02130. ******@***.***.*** http://www.ccs.neu.edu/home/krhari/
Research Interest I am interested in programming language research and I am particularly interested in type theory,
contract systems and programming language semantics and design.
Education NORTHEASTERN UNIVERSITY 2008 - Present
Candidate for a Master of Science in Computer Science Adviser: Matthias Felleisen
VISVESWARAIAH TECHNOLOGICAL UNIVERSITY 2003 - 2007
Bachelor of Engineering in Computer Science
Work Experience Phase Forward Inc. Software Engineer Co-Op
Boston, MA July 2009 - Dec 2009
Developed APIs for ltering elements of CSML based on various element properties. CSML
is a XML format for modeling, visualizing and simulating bio-pathways.
Designed and developed a framework for testing Central DesignerTMwith real world data
using C#.Net and Visual Studio 2005 IDE.
Designed and developed a tool to validate a given CSML and create a deployment package.
Modi ed the nightly build process to use the tool to create deployment package and test
it. Used C#.Net, VBScript, JavaScript and Visual Studio 2005 IDE.
Northeastern University Library Web Developer
Boston, MA Jan 2009 - May 2009
Designed and added new features to the Northeastern University Library Website using JavaScript,
PHP, CSS and HTML.
Keane Inc. Software Engineer
Bangalore, India June 2007 - Dec 2007
Redesigned and developed a core banking application using C#, ASP.NET, JavaScript program-
ming languages and Visual Studio 2005 IDE.
Publications Functional Data Structures for Typed Racket SFP 2010
Authors: Hari Prashanth K R and Sam Tobin-Hochstadt
Other Projects Functional Data Structures for Typed Racket Nov 2009 - Present
Developed a comprehensive library of about 30 functional data structures for the Typed Racket
and Racket. Data structures in the library are based on the work by Chris Okasaki, Phil Bagwell
and others.
Compiler for Tiger Language Jan 2010 - April 2010
Developed a compiler for Tiger language in SML of NJ as part of compilers course. My compiler
included di erent kinds of analysis and optimizations discussed in the book Modern Compiler
Implementation in ML.
Mobile Tracking application for Symbian phones Oct 2006 - May 2007
Devised, designed and developed a mobile tracking application using J2ME and NetBeans 5.5
IDE for Symbian OS based phones.
Graphics package Jan 2006 - May 2006
Created a drawing tool similar to Paint for Windows Environment. Developed the tool us-
ing C++ programming language and Object Oriented Programming Concepts and applied the
concepts of computer graphics for the development of the tool.
Linux shell July 2005 - Dec 2005
Designed and developed a mini-shell for Linux. Developed the shell using C programming lan-
guage and applied the concepts of creation and execution of child processes for the development
of the Shell.
Teaching Teaching Assistant Spring 2010 - Fall 2010
Teaching Assistant for Principles of Programming Languages course (CS4400 and 5400) taught
by Dr. Eli Barzilay.
Programming Languages History of PL Compilers
Course Work
Program Design Paradigms Algorithms Computer Systems
Software Engineering Operating Systems Finite Automata
Computer Networks Discrete Math Cryptography and Network Security
Graph Theory Database Management Theory of Computation
Stamp collecting, traveling, playing chess and watching soccer and cricket.
Hobbies