JSA Research & Innovation

Privacy-leak detector for Java

I can provide a automated detection of privacy-leaks in Java classes using a custom static analysis tool.

Pronunciation-aware dictionary look-up

Algorithms for pronunciation-aware searches in dictionaries and other databases.

Software for finding wave-induced cracks

I have an application for finding wave-induced cracks in video inspections of sub-sea structures available for interested customers.

Case statements in Ada

A short screencast introducing the viewers to some of the benefits of how case statements work in Ada, and how the static coverage checking in the compiler helps preventing errors. The presentation includes some Ada 2012 features and also gives a basic introduction of subtypes (subsets). (Alternative version.)

Command-line driver generator

An Open Source tool for generating command-line interfaces to Ada packages.
The declarations of subprograms in the public part of an Ada package specification can be seen as a declaration of how you are supposed to call the features implemented in the package. This tool translates an Ada package specification into ready-to-compile command-line interface for the package.

Sound recording and playback for Ada

An Open Source sound library for Ada providing recording and playback support.

POSIX in Ada

An appendix to the book Understanding Unix/Linux Programming making it Ada-based instead of C-based.

HTTP redirector

Are you tired of having all kinds of people tracking which links you click, and which pages you visit on the web? My HTTP redirector attempts to solve this problem by providing you with a local, non-logging replacement for some of the trackers out there. The tool is Open Source and written in Ada.

POSIX file descriptors as Ada streams

An Open Source Ada package wrapping a POSIX file descriptor (as declared in the POSIX.IO package from the POSIX Ada API) as an Ada stream. This allows you to stream Ada objects to/from any kind of file opened with the POSIX Ada API using just the standard stream attributes of Ada.

Mathematical modelling

Mathematical models designed to solve problems for your business.

Software development

Software development on a consultancy basis. I can provide time estimates and hourly rates, or fixed-price quotes depending on your needs. I have experience in a large variety of programming languages, among others: Ada, C, C++, Python, Oracle PL/SQL, Pascal, SPARK and Fortran.

Review of coding standards

Coding standards can benefit from a critical review from an experienced software developer. I provide reviews and constructive comments for coding standards for Ada source text.

Source code review

I can provide critical source text reviews, either during development or as an independent review of a final product before delivery/acceptance.

Contract-based programming in Ada 2012

A course introducing the participants to contract-based programming in Ada 2012, and giving them some basic rules for using the features of Ada 2012 in a consistent and efficient manner. This course has previously been given as a tutorial at the Ada-Europe conferences in 2014 and 2015.

Ada as a Second Language

A course introducing experienced programmers to The Ada Way.

Software innovations

New business use of existing software technology, and development of new programming techniques.

Data analysis and processing

Analysis of and data processing for biological experiments.

AdaCore Tech Days Paris

I'm on my way to AdaCore Tech Days in Paris tomorrow. While I look forward to hear about product updates, the chance to meet up with AdaCore staff is my primary reason for going.

FOSDEM 2018

I've just gotten word that FOSDEM 2018 will include an Ada DevRoom. The exact programme for the DevRoom will be prepared in the coming weeks.

Ada-Europe 2018

Next year's Ada-Europe conference on reliable software systems will take place in Lisbon, Portugal. The submission deadline is 22 January 2018.

Slides from my presentation at Ada-Europe 2017 today

I gave a presentation at Ada-Europe 2017 – 22^nd International Conference on Reliable Software Technologies in Vienna about introducing static analysis to a mature software project. I expect to submit a paper to Ada User Journal on the same topic, but including some of the feedback I got at the conference.

Presenting at Ada-Europe 2017 this week

On Wednesday I will give a presentation on introducing static analysis to a mature software project. Mature software projects are likely to contain source text, which violates rules checked by a tool introduced later in the development process. Sometimes this will be because of limitations of the tool. In other cases, it can be regular errors or just bad style compared to the project ambitions. Whatever the reasons, if can be infeasible to resolve all the newly identified issues immediately, so we need a strategy to handle that. My presentation will introduce one such strategy.
It is still possible to register for the conference. Registration just for Wednesday costs 200 EUR.

Submission deadline for Ada-Europe 2017 extended to 22 January

The submission deadline for Ada-Europe 2017 in Vienna has been moved to 22 January. As industrial chair for the conference, I seek presentations which deliver value and insight on industrial use of Ada and reliable software technologies in general. Industrial presentations are submited as one-page extended abstracts. Feel free to contact me, if you have any questions regarding this.

POSIX in Ada

A course introducing the participants to systems programming in Ada using the POSIX Ada API. An extended version of this course has previously been given as a part of the software engineering education at DMU-Syd.

Interview (in Danish)

I recently gave an interview to the journal of the Danish academics' union about being an academic and running your own company. I don't reveal any big secrets to success, but the photos from the Medical Museion in Copenhagen are nice.

Ada 2012 Contracts in Practice

The Ada-Europe 2016 organizers have accepted my tutorial on Ada 2012 contracts in practics as a part of the programme for this year's international conference on reliable software technologies.

Ada Developers' Room at FOSDEM 2016

The Ada DevRoom at FOSDEM has been a big success. We will need a bigger room next year. The slides from the presentations can be found on the Ada-Belgium website.