Josep Carmona
Teaching
Teaching Compilers
and Concurrent and Distributed Programming
at the Facultat d'Informatica de
Barcelona (FIB) .
Research
Member of the GAVINA
research group (within the ALBCOM
research group).
A list of publications can be found here.
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 , Petri
Nets'12 , ACSD'12
PhD. Students
- 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.
