謝宇恆 // xieyuheng

overview

me

  • Hi I am xieyuheng.

    I like mathematics, philosophy and traditional Chinese.

  • I view myself as a programming language designer.

    I am always trying to design programming languages.

  • My aim of programming language design

    is to explore the usage of 'proposition as type'

    for algebraic topological purpose.

experiences

2015

  • Graduated from SYSU, GuangZhou, China, with bachelor's degree.

    My major was pure and applied mathematics.

2015 – 2017

  • Rest – like an interval of silence in a piece of music.

2017 – 2018

  • Three months as a python programmer,

    at a Chinese company which builds online quantitative trading system,

    just like Quantopian.

2018 – now

  • Writing a prover.

contact

language design

paper

translation

lecture

Author: xieyuheng

Created: 2018-01-23 Tue 17:51

Validate