See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Jawid Ahmad Baktash

https://www.etis.ee/CV/Jawid_Ahmad_Baktash/est
15.04.1989
+93730207844
jawid.baktash1989@gmail.com
Jawid Ahmad Baktash received his B.Sc. and M.Sc. in Computer Science from Kabul University at 2010 and South Asian University at 2013 respectively. He received his PhD. from the University of the Ryukyus in 2017 on Interdisciplinary Intelligent Systems Engineeing. He authored/coauthored more than 10 refereed publications in leading conferences and journals in several fields including distributed systems, deep learning, cloud computing and computational intelligence. He served as research assistant in the University of Ryukyus during his PhD. and delivered various seminars and workshop on Formal method integration with software engineering models, Could-based dynamic routing and feedback evaluation with Event-B. He received Best Paper Award from International Institute of Engineering & Research and from International Conference on Recent Innovations in Engineering and Technology, Kyoto, Japan. He is currently an Assistant Professor at the department of software engineering, Faculty of Computer Science, Kabul University. Furthermore, he was academic and technical advisor to the Ministry of Higher Education, and currently he is DG of R&D, Innovation and Science, MCIT, Afghanistan.

Teenistuskäik

Töökohad ja ametid
2019–...   
Ministry of Communications and Information Technology, Muu (õppejõud) (40,00)
2017–2019   
Kabul University, Dotsent (24,00)
2015–2017   
University of the Ryukyu, Teadur (30,00)
 
 
Haridustee
2014–2017   
PhD at University of the Ryukyu, Japan
2011–2013   
MSc(CS) South Asian University, India
2006–2010   
BSc(CS) at Kabul University, Afghanistan
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2019−2019   
General Director, R&D-Innovation and Science at MCIT, Afghanistan
2017−2019   
Technical and Academic adviser, MoHE, Afghanistan
2017−2019   
Assistant Prof. at Faculty of Computer Science, Kabul University
2015−2017   
Research Assistant at University of the Ryukyu, Japan
2014−2015   
Teacher Assistant at University of the Ryukyu, Japan
 
 
Loometöö
Formal Development of Electronic Identity Card System Using Event-B
Formal Implementation of Routing Information Protocol Using Event-B
Cloud-based Dynamic Routing with Feedback in Formal Methods
Dynamic Routing Protocols Evaluation with the feedback of Event-B and Formal Method
Dynamic Routing Verification, Using Event-B
Denoising Autoencoder based wireless channel transfer function estimator for OFDM communication system
 
 
Lisainfo
Computer Skills
-------------------

• Security Skills (Software Security, Information Security Management)
• Client Operating Systems (Linux, Mac OSX, Microsoft Windows)
• Server Operating Systems (Debian, Ubuntu Server, Windows Server)
• Programming Languages (Java, C++, C#, Python, Linux Shell Scripting)
• Front-end Web (HTML, CSS, Java Script, Bootstrap)
• Back-end Web (PHP, MySQL, SQL Server, NoSQL (Neo4J, MongoDB))
• Cloud Computing (IAAS, PAAS, SAAS)
• Networking Skills (CCNA Certified, Switching, Routing, Software Defined Networking, Network Function Virtualization)
• Software Skills (Requirements Engineering, Software Design and Development, Software Testing and Monitoring)
• Artificial Intelligence Skill (Machine Learning (Deep Learning))
• Working with frameworks (Angular, Laravel, Codegniter)

Awards:
----------
• Best Paper Award in International Institute of Engineering & researchers proceeding of 37th international conference, Kyoto Japan, 22 June 2016
• Best Paper Award in ICRIET conference, June 2016, Kyoto, Japan
• JICA Ph.D. full Scholarship 2014-2017, Okinawa, Japan
• SAU M.Sc. full scholarship in computer science, 2011-2013, Delhi, India

Publikatsioonid

Klass
Aasta
Publikatsioon
 
1.2.
2019
Dawodi, Mursal; Wada, Tomohisa; Baktash, Jawid (2019). An Intelligent Recommender System Supporting Decision-Making on Academic Major. Information: An International Interdisciplinary Journal, 22 (3), 241−254.
3.1.
2019
Wada, Tomohisa; Toma, Takao; Dawodi, Mursal; Baktash, Jawid (2019). A Denoising Autoencoder based wireless channel transfer function estimator for OFDM communication system. 1st International Conference on Artificial Intelligence in Information and Communication (ICAIIC): February 11-13, 2019, Okinawa, Japan. IEEE, 530−533. DOI: 10.1109/ICAIIC.2019.8669044.
3.1.
2019
Hedayati, Mohammad Hadi; Baktash, Jawid Ahmad; Mohmand, Omer Salim (2019). Blockchain-based Digital-Voting: Effectiveness and Challenges in Afghanistan. INDIACom-2019, 6th International Conference on “Computing for Sustainable Global Development”: 13th - 15th March 2019, New Delhi (INDIA). IEEE, 1401−1404.
3.1.
2019
Dawodi, Mursal; Baktash, Jawid Ahmad; Wada, Tomohisa (2019). Data-Mining Opportunities in E-Government: Agriculture Sector of Afghanistan. 2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON): 17-19 Oct. 2019, Vancouver, Canada. IEEE, 477−481. DOI: 10.1109/IEMCON.2019.8936193.
3.1.
2019
Dawodi, Mursal; Hedayati, Muhammad Hadi; Baktash, Jawid Ahmad; Erfan, Abdul Latif (2019). Facebook MySQL Performance vs MySQL Performance. 2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON): 17-19 Oct. 2019, Vancouver, Canada. IEEE, 103−109. DOI: 10.1109/IEMCON.2019.8936259.
2.3.
2017
Baktash, Jawid Ahmad (2017). Study on Reliable Evaluation of Dynamic Routing Protocols and eID System Using Event-B and Formal Method. (Doktoritöö, University of the Ryukyu). Japan: 琉球大学.
1.2.
2016
Baktash, Jawid Ahmad; Dawodi, Mursal; Nazari, Zahra; Nagata, Tomokazu (2016). Consideration on Core Layer Dynamic Network and Server Refinement Using Event - B. International Journal of Emerging Technology and Advanced Engineering, 6 (8), 147−155.
1.2.
2016
Baktash, Jawid Ahmad; Dawodi, Mursal; Nagata, Tomokazu (2016). Cloud-Based Dynamic Routing With Feedback in Formal Methods. International Journal of Advance Computational Engineering and Networking, 4 (8), 17−20.
1.2.
2016
Dawodi, Mursal; Baktash, Jawid Ahmad; Nagata, Tomokazu (2016). Specific Kankor Management System for Afghanistan. Information: An International Interdisciplinary Journal, 19 (6A), 1885−1892.
1.2.
2016
Baktash, Jawid Ahmad; Nagata, Tomokazu; Dawodi, Mursal (2016). FORMAL DEVELOPMENT OF ONLINE SHOPPING SYSTEM USING EVENT-B. International Journal of Applied Engineering and Technology, 6 (2).
3.4.
2016
Baktash, Jawid Ahmad; Dawodi, Mursal; Nagata, Tomokazu; Samimi, Sayed Abdul Basir (2016). Dynamic Routing Protocols Evaluation with the feedback of Event-B and Formal Method. International Conference on Recent Innovations in Engineering and Technology, Kyoto, Japan, 86. IRAJ,.
1.2.
2015
Baktash, Jawid Ahmad; Shiroma, Tadashi; Nagata, Tomokazu; Taniguchi, Yuji; Nakamura, Morikazu (2015). Formal Implementation of Routing Information Protocol using Event-B. Information: An International Interdisciplinary Journal, 18 (2), 719−733.
1.2.
2015
Baktash, Jawid Ahmad; Shiroma, Tadashi; Nagata, Tomokazu; Taniguchi, Yuji; Nakamura, Morikazu (2015). Accessibility Assessment of Health Services in Kabul City, Using GIS. Information: An International Interdisciplinary Journal, 18 (11), 4643−4650.
1.2.
2014
Baktash, Jawid Ahmad; Nagata, Tomokazu (2014). Formal development of Electronic Identity Card System using event-B. Information: An International Interdisciplinary Journal, 17 (9), 4677−4685.
26.12.2019

Jawid Ahmad Baktash

https://www.etis.ee/CV/Jawid_Ahmad_Baktash/eng
15.04.1989
+93730207844
jawid.baktash1989@gmail.com
Jawid Ahmad Baktash received his B.Sc. and M.Sc. in Computer Science from Kabul University at 2010 and South Asian University at 2013 respectively. He received his PhD. from the University of the Ryukyus in 2017 on Interdisciplinary Intelligent Systems Engineeing. He authored/coauthored more than 10 refereed publications in leading conferences and journals in several fields including distributed systems, deep learning, cloud computing and computational intelligence. He served as research assistant in the University of Ryukyus during his PhD. and delivered various seminars and workshop on Formal method integration with software engineering models, Could-based dynamic routing and feedback evaluation with Event-B. He received Best Paper Award from International Institute of Engineering & Research and from International Conference on Recent Innovations in Engineering and Technology, Kyoto, Japan. He is currently an Assistant Professor at the department of software engineering, Faculty of Computer Science, Kabul University. Furthermore, he was academic and technical advisor to the Ministry of Higher Education, and currently he is DG of R&D, Innovation and Science, MCIT, Afghanistan.

Career

Institutions and positions
2019–...   
Ministry of Communications and Information Technology, DG, R&D Innovation and Science (40,00)
2017–2019   
Kabul University, Associate Professor (24,00)
2015–2017   
University of the Ryukyu, Post-Doc Researcher (30,00)
 
 
Education
2014–2017   
PhD at University of the Ryukyu, Japan
2011–2013   
MSc(CS) South Asian University, India
2006–2010   
BSc(CS) at Kabul University, Afghanistan
 
 
R&D related managerial and administrative work
2019−2019   
General Director, R&D-Innovation and Science at MCIT, Afghanistan
2017−2019   
Technical and Academic adviser, MoHE, Afghanistan
2017−2019   
Assistant Prof. at Faculty of Computer Science, Kabul University
2015−2017   
Research Assistant at University of the Ryukyu, Japan
2014−2015   
Teacher Assistant at University of the Ryukyu, Japan
 
 
Creative work
Formal Development of Electronic Identity Card System Using Event-B
Formal Implementation of Routing Information Protocol Using Event-B
Cloud-based Dynamic Routing with Feedback in Formal Methods
Dynamic Routing Protocols Evaluation with the feedback of Event-B and Formal Method
Dynamic Routing Verification, Using Event-B
Denoising Autoencoder based wireless channel transfer function estimator for OFDM communication system
 
 
Additional information
Computer Skills
-------------------

• Security Skills (Software Security, Information Security Management)
• Client Operating Systems (Linux, Mac OSX, Microsoft Windows)
• Server Operating Systems (Debian, Ubuntu Server, Windows Server)
• Programming Languages (Java, C++, C#, Python, Linux Shell Scripting)
• Front-end Web (HTML, CSS, Java Script, Bootstrap)
• Back-end Web (PHP, MySQL, SQL Server, NoSQL (Neo4J, MongoDB))
• Cloud Computing (IAAS, PAAS, SAAS)
• Networking Skills (CCNA Certified, Switching, Routing, Software Defined Networking, Network Function Virtualization)
• Software Skills (Requirements Engineering, Software Design and Development, Software Testing and Monitoring)
• Artificial Intelligence Skill (Machine Learning (Deep Learning))
• Working with frameworks (Angular, Laravel, Codegniter)

Awards:
----------
• Best Paper Award in International Institute of Engineering & researchers proceeding of 37th international conference, Kyoto Japan, 22 June 2016
• Best Paper Award in ICRIET conference, June 2016, Kyoto, Japan
• JICA Ph.D. full Scholarship 2014-2017, Okinawa, Japan
• SAU M.Sc. full scholarship in computer science, 2011-2013, Delhi, India

Publications

Category
Year
Publication
 
1.2.
2019
Dawodi, Mursal; Wada, Tomohisa; Baktash, Jawid (2019). An Intelligent Recommender System Supporting Decision-Making on Academic Major. Information: An International Interdisciplinary Journal, 22 (3), 241−254.
3.1.
2019
Wada, Tomohisa; Toma, Takao; Dawodi, Mursal; Baktash, Jawid (2019). A Denoising Autoencoder based wireless channel transfer function estimator for OFDM communication system. 1st International Conference on Artificial Intelligence in Information and Communication (ICAIIC): February 11-13, 2019, Okinawa, Japan. IEEE, 530−533. DOI: 10.1109/ICAIIC.2019.8669044.
3.1.
2019
Hedayati, Mohammad Hadi; Baktash, Jawid Ahmad; Mohmand, Omer Salim (2019). Blockchain-based Digital-Voting: Effectiveness and Challenges in Afghanistan. INDIACom-2019, 6th International Conference on “Computing for Sustainable Global Development”: 13th - 15th March 2019, New Delhi (INDIA). IEEE, 1401−1404.
3.1.
2019
Dawodi, Mursal; Baktash, Jawid Ahmad; Wada, Tomohisa (2019). Data-Mining Opportunities in E-Government: Agriculture Sector of Afghanistan. 2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON): 17-19 Oct. 2019, Vancouver, Canada. IEEE, 477−481. DOI: 10.1109/IEMCON.2019.8936193.
3.1.
2019
Dawodi, Mursal; Hedayati, Muhammad Hadi; Baktash, Jawid Ahmad; Erfan, Abdul Latif (2019). Facebook MySQL Performance vs MySQL Performance. 2019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON): 17-19 Oct. 2019, Vancouver, Canada. IEEE, 103−109. DOI: 10.1109/IEMCON.2019.8936259.
2.3.
2017
Baktash, Jawid Ahmad (2017). Study on Reliable Evaluation of Dynamic Routing Protocols and eID System Using Event-B and Formal Method. (Doktoritöö, University of the Ryukyu). Japan: 琉球大学.
1.2.
2016
Baktash, Jawid Ahmad; Dawodi, Mursal; Nazari, Zahra; Nagata, Tomokazu (2016). Consideration on Core Layer Dynamic Network and Server Refinement Using Event - B. International Journal of Emerging Technology and Advanced Engineering, 6 (8), 147−155.
1.2.
2016
Baktash, Jawid Ahmad; Dawodi, Mursal; Nagata, Tomokazu (2016). Cloud-Based Dynamic Routing With Feedback in Formal Methods. International Journal of Advance Computational Engineering and Networking, 4 (8), 17−20.
1.2.
2016
Dawodi, Mursal; Baktash, Jawid Ahmad; Nagata, Tomokazu (2016). Specific Kankor Management System for Afghanistan. Information: An International Interdisciplinary Journal, 19 (6A), 1885−1892.
1.2.
2016
Baktash, Jawid Ahmad; Nagata, Tomokazu; Dawodi, Mursal (2016). FORMAL DEVELOPMENT OF ONLINE SHOPPING SYSTEM USING EVENT-B. International Journal of Applied Engineering and Technology, 6 (2).
3.4.
2016
Baktash, Jawid Ahmad; Dawodi, Mursal; Nagata, Tomokazu; Samimi, Sayed Abdul Basir (2016). Dynamic Routing Protocols Evaluation with the feedback of Event-B and Formal Method. International Conference on Recent Innovations in Engineering and Technology, Kyoto, Japan, 86. IRAJ,.
1.2.
2015
Baktash, Jawid Ahmad; Shiroma, Tadashi; Nagata, Tomokazu; Taniguchi, Yuji; Nakamura, Morikazu (2015). Formal Implementation of Routing Information Protocol using Event-B. Information: An International Interdisciplinary Journal, 18 (2), 719−733.
1.2.
2015
Baktash, Jawid Ahmad; Shiroma, Tadashi; Nagata, Tomokazu; Taniguchi, Yuji; Nakamura, Morikazu (2015). Accessibility Assessment of Health Services in Kabul City, Using GIS. Information: An International Interdisciplinary Journal, 18 (11), 4643−4650.
1.2.
2014
Baktash, Jawid Ahmad; Nagata, Tomokazu (2014). Formal development of Electronic Identity Card System using event-B. Information: An International Interdisciplinary Journal, 17 (9), 4677−4685.
26.12.2019

Otsi publikatsiooni

  • {{item.Name}}
 kuni 
Algus
Hajus
Täpne
Lihtotsing Tühjenda
  • Leitud 14 kirjet
PublikatsioonAutoridAastaVäljaande pealkiriKlassifikaatorFailAsutused
An Intelligent Recommender System Supporting Decision-Making on Academic MajorDawodi, Mursal; Wada, Tomohisa; Baktash, Jawid2019Information: An International Interdisciplinary Journal1.2.
A Denoising Autoencoder based wireless channel transfer function estimator for OFDM communication systemWada, Tomohisa; Toma, Takao; Dawodi, Mursal; Baktash, Jawid20191st International Conference on Artificial Intelligence in Information and Communication (ICAIIC)3.1.
Blockchain-based Digital-Voting: Effectiveness and Challenges in AfghanistanHedayati, Mohammad Hadi; Baktash, Jawid Ahmad; Mohmand, Omer Salim 2019INDIACom-2019, 6th International Conference on “Computing for Sustainable Global Development”3.1.
Data-Mining Opportunities in E-Government: Agriculture Sector of AfghanistanDawodi, Mursal; Baktash, Jawid Ahmad; Wada, Tomohisa20192019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON)3.1.
Facebook MySQL Performance vs MySQL PerformanceDawodi, Mursal; Hedayati, Muhammad Hadi; Baktash, Jawid Ahmad; Erfan, Abdul Latif20192019 IEEE 10th Annual Information Technology, Electronics and Mobile Communication Conference (IEMCON)3.1.
Study on Reliable Evaluation of Dynamic Routing Protocols and eID System Using Event-B and Formal MethodBaktash, Jawid Ahmad20172.3.
Cloud-Based Dynamic Routing With Feedback in Formal MethodsBaktash, Jawid Ahmad; Dawodi, Mursal; Nagata, Tomokazu2016International Journal of Advance Computational Engineering and Networking1.2.
Consideration on Core Layer Dynamic Network and Server Refinement Using Event - BBaktash, Jawid Ahmad; Dawodi, Mursal; Nazari, Zahra; Nagata, Tomokazu2016International Journal of Emerging Technology and Advanced Engineering1.2.
FORMAL DEVELOPMENT OF ONLINE SHOPPING SYSTEM USING EVENT-BBaktash, Jawid Ahmad; Nagata, Tomokazu; Dawodi, Mursal2016International Journal of Applied Engineering and Technology1.2.
Specific Kankor Management System for AfghanistanDawodi, Mursal; Baktash, Jawid Ahmad; Nagata, Tomokazu2016Information: An International Interdisciplinary Journal1.2.
Dynamic Routing Protocols Evaluation with the feedback of Event-B and Formal MethodBaktash, Jawid Ahmad; Dawodi, Mursal; Nagata, Tomokazu; Samimi, Sayed Abdul Basir2016International Conference on Recent Innovations in Engineering and Technology, Kyoto, Japan3.4.
Accessibility Assessment of Health Services in Kabul City, Using GISBaktash, Jawid Ahmad; Shiroma, Tadashi; Nagata, Tomokazu; Taniguchi, Yuji; Nakamura, Morikazu2015Information: An International Interdisciplinary Journal1.2.
Formal Implementation of Routing Information Protocol using Event-BBaktash, Jawid Ahmad; Shiroma, Tadashi; Nagata, Tomokazu; Taniguchi, Yuji; Nakamura, Morikazu2015Information: An International Interdisciplinary Journal1.2.
Formal development of Electronic Identity Card System using event-BBaktash, Jawid Ahmad; Nagata, Tomokazu2014Information: An International Interdisciplinary Journal1.2.