Marius Mikučionis
Lecturer at Aalborg University
North Denmark Region, Denmark
Summary
👤
Senior🎓
Top SchoolMarius Mikučionis is a lecturer and research software engineer at Aalborg University with 16 years of experience applying formal methods to real-time and embedded systems. He specializes in model-based testing, model-checking, verification and validation of timed and hybrid systems, and is a hands-on developer in C++ and Java who integrates open-source tooling into research workflows. His career spans roles from PhD research through postdoc and research fellow positions, giving him deep domain expertise in timed automata and practical testing of deployed systems. He teaches advanced C++ programming topics while continuing to support research projects that bridge theoretical verification techniques with pragmatic embedded-software testing. Notably, he combines rigorous academic training with day-to-day engineering, making formal verification usable in real-world development and monitoring contexts.
16 years of coding experience
5 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at Aalborg UniversityBSc, Software Engineering, BSc, Software Engineering at Vilnius UniversityVilniaus Licėjus
Lithuanian, English, Russian, Danish
Github Skills (42)
animation9
reddit9
fastled9
arduino8
gal7
detector6
wifi5
cpp5
rates5
exploit5
shell-extension5
scripting4
gnome-shell4
exchange4
scripting-language4
Programming languages (3)
Github contributions (5)
pubcoder/WebTV
Feb 2010 - Apr 2014
Contributions:24 commits in 4 years 2 months
pubcoder/Nautilus-Status-Bar-Replacement
Oct 2015 - Oct 2015
Contributions:1 push in 1 day
pythonpython-extensiondiskstatusstatus-bar
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.