Zhiqiang Ren
1 SlideShare 17 Followers 15 Followings
Personal Information
Organization / Workplace
Greater Boston Area United States
Occupation
Ph.D. student at Boston University
Industry
Technology / Software / Internet
About
I want to fully understand the intricacy of various software systems and the principles behind. I want to build useful software systems with high confidence of correctness.
Contact Details
Tags
formal methods programming language ats
See more

Presentations

(1)

ATS Programming

8 years ago • 573 Views
Personal Information
Organization / Workplace
Greater Boston Area United States
Occupation
Ph.D. student at Boston University
Industry
Technology / Software / Internet
About
I want to fully understand the intricacy of various software systems and the principles behind. I want to build useful software systems with high confidence of correctness.
Tags
formal methods programming language ats
See more