Andrzej Wasowski
Professor Of Software Engineering at IT University of Copenhagen
Copenhagen, Capital Region of Denmark
Summary
👤
Senior🎓
Top SchoolAndrzej Wasowski is a Professor of Software Engineering at the IT University of Copenhagen with over a decade of experience researching modeling and analysis techniques for complex software systems. He combines foundational theory—semantics, logics, and probability—with pragmatic tool-building and empirical studies to advance structural, variability, real-time and probabilistic modeling across stepwise refinement and component-based development. Equally at home with abstract formalization and hands-on industrial collaboration, he frequently translates concrete engineering problems into generalizable theoretical contributions for the TCS community. Based in Copenhagen, his background spans an MScEng from Warsaw University of Technology, a PhD and postdoc at ITU, and a penchant for intensive cross-disciplinary partnerships that drive both innovation and practical impact.
11 years of coding experience
MSc Eng, MSc Eng at Warsaw University of Technologypost-doc., post-doc. at IT-Universitetet i KøbenhavnPhd, Phd at IT University of Copenhagen
English, Polish, Danish, Russian
Stackoverflow
654reputation
33kreached
8answers
8questions
Github Skills (126)
journal10
robotics9
api9
autocomplete9
lua9
ros9
lists9
robot9
neovim9
nvim8
operating-system8
vim8
vim-plugin8
testing8
docker8
Programming languages (17)
Github contributions (5)
itu-square/symsim
Feb 2021 - Mar 2024
SQUARE Symsim is a test-bed for implementing reinforcement learning algorithms, formalizing their correctness properties, and testing them. It is implemented in Scala 3, in purely functional style, and uses property-based testing.
Contributions:73 reviews, 101 PRs, 272 pushes in 3 years 1 month
property-based-testingbedreinforcement-learning-algorithmstestingreinforcement-learning
itu-square/padlock
Dec 2020 - Jan 2023
Contributions:12 pushes, 2 branches in 2 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.