| | | | | | | | 最后学历( r' ~# g0 v8 R" ~! k: F. o
| |
工作单位
4 I! k; w- I% y3 r$ r3 m | 中国海洋大学信息学院
9 e" F3 E) ~1 W0 l" W$ d | 职称
) _' ]5 z W" s1 p5 ^( ? } ~
5 U* p' t8 k3 c n职务
- o3 Q4 S; N, ?$ M6 O5 g3 y | 教授/系副主任 i" ~' o) I9 I* {. } Y% b! L @$ k
|
学习经历及学位
0 ?- A9 D5 i' n: @9 ?& ] | 时
# Z% }- l3 M8 N& V) c4 ^" t1 `8 H间 | 单& d3 F5 H7 T" l S6 ^) r: x# ?
位 | |
| | |
| | |
| | |
| | |
工作经历任职及荣誉称号
8 S" i; K4 ~) |8 K% z( Y* U+ R | | | |
| | |
| | |
| | |
社会及学术兼职
: I3 U9 }0 w* n | | |
| |
| |
承担教学课程及教学成果" N6 U9 m! C& [) q% W, V
| | | |
| | |
| | |
| | |
主要研究方向" G; Y; T, g% o, T3 d; U5 M9 M
| | |
| |
| |
| |
代表性学术成果' _1 A8 v, z! ~0 Z6 x8 Y1 T
| | | |
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
. f; u" c6 k% |& e( H* A; f/ y, uComputer Science and Technology | |
近五年承担科研课题
6 D3 ]9 E2 ^& i" v | | | | |
| | | |
| | | |
| | | |
| | | |
| | | |
备注7 s9 j; [; }0 c3 A, R0 [
| |