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?