Master's projects at ITMO University. Daniil Chivilikhin PhD ITMO University

Transcription

1 Master's projects at ITMO University Daniil Chivilikhin PhD ITMO University

2 General information Guidance from our lab's researchers Publishable results 2

3 Research areas Research at ITMO Evolutionary algorithms Bioinformatics Programming technologies Machine learning 3

4 Research areas Research at ITMO Evolutionary algorithms Programming technologies Strongest areas Publications in top conferences in the field (GECCO, CEC, PPSN,...) 4

5 Research areas Research at ITMO Evolutionary algorithms Bioinformatics Programming technologies Machine learning 5

6 Evolutionary algorithms Solve hard optimization problems Based on principles of natural evolution Fitness Selection Recombination... 6

7 EAs: basics Define solution representation, or individual e.g., bit string: Define a fitness function e.g. number of ones Mutation operator random solution modifications e.g

8

9 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

10 Research topics in EAs EAs + Reinforcement learning Multi-objectivization in EAs 10

11 Example theses Multi-objectivization in Artificial Immune Systems Auxiliary fitness function selection using fitness landscapes Theoretical complexity analysis of Jump-K problem 11

12 Research areas Research at ITMO Evolutionary algorithms Bioinformatics Programming technologies Machine learning 12

13 Programming technologies Every programmer's dream: automated programming In logic control programs we automate Design Testing Verification Using Search-Based Software Engineering 13

14 Search-based software engineering Translate problems in Software engineering to optimization problems Use EAs or related techniques 14

15

16 Example: reverse engineering IEC function blocks IEC is a standard in industrial automation A base element is a function block Joint work with Aalto University 16

17 Elementary function block 17

18 Recording tests 18

19 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

20 Example: reliable software Requirements Requirements Programming Automated inference, testing and verification inside Testing Verification Correct program Correct program 20

21 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

22 Research areas Research at ITMO Evolutionary algorithms Bioinformatics Programming technologies Machine learning 22

23 Machine learning Design algorithms that can learn from data Problems Classification Clustering... Applications Pattern recognition Data mining Web search Image from: 23

24 Classification N objects x1...xn Each object xi = (f1...fn) C classes Determine class of each object

25 Machine learning Approaches Artificial neural networks Support vector machines Decision tree learning Bayesian networks Reinforcement learning... 25

26 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

27 Research areas Research at ITMO Evolutionary algorithms Bioinformatics Programming technologies Machine learning 27

28 Bioinformatics Using computer science to study biological data 28

29 Research areas Genome sequencing data analysis Expression data analysis Integrating different types of biological data 29

30

31 Expression data analysis Gene expression profile Measure of each gene's activity Extracting biologically relevant information from gene expression profiles 31

32 Other directions RNA-sequencing data analysis, transcriptome assembly Metagenome assembly Analysis of multiple species' genomes Simultaneously Pipelines for biological data analysis 32

33 Example theses Transcriptome assembly using De Brujin graph connected components analysis Maximum likelihood genome scaffold assembly Overlap graph simplification in genome assembly 33

34 That is all Any questions? 34