Formal Methods @ UCF

José Sánchez

My research topic is "Modular Reasoning for Implicit Invocation and Aspect Oriented Languages" and it is part of an existing project named "Balancing Expressiveness and Modular Reasoning for Aspect-Oriented Programming". The main focus of my research project is to extend and enhance some modular specification and verification features currently available for implicit invocation systems (like the ones in Ptolemy language) and apply similar features to aspect oriented languages (namely AspectJ).

View My Website