prima pagina > soci
english version

AILA - Associazione Italiana di Logica e sue Applicazioni

Anagrafe logici

L'iniziativa

In questo periodo in cui il meccanismo delle abilitazioni con qualche fatica e varie discussioni si mette in moto e cominciano a essere richiesti, discussi e banditi i nuovi posti di Ricercatore a tempo determinato di tipo A e B, riteniamo essenziale da parte dell'AILA curare una "anagrafe" di tutti i "logici italiani", in particolare di quelli "giovani" o comunque non strutturati, e della loro attività scientifica.

In varie sedi universitarie le probabilità di successo di una richiesta di posti di Ricercatore a tempo determinati o di posizioni superiori sono condizionate dalla presenza dimostrabile di un buon numero di candidati di buon livello. Quindi uno degli scopi di questa iniziativa è proprio quello di fornire alle singole sedi gli elementi per valutare l'opportunità di chiedere posti in Logica.

Allora i dati qui raccolti vogliono fornire un utile elemento di riferimento per la programmazione delle strutture universitarie in cui la logica è coinvolta e per tutta la comunità scientifica nazionale.

Come aderire

Inviare a carlo.toffalori@unicam.it e hykel.hosni@unimi.it un email dal titolo "Anagrafe logici AILA" composta unicamente dal testo che compare nel riquadro opportunamente modificato nei campi che appaiono in STAMPATELLO. Tale testo, una volta inserito in questa pagina, permetterà di accedere alla pagina web a cui punta il collegamento "Curriculum aggiornato". Sarà quindi cura di chi aderisce all'iniziativa fornire il collegamento ad una propria pagina web e assicurarsi che da essa si possa facilmente accedere (oltre che ad eventuali altre pagine ipertestuali) anche (od esclusivamente) ad un proprio curriculum completo in formato pdf (o comunque fruibile in modo non ipertestuale).

<dl>
    <dt>NOME COGNOME</dt>
    <dd  class="ricerca">Interessi di ricerca</dd>
    <dd>PRIMO SECONDO TERZO QUARTO QUINTO</dd>
    <dd  class="dottorato">Dottorato</dd>
    <dd>TITOLO, UNIVERSITA' (SUPERVISORE, DATA)</dd>
    <dd class="posizione">Posizione attuale</dd>
    <dd>POSIZIONE ATTUALE</dd>
    <dd class="affiliazioni">Altre affiliazioni e collaborazioni</dd>
    <dd>AFFILIAZIONI</dd>
    <dd class="cv">Collegamento a curriculum aggiornato</dd>
    <dd><a href="http://URL">http://URL</a></dd>
 </dl class="ultimo-dd">

Lista dei logici che aderiscono

Ultimo aggiornamento 16 marzo 2013

Olivia Caramello
Interessi di ricerca
Teoria dei topoi e sue applicazioni
Dottorato
Ph.D. in Mathematics, University of Cambridge (Peter Johnstone, 2009)
Posizione attuale
Research Fellow, University of Cambridge
Collegamento a curriculum aggiornato
http://www.oliviacaramello.c om/CV/CV.htm
Pietro Codara
Interessi di ricerca
Combinatoria, strutture ordinate, logiche polivalenti,ragionamento in condizioni di incertezza
Dottorato
Dottore di Ricerca in Matematica e Statistica per le Scienze Computazionali, Dipartimento di Matematica F. Enriques, Università degli Studi di Milano (O. M. D'Antona, V. Marra, 2008)
Posizione attuale
Assegnista di ricerca, Dipartimento di Informatica, Università degli Studi di Milano
Collegamento a curriculum aggiornato
http://www.cody.it/pietro.php
Annalisa Conversano
Interessi di ricerca
Teoria dei modelli e sue applicazioni
http://poisson.phc.unipi.it/~conversa/vita
Dottorato
Logica Matematica e Informatica Teorica, Università degli Studi di Siena (Alessandro Berarducci, 2009)
Posizione attuale
Tutor, Massey University, Auckland, New Zealand
Altre affiliazioni e collaborazioni
University of Auckland, New Zealand
Collegamento a curriculum aggiornato
http://poisson.phc.unipi.it/~conversa/vita
Tommaso Flaminio
Interessi di ricerca
Probabilità su eventi non classici, Logiche a più valori, Ragionamento sotto incertezza, Complessità computazione
Dottorato
Dottorato in Logica Matematica e Informatica Teorica, Università degli Studi di Siena (Franco Montagna, 20/12/2006)
Posizione attuale
Borsista Post Doc, Institut d'Investigació en Intel.ligència Artificial (IIIA)
Collegamento a curriculum aggiornato
http://www.iiia.csic.es/~tommaso/
Umberto Grandi
Interessi di ricerca
Computational Social Choice, Judgment Aggregation, Automated Reasoning
Dottorato
Binary Aggregation With Integrity Constraints, University Of Amsterdam (Ulle Endriss, Settembre 2012)
Posizione attuale
Assegnista Di Ricerca, Dipartimento di Matematica, Universita' di Padova
Collegamento a curriculum aggiornato
http://www.math.unipd.it/~umberto/
Giorgio Laguzzi
Interessi di ricerca
Forcing, teoria degli insiemi, struttura dei numeri reali, proprietà di regolarità
Dottorato
Dottorato in Logica presso Università di Vienna (Prof. Sy David Friedman, 4 Giugno 2012)
Posizione attuale
Post-doc presso Università di Friburgo, Germania
Collegamento a curriculum aggiornato
http://home.mathematik.uni-freiburg.de/giorgio/
Lorenzo Luperi Baglini
Interessi di ricerca
Analisi Nonstandard e sue applicazioni alla Combinatoria Infinita, agli Ultrafiltri ed all'Analisi Non Lineare.
Dottorato
Dottorato in Logica Matematica e Informatica Teorica, Università degli Studi di Siena (Prof. Mauro di Nasso e Prof. Franco Montagna, 27/04/2012).
Posizione attuale
Assegnista di Ricerca, Dipartimento di Matematica, Università di Pisa
Collegamento a curriculum aggiornato
http://for.unipi.it/lorenzo_luperi_baglini/files/2013/02/CVEurepeoLuperi.pdf
Vincenzo Mantova
Interessi di ricerca
Teoria dei modelli e sue applicazioni, teoria dei numeri
Dottorato
Ph.D. in Matematica, Scuola Normale Superiore di Pisa (Alessandro Berarducci, gennaio 2013)
Posizione attuale
Assegnista di ricerca, Dipartimento di Matematica, Università di Pisa
Collegamento a curriculum aggiornato
http://poisson.phc.unipi.it/~mantova/
Luca Motto Ros
Interessi di ricerca
Teoria degli insiemi (descrittiva), definibilità di insiemi e relazioni, giochi infiniti, assioma di determinatezza e sue conseguenze, classificazione di relazioni d'equivalenza e quasi-ordini analitici
Dottorato
Dottorato in Matematica per le Scienze dell'Ingegneria, Politecnico di Torino (R. Camerlo e A. Andretta, 27.02.2007)
Posizione attuale
Assistant professor, Albert-Ludwigs-Universität Freiburg, Germania
Collegamento a curriculum aggiornato
http://home.mathematik.uni-freiburg.de/mottoros/
Paolo Parisen Toldin
Interessi di ricerca
Complessità computazionale implicita, logiche polytime, logica combinatoriale
Dottorato
ICC e classi di complessità probabilistiche, Università degli studi di Bologna (Simone Martini, 2013)
Posizione attuale
fine dottorato
Altre affiliazioni e collaborazioni
Focus group, LIPN - Parigi 13
Collegamento a curriculum aggiornato
http://www.cs.unibo.it/~parisent/curriculum/curriculumEN.pdf
Giuseppe Primiero
Interessi di ricerca
Teorie dei tipi, Teoria della dimostrazione, Logiche non-classiche, Semantiche Procedurali
Dottorato
Dottorato in FIlosofia, Universita' di Palermo (G. Roccaro, B.G. Sundholm, 26/01/2006)
Posizione attuale
Ricercatore Post-Doc, Ghent University (Belgio)
Collegamento a curriculum aggiornato
http://www.philosophy.ugent.be/giuseppeprimiero/personal
Ciro Russo
Interessi di ricerca
Logica algebrica astratta, Strutture algebriche ordinate, Logiche polivalenti, Fuzzy logic
Dottorato
Dottorato di Ricerca in Matematica, Università degli Studi di Salerno (Antonio Di Nola e Constantine Tsinakis, 14/12/2007)
Posizione attuale
"Professor Visitante" - Universidade Federal da Bahia, Salvador - BA, Brasile
Collegamento a curriculum aggiornato
http://www.dmi.unisa.it/people/russo/www/
Last modified: December 21, 2015 2:30:40 PM CET.