INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

October 2015
M T W T F S S
« Sep   Nov »
 1234
567891011
12131415161718
19202122232425
262728293031  

 
  • Technical visit of Prof. Giovanny Lucero from UFS to the Stevens Institute of Technology

    (0)
    Publicado em October 15th, 2015Uncategorized

    Prof. Giovanny Lucero Palma from UFS is going to visit the Prof. David Naumann at the Stevens Institute of Technology, in New Jersey, USA, from 16/11/2015 to 20/11/2015.

    The visit is part of a longstanding collaboration with Professor Augusto Sampaio, my PhD supervisor, and Prof Naumann, on formal methods in software engineering. Prof. Naumman also supervised me in my sandwich doctorate during Spring 2013 when  we completed a collaborative research paper that was published in the APLAS conference.

    During the upcoming visit we will continue that project with the goal of completing a paper we plan to submit to the Journal of Theoretical Computer Science.