Josep Carmona

Josep Carmona Vargas Lecturer jcarmona [ at symbol] lsi [ dot symbol] upc [ dot symbol] edu (Personal: joseph [ dot ] carmona [ at ] gmail [ dot ] com) Software Department Universitat Politecnica de Catalunya (UPC) Campus Nord - Edifici Omega Room 219. Telephone: 93 413 79 02

Teaching

Research

• Synthesis of concurrent systems
  
• Petri nets and asynchronous circuit design
• Team automata
• Logic synthesis
  
• Nanocomputing

A list of publications can be found here.

Software

Genet: a tool for the synthesis and mining of Petri nets.

Other stuff

Here you can find another picture of me.