Nina Amla

I graduated in May 2001 and my email address is namlaATcadence.com

Research Interests

• Formal Verification
• Visual Specification Methods
• Testing

My thanks to Allen Emerson and UTCS for hosting this page.