Activity:Learn Lua, Physical Meaning of Data, Social Meaning of Data, Study Formal methods for system specification, Study Lambda Calculus, Study RESEARCH AND DEVELOPMENT PROJECT MANAGEMENT