About Us
We know how to torture data to make a full confession. We master various torture instruments: CNN, RNN, GNN, SVM, PCA, GradientBoosting Trees.
Selected Publications
View all →Services
Check conformance against safety standards (e.g. HACCP) from sensor data using Safety Cases, Goal Structuring Notation, and Model Checking.
Efficiently discover hierarchies of patterns in sequential data using Relational Concept Analysis.
Extract relevant information from CVs and job posts and match candidates to job posts using NLP and ML techniques.
Analyse retinal conditions — classify 20 conditions from eye fundus images with contrastive learning and CNNs, predict visual acuity evolution for AMD patients, and identify new biomarkers from OCT volumes.
Detect sunquakes with autoencoders and contrastive learning from acoustic egression-power maps of solar active regions (Solar Cycles 23 and 24).
Formally verify models with Model Checking.