Gonzalo Argote-Garcia

Ph.D. Candidate - Computer Science.
Advisor: Prof. Xudong He.
Dissertation Topic: Verification and Testing of High Level Petri Nets.
Interests: Software Engineering, Formal Methods, Software Verification and Testing, Petri Nets, Programming Languages.
Expected Graduation Date: Fall 2008. (I had to postpone it one term)
Affiliation: CADSE.
Other Affiliations: STRG.
Alma Mater: Colegio San Agustín - Cochabamba (Bolivia)

I will be joining Microsoft Corp. this coming September!
Address:
Florida International University
School of Computing and Information Sciences
11200 SW 8th St
ECS 266/A
Miami, FL 33199 		Email: gargo001[at]cis[dot]fiu[dot]edu

Office: ECS 266/A

Phone Number: (305) 348 3739

Spring 2008 - Teaching

No classes taught this semester.

Home    |     Bio    |     Research    |     Teaching    |     Publications    |     Personal

Created and Maintained by Gonzalo Argote-Garcia.