-
Cholhee Jung
Bioinformatics Center, Macrogen, Seian BD. Theory & Formal methods Lab. of Korea University
-
Hwanseok Rhee
Bioinformatics Center, Macrogen, Seian BD.
-
Hyunseok Park
Bioinformatics Center, Macrogen, Seian BD. Dept. of Computer Science & Engeneering, Sejong University
-
Jinyoung Choi
Theory & Formal methods Lab. of Korea University