Elvinia Riccobene è professore associato di Informatica presso il Dipartimento di Tecnologie dell'Informazione dell'Università degli Studi di Milano dove svolge i corsi di Metodi per il Ragionamento Automatico, di Metodi Formali dell'Informatica, e di Tecniche per la Verifica formale di Sistemi.
Ha conseguito la Laurea in Matematica (1987) e il Dottorato di Ricerca in Matematica Applicata (1993). È stata ricercatore (1994) e poi professore associato (2000) di Informatica presso l'Università di Catania. È stata visiting presso le Università di Bristol (UK) e di Karlsruhe (Germania), e presso il Naval Research Laboratory in Washington DC (USA). È autrice di oltre 40 articoli scientifici.
I suoi attuali interessi di ricerca riguardano i metodi formali e le tecniche di verifica per la progettazione e l'analisi di sistemi embedded, l'integrazione tra metodi formali e semi-formali, la metamodellazione. Ha coordinato e attualmente coordina progetti di ricerca con grandi aziende.
È membro del comitato di programma di varie conferenze internazionali e svolge attività di revisione per riviste scientifiche di livello internazionale.
