Joaquim Casals

Joaquim Casals Email and Phone Number

Universitat Politècnica de Catalunya graduate @ Formal Vindications
Joaquim Casals's Location
Greater Barcelona Metropolitan Area, Spain
About Joaquim Casals

Computer Science graduate at the Polytechnic University of Catalonia(UPC). Particularly interested in theoretical computer science, formal methods, functional programming and algorithmics. Also interested in Physics.Graduated in computer science with a master's in mathematics by the UPC.

Joaquim Casals's Current Company Details
Formal Vindications

Formal Vindications

View
Universitat Politècnica de Catalunya graduate
Joaquim Casals Work Experience Details
  • Formal Vindications
    Research Engineer
    Formal Vindications Mar 2022 - Present
    Barcelona
    Developing formally verified software for law-related projects
    View
  • Fundació Bosch I Gimpera
    Research Assistant
    Fundació Bosch I Gimpera Oct 2020 - Mar 2022
    Barcelona, Catalonia, Spain
    Development of formally verified software to model road-transportation laws.Particularly, developing Coq-code to implement and verify fully compliant software to analyze tachograph data.
    View
  • Iri - Institut De Robòtica I Informàtica Industrial, Csic-Upc
    Research Engineer
    Iri - Institut De Robòtica I Informàtica Industrial, Csic-Upc Oct 2018 - Sep 2020
    Barcelona, Catalonia, Spain
    Development of a C++ library to solve the SLAM problem
    View
  • Universitat Politècnica De Catalunya
    Research Internship
    Universitat Politècnica De Catalunya Jan 2016 - Sep 2016
    Barcelona
    Working in the project of creating a large scale synthetic data generator
    View
  • Universität Mannheim
    Research Internship
    Universität Mannheim Sep 2015 - Dec 2015
    Mannheim
    Working in extending a Markov Logic reasoner (RockIt) in order to reason with extended datatypes
    View
  • Universitat Politècnica De Catalunya
    Research Internship
    Universitat Politècnica De Catalunya Nov 2014 - May 2015
    Barcelona
    Working in the development of a machine learning solution for magnetic-based parking sensors
    View

Joaquim Casals Education Details

Frequently Asked Questions about Joaquim Casals

What company does Joaquim Casals work for?

Joaquim Casals works for Formal Vindications

What is Joaquim Casals's role at the current company?

Joaquim Casals's current role is Universitat Politècnica de Catalunya graduate.

What schools did Joaquim Casals attend?

Joaquim Casals attended Universitat Politècnica De Catalunya, Universitat Politècnica De Catalunya.

Not the Joaquim Casals 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.