His current research interests include research interests include Formal Methods, Software Engineering and Tools for E-Learning. He currently serves as Academic Director of Computing Engineering .