Feng Wang

130px 

王 丰

Master Student

Computer Science

ShanghaiTech University – University of Chinese Academy of Sciences

Shanghai, China

Email: wang_feng_bro AT 163 DOT com

About me

You find me!

I am now a graduate student at School of Information Science and Technology of ShanghaiTech University. Before joining SIST, I spent four years at Nanjing University of Posts and Telecommunications.

Research

Now I am working on the semantics of Rust using K Framework.

Publication

KRust: A Formal Executable Semantics of Rust in Theoretical Aspects of Software Engineering, Guangzhou, 2018

Teaching

Teaching Assistant for Algorithm Design and Analysis at SIST, 2017 Fall.

Awards

  • National Scholarship

  • Merit Student of Jiangsu Provience

Hobbies

Ping Pang, Reading books, Classical Music

Sharing

I occasionally write articles on my blog.

Learning

I learned some open courses, you can find corresponding solutions at my github.

Conferences

SETTA 2016 SETTA 2017 ICFEM 2017 TASE 2018 AS SPEAKER