INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

September 2017
M T W T F S S
« Nov    
 123
45678910
11121314151617
18192021222324
252627282930  

 
  • 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.

Leave a Reply

You must be logged in to post a comment.