Pub Coder
Summary
👤
SeniorMarius 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
Github Skills (29)
teensy10
fastled9
arduino9
embedded8
esp328
reddit8
animation8
gal7
wifi5
cpp5
exploit5
detector5
gnome-shell4
cpu-usage4
statusbar4
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.