Dr. Miodrag Đukić

Dr. Miodrag Đukić is a teacher, a computer engineer, a researcher, and a programming enthusiast. He is a professor at the University of Novi Sad, where for the last 20 years he has been teaching programming, embedded programming, and compiler design. For several years now he has been an instructor at NIT Academy, where he regularly gives courses on C++ to eager engineers in the vibrant Novi Sad programming community. Miodrag also has significant industrial experience in the development of compilers, assemblers, linkers, and other tools for embedded processors. He has published more than 50 papers and holds 5 patents.

References

Miodrag M. Djukic, Miroslav V. Popovic, Yuqing Li. “Formal Verification of a Generic Algorithm for Universal TDM Communication Using UPPAAL”. In: 2026 International Symposium on Aerospace Information and Industry Bilateral Innovation (ISA3I2026) (SAE Technical Paper Series), SAE International, 2026, Vol. 1, Article 2026-99-2986. DOI: 10.4271/2026-99-2986.
Miroslav V. Popovic, Pavle Vasiljevic, Marko Popović, Miodrag M. Djukic, David Vázquez Enríquez, Giovanni Granato, Borja Lecue Cires. “A generic algorithm for universal TDM communication over inter-satellite links: Foundations, verification, and practice”. Array, 2026, Vol. 30, pp. 100966. DOI: 10.1016/j.array.2026.100966.
Miroslav V. Popovic, Marko Popović, Pavle Vasiljevic, Miodrag M. Djukic. “Formal Verification of a Generic Algorithm for TDM Communication Over Inter Satellite Links”. In: 2025 33rd Telecommunications Forum (TELFOR), IEEE, 2025, pp. 1-4. DOI: 10.1109/telfor67910.2025.11314273.
Miroslav V. Popovic, Marko Popović, Miodrag M. Djukic, Ilija V. Basicevic. “Translating Federated Learning Algorithms in Python into CSP Processes Using ChatGPT”. In: 2025 MIPRO 48th ICT and Electronics Convention, IEEE, 2025, pp. 18-23. DOI: 10.1109/mipro65660.2025.11131995.
Miodrag M. Djukic, Ivan Prokić, Miroslav V. Popovic, Silvia Ghilezan, Marko Popović, Simona Prokić. “Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT”. International Journal on Software Tools for Technology Transfer, 2025, Vol. 27, No. 1, pp. 21-34. DOI: 10.1007/s10009-025-00795-0.
Miroslav V. Popovic, Marko Popović, Miodrag M. Djukic, Ilija V. Basicevic. “Towards Formal Verification of Federated Learning Orchestration Protocols on Satellites”. In: 2024 32nd Telecommunications Forum (TELFOR), IEEE, 2024, pp. 1-4. DOI: 10.1109/telfor63250.2024.10819039.
Miroslav V. Popovic, Marko Popović, Ivan Kaštelan, Miodrag M. Djukic, Ilija V. Basicevic, Pavle Vasiljevic. “MicroPython Testbed for Federated Learning Algorithms”. In: 2024 32nd Telecommunications Forum (TELFOR), IEEE, 2024, pp. 1-4. DOI: 10.1109/telfor63250.2024.10819071.
Nemanja Trifunovic, Miodrag M. Djukic. “Data Channel API: Middleware for Big Data Streaming in Automotive”. In: 2024 Zooming Innovation in Consumer Technologies Conference (ZINC), IEEE, 2024, pp. 169-172. DOI: 10.1109/zinc61849.2024.10579387.