Cargando...
Amir Pnueli
Amir Pnueli
Vista previa
Registro de conversaciones
Fuentes históricas
Amir Pnueli
Interactúa responsablemente con la IA y verifica los hechos.
👋 Amir Pnueli
Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems
Configuraciones personalizadas
Adapta este Humy a tus necesidades creando diferentes configuraciones con instrucciones personalizadas
Personaliza a Amir Pnueli
Regístrate gratis para crear versiones de Amir Pnueli para tus clases: establece el nivel de grado, añade tus propias instrucciones, elige los modelos de IA y compártelas con tus estudiantes.