Curriculum Vitae INFORMAZIONI PERSONALI Calautti Marco Via P. Bucci, cubo 44/A 1° piano (ex. Presidenza Ingegneria), Università della Calabria, Rende [email protected] http://github.com/marco-calautti Sesso Maschile | Data di nascita 30/12/1987 | Nazionalità Italiana ESPERIENZA PROFESSIONALE 01/12/2015-presente 01/10/2015-30/11/2015 ▪ ▪ Assegnista di ricerca presso il Dipartimento di Informatica, Modellistica, Elettronica e Sistemistica dell’università della Calabria, Rende (CS). ▪ Sviluppo software di monitoraggio per DAIMEX AS ▪ Descrizione: Applicazione client per il monitoraggio in tempo reale di segnali analogico/digitali di un modulo elettronico atto alla gestione di mezzi di locomozione. ▪ Tecnologie adoperate: Microsoft .NET (C#, WinForms), versioning git. 01/10/2011-31/01/2012 ▪ Sviluppo backend web pokerdream.eu ▪ Descrizione: Sviluppo iniziale di un backend a supporto del calcolo di statistiche e gestione degli iscritti alla scuola di poker pokerdream.eu. ▪ Tecnologie adoperate: PHP, MySQL, Webservices XMLRPC. ISTRUZIONE E FORMAZIONE 11/07/2006 Diploma di Perito Industriale capo tecnico Istituto E. Majorana, Roccella Jonica (Italia) Votazione: 100/100 04/12/2009 Laurea Triennale in Ingegneria Informatica Unical - Università della Calabria, Rende (Italia) Votazione: 110/110 con lode e nota di merito da parte della commissione. 17/09/2012 Laurea Specialistica in Ingegneria Informatica Unical - Università della Calabria, Rende (Italia) Indirizzo: Metodologico Votazione: 110/110 con lode. 19/02/2016 Dottorato di Ricerca in Ingegneria dei Sistemi e Informatica Unical - Università della Calabria, Rende (Italia) 24/02/2016 © Unione europea, 2002-2016 | http://europass.cedefop.europa.eu Pagina 1 / 5 COMPETENZE PERSONALI Lingua madre italiano Altre lingue Inglese COMPRENSIONE PARLATO PRODUZIONE SCRITTA Ascolto Lettura Interazione Produzione orale B1 C2 B1 B1 C2 Livelli: A1/A2: Livello base - B1/B2: Livello intermedio - C1/C2: Livello avanzato Quadro Comune Europeo di Riferimento delle Lingue Ulteriori esperienze in ambito linguistico: Periodo all’estero di 6 mesi per collaborazione di ricerca presso Università di Oxford (Regno Unito). 24/02/2016 © Unione europea, 2002-2016 | http://europass.cedefop.europa.eu Pagina 2 / 5 Curriculum Vitae Competenze organizzative e gestionali Progetti realizzati in ambito universitario: ▪ Progetto di Sistemi Informativi ▫ Descrizione: Progettazione di un Sistema informativo a supporto della gestione di un centro benessere (SPA). Analisi dei requisiti, progettazione dei business process, casi d’uso, progettazione concettuale, modello Entità/Relazione, schema relazionale della base di dati e data warehousing. ▫ Tecnologie e strumenti adoperati: UML, Jasper ETL, Jasper Analysis Workbench. ▪ Progetto di Sistemi informatici ▫ Descrizione: Implementazione di una web application e di una client application del Sistema informativo relativo al progetto di cui sopra. ▫ Tecnologie adoperate: Java, J2EE, Glassfish application server, EJB3, MySQL, JSP, Java Servlet, Java Persistence Framework, Javascript, JQuery, HTML, Java Swing. ▪ Progetto Android ▫ Descrizione: Progettazione e sviluppo di un’applicazione mobile per Sistema operativo Android per l’interfacciamento semplificato a piattaforme forum basate su phpBB. ▫ Tecnologie adoperate: Java, Webservices XMLRPC, PHP, HTML, JSON. ▪ Progetto programmazione grafica ▫ Descrizione: Progettazione e sviluppo di un’applicazione client con GUI per il supporto alla gestione e alla valutazione di studenti per la scuola secondaria di secondo grado. ▫ Tecnologie adoperate: Java, Java Swing, SwingX. ▪ Progetto di Automazione Industrialle ▫ Descrizione: Progettazione e simulazione di un controllore PID per il controllo di un motore in corrente continua. ▫ Tecnologie adoperate: Matlab. Progetti realizzati in autonomia: ▪ Reverse engineering e sviluppo di software senza scopo di lucro per traduzioni amatoriali di video giochi presso SadNES cITy Translations www.sadnescity.it ▫ Descrizione: Applicazione di ingegneria inversa su codice macchina di tipo MIPS e x86 e sviluppo di software per formati di archivi (compressi) e di immagini proprietari a supporto dei traduttori. ▫ Tecnologie adoperate: C, C++, Assembly x86, Assembly MIPS, C# e .NET Framework. 24/02/2016 © Unione europea, 2002-2016 | http://europass.cedefop.europa.eu Pagina 3 / 5 Competenze informatiche Altre competenze Linguaggi conosciuti: Java, C#, C++, C, PHP, SQL, Assembly MIPS, Assembly x86. Ambienti di Sviluppo: Eclipse, Visual Studio. Sistemi Operativi: Windows e Linux, in particolare le distribuzioni Fedora, Arch e Mint. Software: Pacchetto Office, Pacchetto LibreOffice, MySQL, Eclipse, Visual Studio. -Attualmente docente a contratto per il corso di Fondamenti di Informatica, corso di laurea in Scienze Politiche e Sociali, Università della Calabria. -Vincitore di incarico mediante contratto di diritto privato a tempo determinato per il corso di Elementi di Matematica computazionale presso il DIMES, Università della Calabria. A.A. 2015/2016 -Seminari al corso di Basi di Dati e Scoperta di Conoscenza per gli A.A. 2013/2014, 2014/2015. -Seminari al corso di Fondamenti di Informatica per gli A.A. 2012,2013, 2013/2014, 2014/2015. -Attività di supporto alla didattica presso l’Università della Calabria per il corso di Basi di Dati e Scoperta di Conoscenza A.A. 2012/2013. -Attività di supporto alla didattica per il corso di Informatica per i Corsi di Studio della Facoltà di Scienze Politiche A.A. 2011/2012. Q Patente di guida 24/02/2016 B © Unione europea, 2002-2016 | http://europass.cedefop.europa.eu Pagina 4 / 5 Curriculum Vitae Pubblicazioni scientifiche su rivista: 1) M. Calautti, S. Greco, F. Spezzano, I. Trubitsyna, “Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols”, TPLP, Vol. 15(6), pp. 854-889, 2015. Pubblicazioni scientifiche su conferenza: 1) Marco Calautti, Georg Gottlob, Andreas Pieris, “Chase Termination for Guarded Existential Rules”, Proc. of the ACM SIGMOD/PODS 2015, Melbourne, Australia, May 31-June 4, 2015. 2) M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna, “Logic Program Termination Analysis Using Atom Sizes”, Proc. of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pp. 2833-2839, Buenos Aires, Argentina, July 25-31, 2015. 3) M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna, “Rewriting-based Check of Chase Termination”, Proc. of 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru, May 6 - 8, 2015. 4) Marco Calautti, Georg Gottlob, Andreas Pieris, “Chase Termination for Guarded Existential Rules”, Proc. of 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru, May 6 - 8, 2015. 5) Marco Calautti, Cristian Molinaro, Chiara Pulice, Irina Trubitsyna, “Termination Criteria for Datalog with Function Symbols”, Proc. of nd 22 Italian Symposium on Advanced Database Systems (SEBD 2014), Sorrento Coast, Italy, June 16-18, 2014 6) M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna, “Checking Termination of Logic Programs with Function Symbols through Linear Constraints”, Proc. of the 8th International Symposium RuleML 2014, pp. 97-111, Prague, Czech Republic, August 18-20, 2014. 7) M. Calautti, S. Greco, I. Trubitsyna, “Detecting decidable classes of finitely ground logic programs with function symbols”, Proc. of the 15th Intern. Symp. on Principles and Practice of Declarative Programming (PPDP 2013), pp. 239-250, Madrid, Spain, September 16-18, 2013. Autorizzo il trattamento dei miei dati personali, ai sensi del D.lgs. 196 del 30 giugno 2003 24/02/2016 © Unione europea, 2002-2016 | http://europass.cedefop.europa.eu Pagina 5 / 5