| | | | | | | | 最后学历
) V( K' e; e/ R6 t& ]; J) F) R x) } | |
工作单位
: h. `0 s1 O" ]8 o1 q5 S | 中国海洋大学信息学院
% o9 t5 r% q" w3 y8 s0 v# E6 J" _ | 职称! D( E: `( s0 G( ^
) w+ _! `+ j& n
职务; M1 P3 n& b; y Q. d, \
| 教授/系副主任
- R, h j$ P1 ^* Q d/ I8 h5 f |
学习经历及学位
2 G o+ w: K/ h& F& G) y; j0 C | 时
( K6 D* @+ ]$ c1 y; ~: C间 | | |
| | |
| | |
| | |
| | |
工作经历任职及荣誉称号
& y0 O6 O% P9 d9 Z9 _, r | | | |
| | |
| | |
| | |
社会及学术兼职! t. G: i7 _! g1 o; s
| | |
| |
| |
承担教学课程及教学成果
+ ]! r* g" E. e5 d | | | |
| | |
| | |
| | |
主要研究方向
* {" G, o$ O* _* l; X; g. J6 p | | |
| |
| |
| |
代表性学术成果
; N E, P- x1 F- V | | | |
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 of8 K: O+ f0 M0 p2 H$ J0 m9 w% X
Computer Science and Technology | |
近五年承担科研课题
7 P: z1 ~; _& b- [0 h7 w* Y8 t | | | | |
| | | |
| | | |
| | | |
| | | |
| | | |
备注' c$ K+ q9 L* v, U( T
| |