Lars Kristensen
Professor at Western Norway University of Applied Sciences
Bergen, Vestland, Norway
Summary
👤
Senior🎓
Top SchoolLars Kristensen is a professor of software engineering with a PhD from Aarhus University and over a decade of academic leadership and applied research in concurrent systems, model-driven engineering, and dependable IoT/cloud platforms. He has led strategic ICT programmes, helped establish a PhD programme, and published 70+ peer-reviewed papers while contributing to widely used tools such as CPN Tools for Coloured Petri Nets. His career spans postdoctoral work on real-time avionics and military planning systems to industry-collaborative projects on protocol validation, sensor and mobile ad-hoc networks. Recognized with national research awards, he combines deep theoretical expertise in simulation, verification and model checking with practical impact on industrial automation and reliable distributed systems. An editor and conference steering-committee member, he brings rare breadth across formal methods, tool development, and applied systems engineering.
11 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Aarhus University
German, English, Danish, Norwegian
Github Skills (10)
netbeans9
javafx8
java8
python7
latex6
aws6
serverless5
tms3
jpa1
spring-boot1
Programming languages (4)
Github contributions (5)
dat100hib/dat100-prosjekt-gps-startkode
Sep 2019 - Sep 2024
Startkode for programmeringsprosjekt
Contributions:10 pushes, 1 branch in 5 years
dat100hib/dat100-prosjekt-gps-testing
Oct 2019 - Oct 2024
Contributions:2 PRs, 44 pushes, 1 comment in 5 years 1 month
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.