DIPARTIMENTO DI INGEGNERIA DELL'INFORMAZIONE
E SCIENZE MATEMATICHE

UNIVERSITA' DEGLI STUDI DI SIENA
 
Home
  Privacy e Cookie policy


Giulia Simi


Dipartimento di Ingegneria dell'Informazione
e Scienze Matematiche
University of Siena
Via Roma, 56
53100 Siena ITALY


e-mail:
Tel: +39 0577 235996
Fax: -
Office:
Building:
Floor:
Room:
S. Niccolò
1
117

[map]
Research Area Mathematical Logic and Foundations
ssd MAT/02
Official Homepage https://docenti.unisi.it/it/simi
Office Hours
segreteriaonline
Curriculum
La sottoscritta Giulia Simi, laureata in matematica presso la Facoltà di Scienze Matematiche Fisiche e Naturali di Siena, è ricercatrice confermata dall’anno 1993 ed è afferente al Dipartimento di Ingegneria dell’Informazione e Scienze Matematiche. Programma di ricerca previsto Caratterizzazione degli intervalli finiti in reticoli liberamente generati da semireticoli superiori. Studio delle relazioni di equivalenza ricorsivamente enumerabili rispetto alla riducibilità xRy se e solo se f(x)Sf(y), e connessioni con il problema della parola per i semigruppi finitamente presentati. Algebre di Boole di linguaggi formali in sottoclassi della classe di complessità PSPACE. Riducibilità positive, relativi modelli di calcolabilità relativa e applicazioni al reticolo di Medvedev. Convegni Ha partecipato ai seguenti convegni: - Internazionale conference on Logic and Algebra in memory of Roberto Magari: Siena - Aprile 1994 e ha tenuto la seguente comunicazione: Roberto Magari -Giulia Simi: A revision of the mathematical part of Magari's paper on "Introduction to metamorality". - Logic Colloquium,luglio 1994 - Clermont Ferrand, Francia. - 10th international congress of logic, methodology and philosophyof science - august 19-25, 1995 - Firenze. - Colt '96 ninth conference on computational learning theory (Desenzano del Garda, giugno, 1996). - Convegno organizzato dal GNSAGA (CNR), Perugia, novembre 1997 (in cui ha tenuto la seguente comunicazione: Paradigms in measure theoretic learning and informant learning). - Convegno organizzato dal GNSAGA (CNR), Perugia, novembre 1997 ha tenuto la seguente comunicazione: Paradigms in measure theoretic learning and informant learning - XVIII Incontro di Logica Matematica, Siena, 27-30 Aprile 1998. - Logic Colloquium, Agosto 1998 - Praga. - 10th International Confernce, DGCI 2002, Bordeaux, France, April 2002. - International Workshop in Combinatorial Image Analysis 2003, Palermo (Italia), maggio 2003. - International conference, The Logic of Soft Computing IV & Fourth workshop othe ERCIM working group on soft computing, Ostrava, 4-5 ottobre 2005. - Convegno Internazionale CiE 2007, Computation and Logic in the Real World, Siena, 18-23 giugno 2007. - Stage di orientamento Facoltà di SMNF, Didattica e ricerca, con una relazione Matematica e Giochi, Massa Marittima (GR), 3-5 giugno. - Attività didattica e professionale Ha svolto i seguenti insegnamenti: Anno 1990-91: Esercitazioni di Geometria 1, corso di laurea di Matematica; tre ore la settimana d'esercitazioni in aula e quattro di spiegazioni ai singoli studenti. Anno 1991-92: Esercitazioni al corso d'Istituzioni matematiche (per studenti di biologia);Tre ore in aula e quattro ore di spiegazioni ai singoli. Anno 1992-93: Esercitazioni d'Analisi I (orario come negli anni precedenti), corso di laurea in Matematica; un corso breve di dodici ore su argomenti di teoria dei gruppi, concepito per studenti di Chimica, con esempi d'interesse specifico.. Anno 1993-94: Esercitazioni di Analisi I (orario come negli anni precedenti),corso di laurea in Matematica; un corso breve di dodici ore ai dottorandi in logica matematica e informatica sulle algebre di Boole. Anno 1994-95: Esercitazioni di Algebra I (orario come negli anni precedenti), corso di laurea in Matematica. Anno 1995-96: Esercitazioni di Algebra I (orario come negli anni precedenti),corso di laurea in Matematica e una supplenza del secondo modulo di Matematica Generale alla Facoltà di Economia di Siena. Anno 1996-97: Esercitazioni di Algebra I (orario come negli anni precedenti e quattro seminari di approfondimento), corso di laurea in Matematica, Geometria per i corsi di Diploma in Ingegneria Informatica ed Automatica ed Ingegneria delle Telecomunicazioni presso la Facoltà di Ingegneria di Siena. Anno 1997-98: Esercitazioni del primo modulo di Algebra, Algebra 2° modulo (orario come negli anni precedenti e quattro seminari di approfondimento), corso di laurea in Matematica e Geometria per i corsi di Diploma in Ingegneria Informatica ed Automatica ed Ingegneria delle Telecomunicazioni presso la Facoltà di Ingegneria di Siena. Anno 1998-99: Esercitazioni del primo modulo di Algebra (un ora la settimana e quattro ore la settimana di seminari di approfondimento), Algebra 2° modulo, corso di laurea in Matematica e Geometria per i corsi di Diploma in Ingegneria Informatica ed Automatica ed Ingegneria delle Telecomunicazioni presso la Facoltà di Ingegneria di Siena. Anno 1999-2000: Esercitazioni del primo modulo di Algebra (un ora la settimana e quattro ore la settimana di seminari di approfondimento), Algebra 2° modulo, corso di laurea in Matematica e Geometria per i corsi di Diploma in Ingegneria Informatica ed Automatica ed Ingegneria delle Telecomunicazioni presso la Facoltà di Ingegneria di Siena. Anno 1999-2000: Algebra 2° modulo, corso di laurea in Matematica e Geometria per i corsi di Diploma in Ingegneria Informatica ed Automatica ed Ingegneria delle Telecomunicazioni presso la Facoltà di Ingegneria di Siena. Anno 2000-2001: Istituzione di Algebra superiore 1°modulo, Istituzione si Algebra superiore 2° modulo, corso di laurea Specialistica in Matematica e Geometria per i corsi di Diploma in Ingegneria Informatica ed Automatica ed Ingegneria delle Telecomunicazioni presso la Facoltà di Ingegneria di Siena. Anno 2001-2002: Istituzione di Algebra Superiore corso di laurea Specialistica in Matematica e Algebra lineare, corso di laurea in Ingegneria dell’Automazione con sede a Arezzo, Facoltà di Ingegneria di Siena. Anno 2002-2003: Algebra lineare, corso di laurea in Ingegneria dell’Automazione con sede a Arezzo, Facoltà di Ingegneria di Siena, Matematica per il corso di laurea Specialistica in Farmacia presso la Facoltà di Farmacia di Siena. Anno 2003-2004: Algebra lineare, corso di Laurea in Ingegneria dell’Automazione con sede a Arezzo, Facoltà di Ingegneria di Siena, Matematica per il corso di laurea Specialistica in Farmacia presso la Facoltà di Farmacia di Siena, Strutture algebriche ordinate per il corso di laurea Specialistica in Matematica. Anno 2004-2005: Algebra lineare, corso di laurea in Ingegneria dell’Automazione con sede a Arezzo, Facoltà di Ingegneria di Siena. Anno 2005-2006: Algebra lineare, corso di laurea in Ingegneria dell’Automazione con sede a Arezzo, Facoltà di Ingegneria di Siena, Strutture algebriche ordinate per il corso di laurea specialistica in Matematica. Anno 2006-2007: Algebra lineare, corso di laurea in Ingegneria dell’Automazione con sede a Arezzo, Facoltà di Ingegneria di Siena, Strutture algebriche ordinate per il corso di laurea specialistica in Matematica, Istituzione di Algebra Superiore per il corso di laurea specialistica in Matematica. Anno 2007-2008: Strutture algebriche ordinate per il corso di laurea specialistica in Matematica, Istituzione di Algebra Superiore per il corso di laurea specialistica in Matematica. Anno 2008-2009: Istituzione di Algebra superiore (60 ore), laurea Specialistica di Matematica, Strutture algebriche ordinate (24 ore), laurea Specialistica in Matematica, Informatica teorica (12 ore), laurea Scienze e Teoria dell’Informatica Anno 2009-2010: Algebra superiore (48 ore), laurea Magistrale Matematica, Informatica teorica (24 ore), laurea magistrale Matematica. Anno 2010-2011: Algebra superiore (48 ore), laurea magistrale Matematica, Informatica teorica (1° modulo di 48 ore e 2° modulo di 24 ore), laurea magistrale Matematica, Complementi di algebra (24 ore), laurea magistrale Matematica. Anno 2011-2012: Algebra superiore (48 ore), laurea magistrale Matematica, Informatica teorica (1° modulo di 48 ore e 2° modulo di 24 ore), laurea magistrale Matematica, Complementi di algebra (24 ore), laurea magistrale Matematica. Anno 2012-2013: Informatica teorica 2° modulo (24 ore), corso di laurea Informatica e Algebra superiore (48 ore), laurea magistrale Matematica.

Curriculum in english

Publications



 

Dipartimento di Ingegneria dell'Informazione e Scienze Matematiche - Via Roma, 56 53100 SIENA - Italy