User:Jawid Ahmad Baktash/sandbox

Jawed Ahmad Baktash' was born in Kabul, Afghanistan, on April 15, 1989. Currently he is Ph.D.Student (Ryukyus University, Graduate School of Science and Engineering), Okinawa, Japan. In 2013 he received Master’s degree(Master of Computer Science),and was graduated from South Asian University New Delhi, India.As well as He was Graduated from Kabul University Faculty of Computer Science in 2010, Kabul, Afghanistan. His secondary education achievement was upon graduation from Mahmood Tarzi High School in 2006, Kabul, Afghanistan. Respectively,he was appointed as an Assistant Researcher, Ryukyus University, Graduate School of Science and Engineering since 2014, and some of his professional background is concisely described as below;

1.	2013, Lecturer at University of Salam And University of Khatam-ul-Nabeian (Computer Science Faculty, Kabul Afghanistan, Night shift 2.	2013, and 2014, IT manager , Asia Bank Project , Ministry of Public Works, 3.	IT Manager , American Small Grant Project (ASGP) , Kabul University , Computer Science Faculty, July 2013 4.	During undergraduate studies Director of ITDU (Information Technology Development Union) 2008-2011, Kabul University , Afghanistan, 5.	IT officer (WDAW- Welfare Development for Afghan Women) , Funded by United Nations Development Fund for Women(UNIFEM), During academic studies he was also involved in accreditation learning programs, whereas; he was certified from IBM, DB2 9 Database and Application fundamental, September 17/2012, Delhi, India, in addition was certified from Network CISCO Lab January 2013, Delhi India, and has completed four CISCO Network classes with CCNA, 2008-2011, Kabul, Afghanistan

His current research interests include NIC electronics, Papers: 1.	Formal Development of Electronic Identity Card System Using Event-B", Information Journal, Vol.17, No.9(B), pp.4677-4685, 2014/9, Jawid Ahmad BAKTASH and Tomokazu NAGATA 2.	Formal Implementation of Routing Information Protocol using Event-B", Information Journal, Vol.18, No.2, pp.705-718, 2015/2, Jawid Ahmad BAKTASH, Tadashi SHIROMA, Tomokazu NAGATA, Yuji TANIGUCHI, Morikazu NAKAMURA and Musal DAWODI 1.	Formal Development of Online Billing System Using Event-B, Jawid Ahmad BAKTASH*, Tomokazu NAGATA, Mursal DAWODI Baktash has also attended some of the relevant conferences and conventions.

1.	Modeling of Multisession concurrency control using Event-B, University of Ryukyus , Okinawa Japan, 2014 2.	Modeling of Electronic Identity Card System Using Event-B, Osaka, Japan, 2014 3.	Software Project Management, Hiroshima Japan, JICA Center 2014 4.	Dynamic And Static Routing, and Formal Implementation of Routing Information Protocol using Event-B, Heroshima , Japan 2014 5.	Cloud Computing, Software as a service , South Asian University, Delhi India 2012 6.	Intel Core i5, Processors Architecture,  Jawaharlal Nehru University (Department of Physics) 2012 7.	Logical Time in Message broadcasting, South Asian University, Delhi, India