| | | | | | | | 最后学历7 W1 k! z- X' j
| |
工作单位* i* q" u* d2 Y8 S
| 中国海洋大学信息学院
/ D# o+ a6 S( u2 ?: h+ z | 职称
3 U) D6 x" x+ P. v; R7 T" I
# O- H' h: M' E$ j职务0 O; o6 o! L% N: s
| 教授/系副主任
! n3 X2 ~' q3 l$ q# _5 R |
学习经历及学位
P! O& \5 l/ g" H2 C* E | | | |
| | |
| | |
| | |
| | |
工作经历任职及荣誉称号, z8 ~/ ]7 W% W
| 时
1 n+ q" [5 b1 v+ B1 G3 N间 | | |
| | |
| | |
| | |
社会及学术兼职
9 x+ f- T. `. s1 w; Z$ j | | |
| |
| |
承担教学课程及教学成果
5 ?. U: ~" n1 {! C3 L# P; U | | | |
| | |
| | |
| | |
主要研究方向$ s i* e/ g6 q6 V
| | |
| |
| |
| |
代表性学术成果
. \2 j% l. _. \ | | | |
Some observations on one-way alternating pushdown automata with sublinear space | IEICE Trans. Fundamentals | |
On 1-inkdot alternating pushdown automata with sublogarithmic space | IEICE Trans. Inf. & Syst. | |
A note on non-closure property of sublogarithmic space-bounded 1-inkdot alternating pushdown automata with only existential (universal) states | Journal of
! _9 e& H8 }7 AComputer Science and Technology | |
近五年承担科研课题5 {8 |2 D* t1 j4 F3 c9 a; `. u7 _
| | | | |
| | | |
| | | |
| | | |
| | | |
| | | |
备注
$ j7 C5 ]3 i) J5 [! G | |