Ricercatore Universitario – Dipartimento di Informatica | Tel.: 050 2213149 – Email: antonio.cisternino@unipi.it<\/p>\n","protected":false},"template":"","meta":{"unipi-persone-chiave":"4868","unipi-persone-nome":"Antonio","unipi-persone-cognome":"Cisternino","unipi-persone-email":"antonio.cisternino@unipi.it","unipi-persone-cv":"Position
\r\n
\r\n(May 2006) Assistant Professor at Dipartimento di Informatica, University of Pisa.
\r\n(March 2003-April 2006) Research fellow at Dipartimento di Informatica, University of Pisa.
\r\n(January 2000-May 2003) PhD student at Dipartimento di Informatica, University of Pisa.
\r\n(October 2001-December 2001) Internship position at Microsoft Research laboratory in Cambridge (UK). He collaborated with Andrew Kennedy e Don Syme, within \u201cProgramming Principles and Tools\u201d research group, headed by Luca Cardelli.
\r\n
\r\nResearch Activities
\r\n
\r\nResearch interests focus on programming languages, domain specific languages (DSLs) meta-programming and runtime code generation systems based on bytecode manipulation. Recently he devised on a methodology for measuring software complexity using an ammeter. He contributed to develop many software and frameworks. He is author of Robotics4.NET, a framework for programming robots; VSLab an F# addin to extend Microsoft Visual Studio with interactive graphical interaction similar to MatLab; AnimeJ, a generalized timer for Javascript now part of DojoFX framework. He co-authored \u201cExpert F#\u201d, \u201cExpert F# 2.0\u201d and \u201cExpert F# 3.0\u201d, books about the new F# programming language, with Don Syme (language author) and Adam Granicz, edited by APress. He is and has been involved in several national and European research projects, and He has been awarded with three grants by Microsoft Research Cambridge. He has been in several program committees, in 2007 LCSD\u201907 and CEC\u201907. He has been chair of Tutorials of ECOOP 2009. He
\r\ncontributed to review several papers for international conferences and journals such as POPL, TOPLAS, SPE, and JOT. Information about publications is available at http:\/\/rotor.di.unipi.it\/cisterni\/Lists\/Publications\/GroupByVenue.aspx.
\r\n
\r\nTeaching Activities
\r\n
\r\nHe is teaching the course of Graphic interfaces programming, a mandatory course for MSc in Computer Science, since 2006. He also taught Application Oriented Laboratory and Advanced Programming in the MSc course in Computer Science. He has given courses to PhD students on runtime execution environments and F# at Pisa University and ITU University in Copenhagen. He is teaching the course of \u201cScientific Programming\u201d at Scuola Normale Superiore.","unipi-persone-link-esterno-cv":"","unipi-persone-modalita-ricevimento":"In alternativa su appuntamento.","unipi-persone-luogo-ricevimento":"Ufficio, Dipartimento di Informatica","unipi-persone-ore-ricevimento":"Gioved\u00ec ore 17-18","unipi-persone-telefono":"050 2213149","unipi-persone-sitoweb":"http:\/\/www.di.unipi.it\/~cisterni","unipi-persone-cariche":"