汉金, 克里斯

Chris Hankin

· Institute for Security Studies

33h 指数

5,399总引用

222发文

86i10

ORCID: 0000-0001-9149-8577

研究方向

Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and KnowledgeNetwork Security and Intrusion DetectionInformation and Cyber Security

数据来源: OpenAlex + ORCID + Wikidata · 数据质量: verified

登录后开启学术探索

收藏教授 / 论文 / 学科排名, 订阅研究方向更新。登录后开启这些能力。

已有账号?

您的浏览器禁用了 JavaScript。Gobob 留学助手的核心功能需要 JS 支持, 请开启后刷新页面。
主要导航: 院校库 · 智能评估 · 签证百科 · 排名