Research topics

Completed

Master’s

• An application for formal assessment and comparison of ontology visualizations
• A library for ontology learning based on unsupervised automated machine learning
• Automation of machine learning pipeline design based on the ontological approach
• A method for optimizing the number of clusters for the k-means algorithm based on Bayesian optimization
• A method for neural architect search for clustering problems
• An application for semantic-oriented visualization of ontologies based on the Logic Graphs language
• An application for extracting requirements bases from industry standards and classifiers

PhD

• The method of diagrammatic verification of ontologies based on ALC description logic

In progress

Master’s

• Recognizing game events with computer vision
• Recognizing plant deseases with computer vision

PhD

• Methods for knowledge base extraction from normative documents
• Methods for knowledge graphs and semantic narrative extraction from images

Open for research

Gray-Box clustering project at ITMO University:

• Entropy adjustment as a metaheuristic for balanced clustering
• OPIC: objective prior information criterion for centroid clustering hyperparameter selection
• Methods for non-centroid clustering automation

AutoKE project at ITMO University:

• Information-theoretic measures for ontology evaluation
• Methods for controlable reasoning

Project with NormaCS:

• A method for automating the semantic annotation of building codes
• Reasoning algorithms for building models compliance checking
• Visualization of semantic requirements for building models

Argumentation project with SPBU:

• A method of ontology extraction for dispute resolution

Logic Graphs project at ITMO University:

• A method of diagrammatic verification of ontologies based on SHIF description logic

Project at ITMO University:

• A method for logical federated decision tree learning
• A method for game-theoretic decision tree regularization
• A method of knowledge exchange for knowledge bases based on epistemic logic

Project with ORKG:

• A method for automating the semantic annotation of research papers
• Automation of machine learning pipeline design based on an ontological model of meta-learning