About

Welcome to my homepage!

In this web page, you will find more information about my work and my publications. Please, feel free to contact me if you have any question.

Summary:

Ph.D. Engineer in High-Performance Computing and System Dependability with experience on the development of innovative products. Founder of Trekken (OTOMATA), an awarded-winning brazillian tech-based Startup specialized in reducing the number of deaths caused by aggressive drivers. Passionate about technology and the development of new tools. Strong knowledge of algorithms and data structures for parallel, distributed and cloud computing. Have 12 years experience in the development of scalable informatics systems, 8 years experience developing tools to verify mission-critical systems (formal verification), and five years experience executing projects that require high investments in P&D.

Interests:

  • Development of algorithms and implementation of scalable systems to reduce the number of deaths caused by aggressive drivers (>70% of accidents are caused by human behavior such as cornering, aggressive maneuver, use of the smartphone while driving, etc);
  • High-performance computing: algorithms for cloud computing, distributed and shared memory machines;
  • Analysis and definition of large informatic systems;
  • Risk analysis for mission-critical systems: LOLA, HAZOP, etc;
  • Formal Verification: Model Checking (embedded real-time systems, industrial PLCs programs, etc);

Specialties: Formal Verification, Model Checking, High-Performance Computing, Parallel Programming, Cloud Computing, NoSql, System Architecture, Formal methods for software engineering

Google Scholar:

http://scholar.google.com/citations?user=TH0ffJkAAAAJ&hl=en

Online CV:

http://www.linkedin.com/in/rodrigotaclasaad

PDF Download:

CV PDF

GitHub:

github.com/rtsaad
(Mainly Self Driving Car Projects)