César Rodríguez

César Rodríguez Email and Phone Number

Software Architect at Cadence & Associate Professor at Université Paris 13 @ Cadence Design Systems
sweden
César Rodríguez's Location
Greater Oxford Area, United Kingdom
César Rodríguez's Contact Details

César Rodríguez work email

César Rodríguez personal email

About César Rodríguez

I develop automated software analysis techniques for formal verification, test generation, and bug finding.Research interests include dynamic program analysis, symbolic execution, abstract interpretation, concurrency, and security.

César Rodríguez's Current Company Details
Cadence Design Systems

Cadence Design Systems

View
Software Architect at Cadence & Associate Professor at Université Paris 13
sweden
Website:
cadence.se
Employees:
10
César Rodríguez Work Experience Details
  • Cadence Design Systems
    Software Architect
    Cadence Design Systems Aug 2022 - Present
    Oxford, England, United Kingdom
    View
  • Université Sorbonne Paris Nord
    Associate Professor
    Université Sorbonne Paris Nord Sep 2014 - Present
    Région De Paris, France
    View
  • Diffblue
    Principal Architect
    Diffblue Mar 2020 - Jun 2022
    View
  • Diffblue
    Software Architect
    Diffblue Nov 2019 - Mar 2020
    Oxford, England, United Kingdom
    View
  • Diffblue
    Senior Scientist
    Diffblue May 2017 - Nov 2019
    Oxford, Royaume-Uni
    View
  • Department Of Computer Science, University Of Oxford
    Postdoctoral Research Assistant
    Department Of Computer Science, University Of Oxford Nov 2013 - Aug 2014
    Oxford, Royaume-Uni
    View
  • Universidad De Alcalá
    Research Assistant
    Universidad De Alcalá Oct 2007 - Aug 2009
    Alcalá De Henares Area, Spain
    View
  • European Space Agency - Esa
    Visiting Scientist
    European Space Agency - Esa Feb 2009 - May 2009
    Noordwijk, Netherlands
    View
  • Iapsolutions
    Software Engineer
    Iapsolutions Oct 2006 - Sep 2007
    Madrid Area, Spain
    View

César Rodríguez Skills

C++ Formal Verification Java C Python University Teaching

César Rodríguez Education Details

  • École Normale Supérieure Paris-Saclay
    École Normale Supérieure Paris-Saclay
    Computer Science
  • École Normale Supérieure Paris-Saclay
    École Normale Supérieure Paris-Saclay
    Computer Science
  • Universidad De Alcalá
    Universidad De Alcalá
    Computer Engineering
    View

Frequently Asked Questions about César Rodríguez

What company does César Rodríguez work for?

César Rodríguez works for Cadence Design Systems

What is César Rodríguez's role at the current company?

César Rodríguez's current role is Software Architect at Cadence & Associate Professor at Université Paris 13.

What is César Rodríguez's email address?

César Rodríguez's email address is ce****@****ail.com

What schools did César Rodríguez attend?

César Rodríguez attended École Normale Supérieure Paris-Saclay, École Normale Supérieure Paris-Saclay, Universidad De Alcalá.

What skills is César Rodríguez known for?

César Rodríguez has skills like C++, Formal Verification, Java, C, Python, University Teaching.

Who are César Rodríguez's colleagues?

César Rodríguez's colleagues are Om Prakash Mishra, Jay Surve, Deepika Pathak, Masaharu Suzuki, Vivian Kwok, Clarice Oliveira, Tadhg Creedon.

Not the César Rodríguez you were looking for?

View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.