Skip to content

Joabe Jesus

  • Software Engineer
  • Samsung/SIDI - FADE/UFPE
  • 9Followers
  • 8Following

Research interests

Formal Methods Validation and Verification

Followers (9)

Explore network

Following (8)

Explore network

Professional experience

Software Engineer

Samsung/SIDI - FADE/UFPE

July 2008 - Present

Researcher

Embraer/CIn - UFPE

March 2007 - Present

Software Engineer

Samsung/SIDI - FADE/UFPE

August 2006 - July 2007(a year)

Education

MSc in Computer Science

Centro de Informática - UFPE

March 2007 - August 2009(2 years)

BSc in Computer Science

Centro de Informática - UFPE

August 2002 - December 2006(4 years)