Josep Carmona

Josep Carmona Vargas 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 S114. Telephone: 93 413 78 53

Teaching

Research

Professional activities

Member of the IEEE Task Force on Process Mining
(see the Process Mining Manifiesto)

PC Chair in:

Application of Concurrency to System Design (ACSD'11)

PC member in: 

ASYNC'08 , CHINA'08 ,  APNOC'09 , ACSD'10 , APNOC'10 , ART'10 , ACSD'11 , Petri Nets'11,
ART'11, Petri Nets'12 , ACSD'12

• Jorge Muñoz (Process Mining, started on Setember'09)

Master (M)/Undergraduate students(U)

• Javier de San Pedro (Un entorn per a la verificació automàtica de circuits digitals, defended on June'11, MH) (U)
• Marta Miralpeix (Disseny i implementació d'un processador en un llenguatge de descripció de Hardware, defended on Febr'10) (U)
  
• Sara Royuela (Structural verification of simple properties, defended on July'10, MH) (U)
  
• Josep Maria Royuela (Constraint-programming-based verification, defended on July' 10) (U)
  
• Jorge Muñoz (Process Mining: descobrint models formals a partir de logs d’un sistema, defended on June'09) (U)
  
• Francisco Fernàndez (Logic Synthesis of Handshake Components using Clustering Techniques, defended on June'07) (M)
  
• Jonas Casanova (SynchroTeam:a tool for the composition of Team Automata, presented on January'07) (U)
  
• Bernat Ràfales (Nanocomp: visual and interactive simulator of molecule cascades, defended on June'06, MH) (U)
  

Software

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

Moebius: a tool for the structural synthesis of asynchronous circuits.

Other stuff

Here you can find another picture of me.