==== Past Research Topics ==== A description of some of our past research topics. === Visual Event Grammars === In this project, we proposed a new simple formal method, which combines various features such as modularity, code generation and automatic verification, to give a scalable notation to specify, design, validate and verify GUIs. Our approach, called Visual Event Grammars (VEG) is based on decomposing the specification of a large GUI into communicating automata. Breaking a complex scene down into communicating pieces may dramatically diminish the number of states, as shown by popular notations such as Statecharts. {{page>affine}} {{page>net}} {{page>algebraic}} {{page>twodlang}} {{page>consensual}} {{page>trace}} {{page>micro}} {{page>kaffevliw}} {{page>rcp}}