Research Interests
Formal methods in software development
Autonomic and reactive systems
Software measurement frameworks
Formalization of nonfunctional requirements in autonomic systems
Research Groups
Autonomic Computing (AC)
Natural Language Processing in Software Engineering (NLP-SE)
