欢迎申请直博或者博士位置

招生方向:模态逻辑和人工智能逻辑