~/talk

Finding a research topic (or being found by a research topic?)

Talkat PLMW @ POPL 2022 · on Monday, 2022-01-17· [career-development]
links:none on file
slides:none on file

Chronicles a research path that starts with an undergraduate project on the compfish framework and evolves through four years of co-algebra, a postdoc building a co-camel extension to OCaml, a funded team of five to six people, and a verification paper that lands at SIGCOMM (verification of metrics). Advises choosing supervisors for empathy plus network and setting concrete deadlines to pivot; recommends early hand‑held problems with known solutions (about nine months) to learn deep, new fields.

AI-written summary · about

  1. 0:00Introduction
  2. 2:29My research journey
  3. 3:54My first research project
  4. 11:47How did I choose my research topics
  5. 17:22The steps
  6. 26:26Supervisors
  7. 26:41Collaborators
  8. 28:21Students
  9. 29:52Community
  10. 30:56Reflections
  11. 32:25Style
  12. 34:26Wrong
  13. 35:48Questions
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.