RESEARCHED WITH AUTUMN
NP
Nipun Pitimanaaree is a Thai mathematics competitor and software founder. He represented Thailand at the International Mathematical Olympiad from 2009 to 2013, winning multiple gold medals, and studied Electrical Engineering and Computer Science at MIT, where he was a 2017-2018 SuperUROP scholar. He co-founded the DeFi projects Alpha Finance Lab (2020), Beta Finance and INFINIT, serving as Co-Founder and CTO of INFINIT.
Formal verification (Coq)Programming languagesDeFi protocol designSmart contracts
- Quant employment verification: NOT CONFIRMED. Employment record consists of founder roles at crypto/DeFi startups - Alpha Finance Lab (2020-08 to present), Beta Finance, and INFINIT - none of which is a quantitative investment, trading, market-making, or hedge-fund firm; no quantitative finance role or internship at a bank, asset manager, energy/crypto trading desk, or systematic fund appears in any source checked.
- Co-founded Alpha Finance Lab in Aug 2020 and introduced leveraged yield farming via the Alpha Homora product; the venture is a DeFi lending/leveraged-farming protocol, not a quantitative trading business.Aug 2020
- IMO record: gold medals in 2011 (rank 6, 35 pts), 2012 (rank 17, 33 pts) and 2013 (rank 34, 31 pts) for Thailand, plus earlier participation; profile self-describes 4 gold and 1 silver medals total.
- Listed as Co-Founder and CTO of INFINIT, a DeFi abstraction layer for launching protocols; INIT Capital was launched on it as a proof of concept.
- MIT EECS SuperUROP scholar in the 2017-2018 cohort (Hewlett Foundation Undergraduate Research and Innovation Scholar); research topic 'NVL Coq Spark SQL Formalization and Optimization' under supervisor Adam Chlipala, in the Programming Languages and Software Engineering area.2017
- Co-founded Beta Finance, a DeFi money-market/lending protocol; like his other ventures it is crypto infrastructure rather than a quantitative investment or trading firm.
- Speaker at Devcon SEA (Nov 2024) giving a lightning talk titled 'Deep Dive the LP Pricing' in the Cryptoeconomics track.Nov 2024
- Public MIT email [contact omitted] published on the SuperUROP scholar page, alongside a profile photo reused as the profile image.
- Public handles n1punp on both X (x.com/n1punp) and GitHub (github.com/n1punp), both self-linked from his Devcon speaker profile.
- Indexed as an investor on Crunchbase with portfolio companies; treated as index-only data, not independent primary-source confirmation of any role.
Experience
Co-Founder & CTO at INFINIT
Co-Founder at Beta Finance
Co-Founder at Alpha Finance Lab
Aug 2020 - Present
Education
Massachusetts Institute of Technology
B.S., Electrical Engineering and Computer Science
Massachusetts Institute of Technology
M.Eng., Electrical Engineering and Computer Science
AchievementsMultiple gold medals at the International Mathematical Olympiad for Thailand (2009-2013) · MIT EECS Hewlett Foundation Undergraduate Research and Innovation Scholar, SuperUROP 2017-2018 · Introduced leveraged yield farming through Alpha Homora at Alpha Finance Lab
AwardsInternational Mathematical Olympiad gold medals (2011, 2012, 2013) and silver; self-described 4 gold and 1 silver total
Profiles
Competition record
Thailand · IMO