Welcome to the homepage of Weitian Xing

I am a Staff Software Engineer at Forethought.ai. Before joining Forethought, I worked at Cisco Ottawa. I received my MASc degree in the Electrical and Computer Engineering department from University of Waterloo in Dec 2020, my advisor was Prof. Werner Dietl. Before that, I got my BSc degree in the Electronic Information Science and Technology department from Nanjing University of Posts and Telecommunications.

My Chinese name is 邢维天(Xing Weitian). Click here to hear the pronunciation of my first name.

Research Interests

During my Master study, I worked on pluggable type systems based on the Checker Framework:

Crypto Checker: A pluggable type system for Java to forbid disallowed cryptographic algorithms and providers at compile time. This tool analyzed and found 62 security vulnerabilities in 32 open source projects (over 2 million LOC). Our paper is accepted by FTfJP 2021.
Network Request Checker: A Java compiler plugin aiming at finding possible network requests in Java and Android apps.

I am also an official contributor of the Checker Framework.

My teaching assistant experience:

I enjoy attending hackathons with my friends:

Click here to see the contact information.