| | | | | | | | 最后学历* C, L5 Z" S: ~- E
| |
| 工作单位/ g) E3 g3 j2 e& W0 |8 G2 L
| 中国海洋大学信息学院
; v) V4 e# p, z5 W; @0 l% Z/ x6 D | 职称
9 E6 P6 X) V* {
9 q$ M- m) w8 m# t职务& H1 H8 i' }. T1 r
| 教授/系副主任
) `7 G0 z- J/ q O" U |
| 学习经历及学位# ^3 e+ A6 ]# I% D' p- T8 I M
| | 单( q! T: c n- T4 ]' q _% S
位 | |
| | |
| | |
| | |
| | |
| 工作经历任职及荣誉称号6 ~5 x- c4 Y, p1 D0 z: p. X
| 时 b' q' x M8 k& F9 d8 E
间 | | |
| | |
| | |
| | |
| 社会及学术兼职
- x( b0 a! b' j: o4 U* }+ ~ | | |
| |
| |
| 承担教学课程及教学成果
' j% f6 K' M+ `) X( R* P/ l | | | |
| | |
| | |
| | |
| 主要研究方向* l5 ]% I" j1 ^! B2 Q: H- \
| | |
| |
| |
| |
| 代表性学术成果% I! q7 H+ w3 a: E
| | | |
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
: l5 \) q8 P2 q/ Z" f& x i. s, uComputer Science and Technology | |
| 近五年承担科研课题& I. I# T2 y0 E8 d! j h
| | | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| 备注
s. [+ N% x, r1 A$ `: _9 _4 l& T. D | |