Zhiqiang Ren
1 SlideShare 17 Seguidores 15 Siguiendos
Personal Information
Organización/Lugar de trabajo
Greater Boston Area United States
Ocupación
Ph.D. student at Boston University
Sector
Technology / Software / Internet
Acerca de
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.
Datos de contacto
Etiquetas
formal methods programming language ats
Ver más

Presentaciones

(1)

ATS Programming

Hace 8 años • 571 Visualizaciones
Personal Information
Organización/Lugar de trabajo
Greater Boston Area United States
Ocupación
Ph.D. student at Boston University
Sector
Technology / Software / Internet
Acerca de
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.
Etiquetas
formal methods programming language ats
Ver más