Himanshu Srivastava

Himanshu Srivastava

Data and analytics engineering, mortgage and financial services

Dallas, TX  ·  open to data analyst, analytics engineer and data engineer roles

I build systems that know what they can’t prove. And stop.

Most of my work is automation in places where being wrong is expensive: mortgage GL reconciliation, Ginnie Mae pool delivery, a CI/CD platform at a regulated lender. The through-line is a preference for systems that refuse to guess, and that hand the decision back to a person at exactly the point where a person is needed.

5releases on PyPIcustody-ledger

39,130records readthree national registers

457tests passingpytest --collect-only

0applications sent by the machinestructural, not a setting

About

Dallas, TX  ·  two master’s degrees  ·  four years across analytics and engineering

Who I am

I am a data and platform engineer working in mortgage technology. At Supreme Lending the systems I build touch loan files that regulators read, and that context is most of why I work the way I do: where being wrong is expensive, a system that says “I cannot prove this” is worth more than one that produces a confident number.

Before the move into engineering I spent four years in analytics delivery and business analysis — requirements, stakeholders, reporting, and the unglamorous work of making numbers agree across systems that disagreed by design. The two halves are the point: I can sit with the person whose process it is, and then go build the thing.

Outside work I build the same way. Everything in the next section is mine, including the parts that did not work — which are published too.

Education

2023 – 2025
MS, Business Analytics Syracuse University — School of Information Studies · GPA 3.6 Applied statistics, data engineering and machine learning. Stayed on afterwards as an AI/ML intern doing contrastive-learning research.
2020 – 2022
Master of Business Administration Narsee Monjee Institute of Management Studies · GPA 3.4 The commercial half — which is why requirements gathering and stakeholder work read as engineering to me rather than as overhead.

Experience

2026 – present
AI Engineer Supreme Lending (Everett Financial, Inc.) Production systems in a regulated lender: GL reconciliation, Ginnie Mae pool delivery, and the security stage of a five-stage CI/CD platform.
2025 – 2026
AI/ML Intern Syracuse University Reproduced SimCLR and applied it to a new image dataset, in PyTorch and TensorFlow. Also ETL in PySpark and Airflow over 1M+ records.
2022 – 2023
Business Analytics and Reporting Lead Freyr Solutions Analytics across 20+ regional markets, leading four junior analysts and setting the data-quality and governance standards.
2021 – 2022
Business Analyst and Data Analytics Associate Omnicals Pharma Demand forecasting, executive dashboards, and a standardised cleansing pipeline across three inconsistent source systems.

Four claims, and what backs each one.

Every figure below names the command that produced it.

I ship code people actually install.

Custody, a signed chain of evidence for AI decisions

A mortgage lender has to show a regulator what its model produced and what a human did about it. A log asserts that. A hash chain with signatures proves it, and an anchor scheme makes deletion from the end detectable.

Break the chain yourself → PyPI Code

5releases on PyPIpypi.org/project/custody-ledger

151tests, 15 filespytest --collect-only
2026-09-05

1runtime dependencypyproject.toml

2backends, both in CISQLite and Postgres

I say nothing the data cannot support.

Register Signal, dated reasons to call a pharma company

Reads three national medicines registers and turns them into named, dated triggers. Tanzania publishes neither expiry nor reliable dates, so it produces nothing. That zero is the rule working, not the pipeline failing.

Why one register returns nothing → Code

39,130records readNAFDAC, ANVISA, TMDA
hashed snapshots

6,899triggers producedeach carries a date

0from Tanzaniano dates published,
so nothing dated claimed

10test files, two gatesls tests/

I automate work that costs real hours.

CareerOS, a job search that cannot overstate me

Every sentence on a generated resume traces to a recorded claim. A containment gate discards generated prose whole if it introduces a figure, a proper noun or a seniority the evidence does not carry. It once scored a posting 98/100 with “no gaps”, because the requirements it did not understand were invisible rather than unmet. That bug is why the gate exists.

Try to make it overstate me → Case study Code

457backend tests, 60 filespytest --collect-only
2026-09-03

88API endpointsgrep -c '@app.' app/main.py

281commits, two reposgit rev-list --count

0applications sent by the machinestructural, not a setting

I publish the results that did not work.

Optionora, a tool that reports its own uncertainty

Scores short-dated options strategies net of costs, with bootstrap confidence intervals, and calls a strategy unproven when the interval spans zero. Seven were measured. None cleared. The table is published as it came out.

Read the table that failed →

801tests, 82 filespytest --collect-only
2026-09-03

7strategies measuredbootstrap CIs, net of costs

0provenevery interval spans zero

215commitscode private, demo real

How I work

Three rules that hold across all of it

Evidence, or it does not ship

Every claim a system of mine makes traces to a record. A number that is not in the record cannot be checked by anyone, so it does not get written.

Unrecognised means gap

Not knowing what a term means is never a reason to assume it is satisfied. Scoring that flatters itself is worse than no scoring.

Stop before you commit

The last step before anything irreversible belongs to a person. That is a structural property in what I build, not a setting somebody can switch off.

Earlier

Analytics and data engineering

Freyr Solutions
Consolidated fragmented data across 20+ regional markets into a unified SQL-to-Power BI reporting infrastructure, cutting cycle time by 40%.Analytics & reporting
Omnicals Pharma
Built a standardised data-cleansing pipeline across three inconsistent source systems using statistical modelling and feature engineering. The 70% data-quality figure is the client's, on their own measure.Data quality
Syracuse University
Ran ETL pipelines in PySpark and Airflow over 1M+ records with multi-layer data-quality controls, and designed the dimensional models downstream reporting sat on.MS, Business Analytics