Meenakshi D’ Souza did her Master’s in Mathematics from University of Madras, Chennai and her Ph. D. in Theoretical Computer Science from The Institute of Mathematical Sciences, Chennai. She joined the research department of Honeywell Technology Solutions, Bangalore soon after completing her Ph. D. and worked there in the areas of Formal Verification of Software Design, Model Based Development and Physical Access Control. Her research interests are in Formal Methods, Model Based Development, Automata Theory and Enterprise Security. She is also interested in Research and Technology Strategy and Intellectual Property Rights Management.