Tue 27 Oct 2015 13:30 - 14:30 at Brighton 3 - Session 3

In this talk I will tell some stories from my career and try to draw some lessons for academics about making an impact.

I am a Professor, and Chair of the University of Central Florida’s Dept. of Electrical Engineering and Computer Science, Computer Science division.

Research Interests: Programming and specification language design and semantics, formal methods (program specification and verification), aspect-oriented languages, object-oriented languages, distributed languages, type theory, programming methodology, software engineering, information assurance, computer science education.

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:10
DS Invited Keynote Talk II: Lessons and Stories from My Career
Doctoral Symposium
Gary T. Leavens University of Central Florida
Privacy and Security Constraints for Code Contributions
Doctoral Symposium
A: Rodrigo Andrade Federal University of Pernambuco