Josh Branchaud's Email Addresses & Phone Numbers

Student @ University of Nebraska-Lincoln From 2007 to 2008 (1 year) Full-time Volunteer @ Young Adults in Global Mission of the ELCA I am living for a year in Grand Bourg, Argentina accompanying a Lutheran church, a school, and a vocational center for adults who are differently abled. From August 2013 to July 2014 (1 year) Grand...

Student @ University of Nebraska-Lincoln From 2007 to 2008 (1 year) Full-time Volunteer @ Young Adults in Global Mission of the ELCA I am living for a year in Grand Bourg, Argentina accompanying a Lutheran church, a school, and a vocational center for adults who are differently abled. From August 2013 to July 2014 (1 year) Grand Bourg, ArgentinaStudent Intern @ National Institute of Aerospace I am working with the Formal Methods group at NASA Langley this summer to extend an existing tool called DiSE. Directed Incremental Symbolic Execution (DiSE) is a technique that reduces the cost of symbolic execution by leveraging change impact information. We will be working on finding reductions in the analysis of heap allocated objects. From May 2012 to August 2012 (4 months) NASA Langley Research Center, Langley, VAWeb Developer @ Kaul Design Group Assist in creating new Joomla!-based websites and update existing ones. From August 2010 to October 2011 (1 year 3 months) Sr. Software Engineer @ LandscapeHub I make it easy for people to buy and sell trees using Ruby on Rails, React, and PostgreSQL. Greater Chicago AreaSoftware Engineer @ Hashrocket I build high-quality things on the internet for other companies. I do this with awesome people. We mostly use Ruby, Rails, JavaScript, and Postgres. From February 2015 to April 2019 (4 years 3 months) Greater Chicago AreaSoftware Engineer @ Powderhook Ruby on Rails and JavaScript development ranging from standard CRUD interfaces, a Rails-based JSON API, and JavaScript-heavy user interfaces. Some dev-ops work, as well, dealing with Vagrant and Heroku. From August 2014 to December 2014 (5 months) Lincoln, Nebraska AreaStudent Developer - Google Summer of Code 2011 @ NASA I extended the functionality of DiSE, which was just intraprocedural, to be interprocedural. DiSE (Directed Incremental Symbolic Execution) is a software verification tool built on the Java Pathfinder framework. This is an open source project. From May 2011 to August 2011 (4 months) Graduate Research Assistant @ University of Nebraska-Lincoln Involved in software engineering research in UNL's Department of Computer Science and Engineering. More specifically, I am working on a workspace awareness tool and learning methods of program analysis to be implemented in that tool. From August 2011 to August 2013 (2 years 1 month) Undergraduate Research Assistant @ University of Nebraska-Lincoln Participate in research in the software engineering department of the computer science department at UNL. Update a Java-based Eclipse plug-in that provides workspace awareness to software development teams. Currently learning program analysis techniques which will be applied during my Master's. From January 2010 to August 2011 (1 year 8 months) Undergraduate Teaching Assitant @ University of Nebraska-Lincoln Assisted in labs, graded homework, and held office hours for an introductory-level computer science class. The class was taught using Java. From January 2010 to May 2010 (5 months)