H
Research Interests
Crystallization and Solubility Studies
Formal Methods in Verification
Logic, Programming, and Type Systems
Synthesis and Characterization of Novel Inorganic/organometallic Compounds
X-Ray Diffraction in Crystallography
Software Engineering Research
Advanced Software Engineering Methodologies
Logic, Reasoning, and Knowledge