We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.

Cheng Zhang

United States

@czhang03

PhD Candidate At Boston University Researching Programming Languages

Badges

Problem Solving

Certifications

czhang03 has not earned any certificates yet.

Work Experience

  • Research Assistant

    Boston University•  September 2014 - Present

    Study various extensions of Kleene Algebra, and their use in program analysis of imperative/functional programs, probabilistic programs, distributed systems, networks, etc. My researches provide easier, even automated, proofs for program analysis

Education

  • Boston University

    Computer Science, PhD•  September 2018 - Present

    I am broadly interested in application of mathematics in computer science, especially in programming languages. I have worked on Kleene algebra, program logics, semantics, type systems, and category theories.

Links

Skills

czhang03 has not updated skills details yet.