Stephen Tse

Stephen Tse

Palo Alto, California, United States
5K followers 500 connections

About

Harmony is a fast and open platform for decentralized applications such as Voice AI…

Articles by Stephen

See all articles

Activity

Join now to see all activity

Experience

  • Harmony Graphic

    Harmony

    Palo Alto, California, United States

  • -

    Sunnyvale, CA

  • -

  • -

    San Francisco, CA

  • -

    New York City, NY

  • -

    Cambridge, United Kingdom

Education

  • University of Pennsylvania Graphic

    University of Pennsylvania

    -

    Activities and Societies: Doctoral thesis on type theory of security programming with dynamic principles. Created a Java 5 with generics compiler in OCaml. Implemented a Generalized LR parser compiler in OCaml. Developed theory and proofs for verifying cryptographic protocols. Published in IEEE Security & Privacy 2004, ACM ICFP 2004, ESOP 2005, CSFW 2006, ACM TOPLAS 2007.

    Research topics include automated theorem prover (Twelf), type inference, and compilers.

  • -

    Activities and Societies: Master thesis on modular computations of resultants of multivariate polynomials in finite fields. Implemented the state-of-art algorithms as production code in Maple, the industrial standard for symbolic algebra. Published in Maple Summer Workshop 2002 and Elsevier journal Applied Mathematics Letters 2002.

    Research topics include algebraic geometry and Groebner bases, type analysis and code generation.

  • -

More activity by Stephen

View Stephen’s full profile

  • See who you know in common
  • Get introduced
  • Contact Stephen directly
Join to view full profile

Other similar profiles

Explore collaborative articles

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.

Explore More

Others named Stephen Tse in United States