Anouncements

Received MS in CSci from UPenn.

Current Project

Finding an applied research position involving model based design.

Research interests

• Operators and semantics of formal design languages
• Practicality of formal system design
• Hidden formal methods in specialized system design