Jaume Abella Ferrer

Email: myemail
Senior Research Scientist (since November 2009)
Barcelona Supercomputing Center (BSC)

c/ Jordi Girona, 31
Edifici Til.lers, 4tht floor
Barcelona - Catalunya Spain
phone: +34 93 4137609
fax: +34 93 4137721
ORCID: 0000-0001-7951-4028

OPEN PhD/Master POSITIONS at BSC: Details here

My main interests are on the timing and functional verification of critical real-time systems, with particular emphasis on the automotive, avionics, space and railway domains, and with a clear constraint: applicability in industrial products (either in the short or long term).
My research is often articulated through collaborative projects with industry:
  • Microprocessor design for safety critical systems, see De-RISC, SELENE, EPI
  • Timing verification with MicroBenchmarks technology, see MASTECS
  • Timing verification for Space systems, together with the European Space Agency (ESA), see [ESA projects]
  • Timing verification with probabilistic means with Avionics, Space, Railway and Automotive industry, see SuPerCom, PROXIMA, PROARTIS
  • Timing verification on COTS processors, see SAFURE
  • Functional verification on automotive processors (Infineon), see VeTeSS
  • Timing verification on time-determistic processor prototypes, see parMERASA

    Current Ph.D. and Master students: Past Ph.D. students: Past Master students: Ph.D. and Master committees: