| | | | | | | | 最后学历
/ Y" R. Z- ]" H3 l$ U | |
| 工作单位* Z1 Q. {- v' d6 v7 \. ^1 X
| 中国海洋大学信息学院
8 s1 ^# p3 s7 ] ` | 职称( v* I8 Z6 M7 c2 ?2 u5 x" X0 ~
$ X+ O6 d8 G# y4 u C3 b) ]职务
$ B- v# I' w2 ~5 s E | 教授/系副主任
% ^/ z, {: O1 J0 m+ h7 F4 _2 l6 P |
| 学习经历及学位) ]' B# D' e8 u
| | | |
| | |
| | |
| | |
| | |
| 工作经历任职及荣誉称号
( [5 ?5 p! } m5 ?6 B! H$ q! Q, X6 l | 时
4 R% I. e! S1 n9 E* G7 q; y" N3 {4 y间 | | |
| | |
| | |
| | |
| 社会及学术兼职
, y6 F" l9 h* T% r, U- q- p | | |
| |
| |
| 承担教学课程及教学成果
`9 e# D# b+ e+ W# n! C | | | |
| | |
| | |
| | |
| 主要研究方向
* t' i. I& |- l4 s/ A | | |
| |
| |
| |
| 代表性学术成果
% |) N% z; X o! w: e& C. {8 F | | | |
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
) \. c/ M) J; i5 XComputer Science and Technology | |
| 近五年承担科研课题
+ [& n% `; q5 Q7 ^7 l0 l | | | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| 备注
$ _) w: h' m# k$ E | |