☰

Hernan C. Rocha Nino, Ph.D.

Affiliations: 
2012 Computer Science University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science, Information Science, General Engineering
Google:
"Hernan Rocha Nino"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Jose Meseguer grad student 2012 UIUC
 (Symbolic reachability analysis for rewrite theories.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator