INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

January 2018
M T W T F S S
« Nov    
1234567
891011121314
15161718192021
22232425262728
293031  

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