PLMW Panel
summary
Career-panelists compare concrete career moves and tactics: experiences range from working at an employee‑owned consultancy with ~110 engineers to junior faculty expanding a thesis into LLM‑assisted tools; concrete research topics mentioned include separation logic and gradual verification; practical outputs include an in‑progress C verification tool built with two US government contractors and a workshop paper connecting gradual verification to incorrectness logic; advice stresses internships, talking to current students, industry research awards (Amazon/Google), and user‑facing feedback.
AI-written summary · about
chapters (8)
- 0:00Panelists introduction
- 3:20PhD vs faculty research
- 10:01Choosing advisor and program
- 16:35Faculty career decision
- 21:53Abandoning research projects
- 28:48Industry interaction value
- 34:32Engaging with subfields
- 39:49Academia-industry collaboration
related talks
01h 14mCareer Panel
38mCareer Panel
48mPanel - Navigating a career: tech, people, and LLMs
01h 01mCareer Panel
27mCareer development panel: From being the only women in the room to empowering the next generation
50mLevel Up Your Career
01h 48mCareer Path Experience Stories
30mCareer Mutation: A Panel on the Evolution to Management in Security