The John von Neumann Minerva Center for the Development of Reactive Systems

מרכז מינרבה על-שם ג'ון פון נוימן לפיתוח מערכות מגיבות מקדם את פיתוחן של מערכות ריאקטיביות מורכבות, בעיקר באמצעות תהליכים של מידול וניתוח. המחקר מתמקד בייצוגים חזותיים וכלים תומכים לבניית מודלים וכן בשיטות הדמיה וניתוח בעלות משקל. המרכז עובד בצמוד עם יישומים שונים בתעשייה; פרויקטים נוספים כוללים מחשוב מוכוון-שירות, סימולטורים טקטיים ותהליכי מערכות בריאות.