Welcome to My Blog

Here you will find articles I have written on topics that interest me, from technology and privacy issues to soccer and motorcycles.

For insight into who I am, my journey, and my interests, feel free to visit my about page.

Is Software Engineering Real Engineering?

The debate over whether Software Engineering qualifies as a legitimate engineering discipline has been a persistent point of contention since the 1960s. Software Engineering degree programs have only begun being offered by universities within the last two decades. To unravel the question of whether Software Engineering is indeed a branch of engineering, we must first establish a clear definition of engineering and assess whether the characteristics associated with traditional engineering disciplines apply to Software Engineering. ...

February 3, 2024 · 7 min

Spin: Reducing State Space

Verification is a paramount and formidable challenge in software engineering. Moreover, it serves as a pivotal process that distinguishes software engineering from mere software development. Spin is a popular open-source software verification tool that has seen continuous research and development since its inception at Bell Labs in 1980.1 Under the hood, Spin is an explicit-state model checker, meaning it exhaustively searches the entire state space of a model. ...

January 18, 2024 · 13 min
A small, 40% ortholinear keyboard. OLBK Planck with NovelKeys KAM Superuser keycaps.

Keyboard Minimalism

...

December 13, 2023 · 14 min