Yue Hao
Alignment bio-inspried computation biomechanics computational intelligence cryptographic protocols data mining e-learning fuzzy systems genetic programming image processing logic model checking multi-agent system programming proving