Experience

Oasis Capital
• China
• Financial Services
• Financial Analyst Technology Ventures

  • Jun 2023 - Sep 2023


Alantra

• Spain
• Financial Services
• 500 - 600 Employee

• Investment Banking Summer Analyst

  • May 2021 - Jul 2021

  Corporate Finance, M&A Corporate Finance, M&A



Stanford University

• United States
• Higher Education
• 700 & Above Employee

• Software Developer / Research Engineer

  • Jun 2020 - May 2021

  Worked on a tool for handling partial functions in SMT formulas that interfaces with various SMT Solvers using smt-switch (a C++ API for smt solving). presented "Handling Partial Functions Using SMT Solvers" poster at CURIS poster session (8/2020) Worked on a tool for handling partial functions in SMT formulas that interfaces with various SMT Solvers using smt-switch (a C++ API for smt solving). presented "Handling Partial Functions Using SMT Solvers" poster at CURIS poster session (8/2020)



Columbia University in the City of New York

• Higher Education
• 1 - 100 Employee

• Teaching Assistant

  • Sep 2020 - Dec 2020

  Fall 2019, 2020, and 2021 - Formal Verification of Hardware & Software Systems (only undergraduate TA) Fall 2019, 2020, and 2021 - Formal Verification of Hardware & Software Systems (only undergraduate TA)

• Undergraduate Research Fellow

  • Feb 2019 - Jul 2019
• Undergraduate Research Fellow

  • Jun 2018 - Aug 2018

  presented research poster "Fuzzing SMT Solvers" at Stanford CURIS poster session (8/30) & Columbia Science Research Symposium (9/15) presented research poster "Fuzzing SMT Solvers" at Stanford CURIS poster session (8/30) & Columbia Science Research Symposium (9/15)



Florida Gulf Coast University

• United States
• Higher Education
• 700 & Above Employee

• Research Intern

  • Dec 2016 - Mar 2017

  Conducted research in discrete applied mathematics and theoretical computer science in the math department under Professor Insko. Study focused on the firefighter problem, a deterministic discrete-time model for the spread and containment of fire in a graph, computer viruses through a system, opinions through a social network, or an infectious disease through a population. Conducted research in discrete applied mathematics and theoretical computer science in the math department under Professor Insko. Study focused on the firefighter problem, a deterministic discrete-time model for the spread and containment of fire in a graph, computer viruses through a system, opinions through a social network, or an infectious disease through a population.



Retina Consultants of Southwest Florida

• Hospitals and Health Care
• 1 - 100 Employee

• Data Analyst

  • Jun 2016 - Aug 2016

  Conducted analysis over 20 years of US patient data that was used in a medical study on the efficacy of anti-vascular endothelial growth factor in treating neo-vascular changes due to age-related macular damage. Conducted analysis over 20 years of US patient data that was used in a medical study on the efficacy of anti-vascular endothelial growth factor in treating neo-vascular changes due to age-related macular damage.