We are now working on the following problems. Please feel free to contact us if you are interested in working on one of these research topics.
Theory of Computation
- Computing the edit-distance of formal languages
- Descriptional complexity of finite-state automata and regular expressions
- Regular language inference from positive/negative examples
Formal Verification of Neural Networks
- Formal verification of deep neural networks and spiking neural networks
- Model checking of neural network properties using automata-theoretic techniques
- Efficient and scalable verification of neural networks using formal methods
Programming Language Understanding and Generation
- Automated program synthesis and repair (Human-AI Collaboration Programming Platform Laboratory, NRF Basic Research Laboratory, 2023. 3. 1 ~ 2026. 2. 28)
- Source code complexity prediction using deep learning with automata-theoretic analysis
- Automated test case generation from formal grammars for input specification languages
- Prompt engineering for code generation and analysis using large language models
Sports Data Analytics Using ML/AI
- Automated player performance analysis using sports data
- Football formation analysis from player tracking data
- Ball/Player trajectory imputation and prediction using deep neural networks
- Multi-agent reinforcement learning for sports strategy optimization