My Research Interests
I'm Interested in computer science branches, specifically Formal Methods, and Formal Specification Using Z Specification Language.
 |
Formal Specification Using Z |
|
Refinement and Code generation from Formal Specification |
|
Programming Languages, such as C, C++, VB |
|
Database, Operating System, and Distributed Systems |
|
Software Architecture |
Last Updated: November, 2007