Monica Marcus     Postdoctoral visiting scholar

University of California, San Diego
Department of Computer Science and Engineering
9500 Gilman Drive
La Jolla, CA 92093-0404
USA
Phone: 858-534-5913
Fax: 858-534-7029

Research interests

• verification of data-driven web applications
• term rewriting: confluence modulo equations
• temporal logic applied to formal verification of reactive systems

Curriculum Vitae PDF file
Teaching statement PDF file PostScript file
Research statement PDF file PostScript file