Search

Cody D Roux

from Dorchester, MA
Age ~40
Get Report
Related to:
Andre P Roux, 42Jeanpaul Roux, 66Shauna D Roux, 69Camille Roux, 39
Connected to:
Abdul R Roux, 47Anita J Roux, 76Betty A Roux, 87Cathy Roux, 71Connie Roux, 50Corinne S Roux, 59Daniel Roux, 72Erica L Roux, 40Francine Roux, 74Germaine T Roux, 76

Cody Roux Phones & Addresses

  • Dorchester, MA
  • 8 Oakland St, Cambridge, MA 02139
  • Pittsburgh, PA

Resumes

Resumes

Cody Roux Photo 1

Project Engineer

View page
Location:
Cambridge, MA
Industry:
Computer Software
Work:
Carnegie Mellon University Aug 2012 - Jul 2014
Postdoc
Draper Laboratory Aug 2012 - Jul 2014
Project Engineer
Lri Apr 2011 - Aug 2012
Postdoc
Inria Sep 2007 - Jan 2011
Phd Student
Education:
Université Henri Poincaré, Nancy 1 2007 - 2011
Doctorates, Doctor of Philosophy, Computer Science, Philosophy Université Joseph Fourier (Grenoble I) 2002 - 2006
Bachelors, Bachelor of Science, Mathematics
Skills:
Coq
Haskell
Ocaml
Software Verification
Algorithms
Latex
Programming Languages
Semantics
Python
Formal Verification
Theoretical Computer Science
Functional Programming
Linux
Computer Science
Artificial Intelligence
Software Engineering
Java
Programming
Interests:
Haskell
History of Science
Computer Algebra
Computer Aided Reasoning
Static Analysis of Computer Programs
Ocaml
Reading
Climbing
Compilers
Mathematics of All Fields
Video Games
Languages:
French
English
Cody Roux Photo 2

Cody Roux

View page
Control profile
Cody D Roux from Dorchester, MA, age ~40 Get Report