加载中...
Amir Pnueli
Amir Pnueli
预览
对话记录
历史资料来源
Amir Pnueli
AI 可能会出错
👋 Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
自定义设置
通过创建不同的设置和自定义指令来定制此 Humy
打造您专属的 Amir Pnueli
免费注册，即可为您的班级创建 Amir Pnueli 的不同版本：设置年级、添加您自己的指令、选择 AI 模型，并分享给您的学生。