Grigore Rosu will give us a talk about runtime verification on
11/5. We have read several of Grigore's papers in previous classes. In
addition to being a former NASA research scientist and current
Professor at UIUC, Grigore is also CEO of Runtime Verification Inc., a
startup that develops and sells runtime verification technology.

1. What questions about runtime verification will you like to ask
Grigore, based on his previous work that we covered in class?

2. What questions will you like to ask Grigore, beyond his previous
work that we covered in class?