Portrait photo

Ping-Ju Hsieh

M2 ETE @ Toulouse School of Economics

Welcome!

I am an aspiring economist interested in Industrial Organization and Micro Theory.

My research is driven by a fascination with how individuals, households, and firms make decisions under information frictions. I am particularly interested in the economics of data, market structures, and the design of welfare-improving policies. I hold a B.A. in Economics with a minor in Mathematics from National Taiwan University.

Introduction

My academic interests are deeply informed by my previous industry roles in data-driven pricing and risk modeling. Having worked as an Actuarial Intern at PwC and an Automotive IoT Data Analyst, I witnessed firsthand the impact of data silos and information asymmetry on market efficiency. These experiences now shape my theoretical focus on data policy evaluation and decision science.

I am currently developing EconLib, a Lean 4 library dedicated to formalizing economic theory. The project aims to provide researchers with rigorous, machine-verified tools that bridge the gap between economic intuition and formal logic. It is a fully open-source initiative, and contributions from both economists and Lean enthusiasts are highly welcome!

Contact: ping-ju.hsieh@ut-capitole.fr