Andrzej Wąsowski

Simple Univariate Regression with Grid Approximation in Probula

Mon, 08 Jun 2026 00:00:00 +0000

Grid approximation for Bayesian univariate linear regression in probula, a purely-functional Scala 3 inference library — and how to test probabilistic models and inference algorithms.

Sun, 24 May 2026 00:00:00 +0000

I research software quality: safety, privacy, testability, architecture, and development processes. I work with systems in concrete application domains: statistical data analysis (PyMC, Probula) and machine learning, robot software (ROS), safety-critical embedded and cyber-physical systems (urban water systems, digital twins), and operating system kernels (Linux). I work a lot with industrial partners and have a particularly warm spot in my heart for open source software and communities.

My goal is to help engineers build better systems and to diagnose where they fail. I study real systems to understand which quality problems can actually be addressed, and I design new technologies (modeling languages, code generators, analysis and verification tools) to address them, drawing on model-driven engineering, language design, testing, and static analysis. I am well trained in maths, and like my methods to be theoretically and methodologically well grounded. I am particularly interested in applications of probability theory and logics.

Sun, 24 May 2026 00:00:00 +0000

Invitation to industry collaborations

Sun, 24 May 2026 00:00:00 +0000

Theses and Projects

I supervise students mostly from Computer Science, Data Science, Software Development, and Software Design programs. If you seek a thesis project in software engineering for data science, machine learning, robotics, or open-source software, feel free to reach out by email. There is no need to write to multiple supervisors in SQUARE. It is better to write to one, and make it clear in the email that you are only writing to one. We coordinate among ourselves, and you will get more attention if we know you are not spamming.

Sun, 24 May 2026 00:00:00 +0000

Hints for For Prospective Research Students and Fellows

Name, Andrzej Wąsowski

Sun, 24 May 2026 00:00:00 +0000

What is this weird character? How to typeset my name?

New site, new domain, RSS feed

Sun, 24 May 2026 00:00:00 +0000

After 25 years on ITU-hosted infrastructure, this site moves to wasowski.dukla.ch — self-hosted, Hugo-built, statically served from Berlin via Caddy.

SCOPE — A Statechart Compiler

Thu, 13 May 2004 00:00:00 +0000

A statechart compiler for IAR visualSTATE models, built during my PhD (2002-2004). Archived.

fxp-mosml — a Moscow ML port of fxp

Wed, 14 Apr 2004 00:00:00 +0000

A Moscow ML port of the fxp validating XML parser for Standard ML. Archived.