Master's projects at ITMO University Daniil Chivilikhin PhD Student @ ITMO University
General information Guidance from our lab's researchers Publishable results 2
Research areas Research at ITMO Evolutionary algorithms Bioinformatics Programming technologies Machine learning 3
Research areas Research at ITMO Evolutionary algorithms Programming technologies Strongest areas Publications in top conferences in the field (GECCO, CEC, PPSN,...) 4
Research areas Research at ITMO Evolutionary algorithms Bioinformatics Programming technologies Machine learning 5
Evolutionary algorithms Solve hard optimization problems Based on principles of natural evolution Fitness Selection Recombination... 6
EAs: basics Define solution representation, or individual e.g., bit string: 1101010 Define a fitness function e.g. number of ones Mutation operator random solution modifications e.g. 101011 100011 7
Research topics in EAs Theory: Algorithm time complexity proofs Prove that algorithm A solves problem B in O(nlogn) Automated test generation Given a program, generate tests (coverage, efficiency) 9
Research topics in EAs EAs + Reinforcement learning Multi-objectivization in EAs 10
Example theses Multi-objectivization in Artificial Immune Systems Auxiliary fitness function selection using fitness landscapes Theoretical complexity analysis of Jump-K problem 11
Research areas Research at ITMO Evolutionary algorithms Bioinformatics Programming technologies Machine learning 12
Programming technologies Every programmer's dream: automated programming In logic control programs we automate Design Testing Verification Using Search-Based Software Engineering 13
Search-based software engineering Translate problems in Software engineering to optimization problems Use EAs or related techniques 14
Example: reverse engineering IEC-61499 function blocks IEC-61499 is a standard in industrial automation A base element is a function block Joint work with Aalto University 16
Elementary function block 17
Recording tests 18
Example: reliable software Systems with high cost of failure Energetics Aerospace We want to have reliable software Testing is not enough Verification is needed 19
Example: reliable software Requirements Requirements Programming Automated inference, testing and verification inside Testing Verification Correct program Correct program 20
Example theses Finite-state machine construction from tests with continuous and discrete output actions (airplane) Finite-state machine construction from tests using CSP-solvers 21
Research areas Research at ITMO Evolutionary algorithms Bioinformatics Programming technologies Machine learning 22
Machine learning Design algorithms that can learn from data Problems Classification Clustering... Applications Pattern recognition Data mining Web search Image from: http://openclassroom.stanford.edu 23
Classification N objects x1...xn Each object xi = (f1...fn) C classes Determine class of each object
Machine learning Approaches Artificial neural networks Support vector machines Decision tree learning Bayesian networks Reinforcement learning... 25
Research topics Feature selection When the number of features is large, which ones are most important? Learning Bayesian networks global structure Data mining in social media 26
Research areas Research at ITMO Evolutionary algorithms Bioinformatics Programming technologies Machine learning 27
Bioinformatics Using computer science to study biological data 28
Research areas Genome sequencing data analysis Expression data analysis Integrating different types of biological data 29
Expression data analysis Gene expression profile Measure of each gene's activity Extracting biologically relevant information from gene expression profiles 31
Other directions RNA-sequencing data analysis, transcriptome assembly Metagenome assembly Analysis of multiple species' genomes Simultaneously Pipelines for biological data analysis 32
Example theses Transcriptome assembly using De Brujin graph connected components analysis Maximum likelihood genome scaffold assembly Overlap graph simplification in genome assembly 33
That is all Any questions? 34