| | | | | | | | 最后学历 m u D9 V) i% i% U/ ]
| |
| 工作单位
3 Q/ Y: S$ E, w9 j1 i- @( f# ] | 中国海洋大学信息学院) A; f% H; h! _' o+ D
| 职称
" P4 |* h2 E% a/ K* l( Z- C5 A6 H6 y q# C8 q8 _" @
职务5 r! R X6 w8 Z; C) ?3 K
| 教授/系副主任
: |: n/ _' ?8 W: B |
| 学习经历及学位
, n0 s8 N- `- t. d7 X/ a& J0 ~ | 时
2 Y+ y' c3 ^4 @$ n3 d% ?间 | | |
| | |
| | |
| | |
| | |
| 工作经历任职及荣誉称号1 a- k) T1 _4 R+ s1 c
| | | |
| | |
| | |
| | |
| 社会及学术兼职
3 l, x7 e1 q3 i6 z" m | | |
| |
| |
| 承担教学课程及教学成果/ s& e9 U/ _6 P* y
| | | |
| | |
| | |
| | |
| 主要研究方向" J% L% o- x& `: \4 f4 D
| | |
| |
| |
| |
| 代表性学术成果
8 h! s0 }3 ?. u4 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
) q2 ~) x q, @& ^/ ZComputer Science and Technology | |
| 近五年承担科研课题
. j) f5 n8 O3 G& B2 w, k5 ?4 W; Z | | | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| 备注
' g% Z; x; e* _% H, {! ]- N; P | |