Iosif Petrakis

foto,  6 marzo 2017
Qualifica
Ricercatore a tempo determinato
Settore disciplinare
MATH-01/A - Logica matematica
Settore di Ricerca (ERC-2024)
PE1_1 - Logic and foundations

PE1_17 - Mathematical aspects of computer science

Ufficio
Ca' Vignal 2,  Piano 2,  Stanza 1
Telefono
+39 045 802 7973
E-mail
iosif|petrakis*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.

Orario di ricevimento

martedì, Ore 15.00 - 17.00,   Ca' Vignal 2, piano 2, stanza 1

Curriculum

La ricerca di Petrakis riguarda la matematica costruttiva, la teoria della computabilità e la teoria delle categorie. Si è occupato principalmente di topologia costruttiva e teoria della misura e, negli ultimi anni, delle connessioni tra la teoria degli insiemi di Bishop, la teoria dei tipi di Martin Loef e la teoria delle categorie. Petrakis ha pubblicato su riviste di logica e informatica teorica (tra cui Annals of Pure and Applied Logic, Computability, Journal of Logic and Analysis, Journal of Logic and Computation, Logical Methods in Computer Science, Mathematical Structures in Computer Science, Theoretical Computer Science) , nel Handbook of Constructive Mathematics e negli atti di convegni (inclusi 6 CiE, 2 LFCS, 1 LICS, 1 TYPES).

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 3.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Per la comunità studentesca

Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.

MyUnivr

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.



Organizzazione

Strutture del dipartimento

Condividi