Zhiqiang Ren
1 SlideShare 17 Abonné 15 Suivis
Personal Information
Entreprise/Lieu de travail
Greater Boston Area United States
Profession
Ph.D. student at Boston University
Secteur d’activité
Technology / Software / Internet
À propos
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.
Coordonnées
Mots-clés
formal methods programming language ats
Tout plus

Présentations

(1)

ATS Programming

il y a 8 ans • 573 Vues
Personal Information
Entreprise/Lieu de travail
Greater Boston Area United States
Profession
Ph.D. student at Boston University
Secteur d’activité
Technology / Software / Internet
À propos
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.
Mots-clés
formal methods programming language ats
Tout plus