# David Halman

> Senior Software Engineer at Nirvana Insurance

Location: San Mateo, California, United States
Profile: https://flows.cv/davidhalman

## Work Experience
### Senior Software Engineer @ Nirvana Insurance
Jan 2024 – Present | San Francisco Bay Area
- Architected and developed extensible, scalable, event-driven user notification systems for fleet violations and AI score generation, driving a 20% month-over-month increase in monthly recurring users and directly contributing to OKR success
- Partnered with data science to implement features explaining an AI-generated telematics risk score, enhancing transparency and user understanding
- Delivered key product enhancements across the stack, optimizing API performance and improving frontend responsiveness, boosting user engagement and supporting long-term growth initiatives
- Provided technical mentorship and conducted code reviews to elevate team coding standards and ensure maintainable, high-quality code

### Software Engineer II @ AppFolio, Inc.
Jan 2022 – Jan 2023
- Worked on a backend platform team owning the architecture, patterns, and practices for the main 2.5 million line monolithic Ruby on Rails application that is the AppFolio Property Management product
- Created scripts to enable moving hundreds of thousands of lines of code across modules, empowering other engineering groups to own their code
- Owned upgrading major versions of Ruby on Rails and Ruby for several applications to uphold necessary security requirements
- Mentored three junior engineers in advancing their careers and becoming more technically capable by meeting with them weekly over several months

### Software Engineer @ AppFolio, Inc.
Jan 2020 – Jan 2022 | Goleta, California, United States
- Worked on the Maintenance product development team with a React frontend and Ruby on Rails backend
- Created an interval scheduling system for property managers to schedule technicians to be on-call, with over 200,000 maintenance requests dispatched and resolved using this system
- Converted my team’s React apps to use Typescript to help reduce bugs and write cleaner code
- Mentored two interns by consistently pair programming with them and giving prompt guidance and advice

### Software Engineering Intern @ Microsoft
Jan 2019 – Jan 2019 | Greater Seattle Area
- Created a canary set of virtual machines running Qualys antivirus software 
- Using these virtual machines and a series of Azure functions, set up early alerting when errors within log files were detected, streamlining interactions with Qualys support representatives

### Software Engineering Intern @ AppFolio, Inc.
Jan 2018 – Jan 2018 | Santa Barbara, California Area
Worked on the Online Portal mobile app for Appfolio Property management. 
Helped release the mobile app and grow to over 1,000 users.
Added features including accessibility support, deep-linking, user self activation, and integration of a navigation library

### Software Engineering Intern @ Toyon Research Corporation
Jan 2018 – Jan 2018 | Santa Barbara, California Area
Worked on a hybrid cryptosystem and Bell-LaPadula model filesystem for a distributed network. 
Implemented RAFT, a distributed consensus algorithm.

### Software Engineering Intern @ LogMeIn
Jan 2017 – Jan 2017 | Santa Barbara, California Area
Integrated into an agile development team working in two-week sprints. Completed one major project, along with many bug-fixes. Talked to more than 30 customers to improve product experience and answer user questions.

### Engineering Intern @ LaunchPoint Technologies
Jan 2017 – Jan 2017 | Goleta, California
Creating progress and budget reports for company projects, including cost to complete estimates. Wrote a simple flash memory data log for a LaunchPad micro-controller.

### Tech Instructor @ iD Tech Camps
Jan 2016 – Jan 2016 | UC Berkeley
Taught two different classes, Intro to Java and Intro to Python to 4th to 7th grade students. Introduced students to basic programming concepts and helped them create 2D games.

### Intern @ Type A Machines
Jan 2015 – Jan 2015 | San Leandro, California
Modifying and assembling a manual transmission gearbox design to exhibit the capacities of additive manufacturing.

### Teaching Assistant, Computer Engineering Class @ ATDP Summer Program
Jan 2014 – Jan 2014 | Berkeley, California
Tutored 6th to 11th grade students and graded their homework. Assisted students in building a virtual CPU using Logisim. The CPU, which included an ALU, was capable of all binary operations and had registry memory and RAM. Guided students though making simple programs such as counting and displaying the Fibonacci sequence and other recursive sequences using their CPUs.


## Education
### Master's degree in Computer Science
UC Santa Barbara
Jan 2019 – Jan 2020

### Bachelor’s Degree in Computer Engineering
UC Santa Barbara
Jan 2015 – Jan 2019


## Contact & Social
- LinkedIn: https://linkedin.com/in/dhalman

---
Source: https://flows.cv/davidhalman
JSON Resume: https://flows.cv/davidhalman/resume.json
Last updated: 2026-03-20