Insights into Academic and Research Journey

Gain valuable insights into academia and research from Orna Grumberg's personal perspective. Explore topics like verification, model checking, and the significance of Computed-Aided Verification. Receive practical advice on starting a Ph.D., overcoming challenges, and preparing for a successful career in the field.

• Academic journey
• Research insights
• Verification
• Model checking
• Career development

delalisc Follow

Uploaded on Sep 23, 2024 | 0 Views

Download Presentation

Please find below an Image/Link to download the presentation.

The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author. Download presentation by click this link. If you encounter any issues during the download, it is possible that the publisher has removed the file from their server.

Presentation Transcript

1. Life and Science a personal perspective Orna Grumberg Technion, Israel Verification Mentoring Workshop 2015 1

2. Personal data Ph.d. in (non-automated) verification Postdoc in Model Checking (MC) with Ed Clarke 30 years of research in MC: same title, different contents 2

3. Current research: Model checking for security New compositional methods Abstraction and modularity for UML systems Automata over infinite alphabet Improving interpolation-based verification 3

4. Why Computed-Aided Verification? It is diverse: Logic Automata Algorithms Data structures Very efficient implementations that matters 4

5. Why Computed-Aided Verification? Research, development, applications are done in academia, research labs, industry A large variety of job types 5

6. Starting a Ph.d. Choose an advisor that suits you Consult with other students Choose a subject that you like Enjoy what you do! 6

7. Dont be afraid of dead periods where next research question or next solution do not seem to be at hand Everyone has such periods Keep working and they will be resolved 7

8. Preparing the day after Create visibility: Networking at conferences Get introduced to people Make scientific collaboration visits if possible 8

9. Aiming for a career Decide that this is what you want to do Declare to yourself that what you do is important to you, you do it wholeheartedly, as a central activity 9

10. Aiming for a career Priorities set them accordingly Let relevant people in your life know it Otherwise, traditional expectation might get in the way 10

11. Today it is common to see women holding high positions Women that want to make a career can do it successfully BUT Traditional expectation might get in the way You need to say loud and clear that your intentions are serious and that you are willing to work hard for that 11

12. Family and science Time management and delegation (at home and at work) Do your best and try to be excellent, rather than trying to be perfect Find your own balance 12

13. My solution Balance: Family and career: equally important Career is as important as family Help: Always had a reliable babysitter In high-stressed periods: husband, parents and friends 13

14. My solution (cont.) Priorities: Cooking and cleaning are overrated So is sleeping I guess I did something right 14

15. This is my balance yours might be different Find your own balance Update it periodically 15

16. Summary To have a successful career: Decide that you want to do Do it! Enjoy it! Everything else will fall into place 16

17. The End 17