News

{ year = "2023", month="Jan", event="I spoke about ASP-powered narrative generation for explaining privacy policies on behalf of <a href="https://dblp.org/pid/198/8223.html">Chinmaya Dabral and <a href="https://sites.google.com/ncsu.edu/cmartens">Dr. Chris Martens at <a href="https://popl23.sigplan.org/details/prolala-2023-papers/8/Exploring-Consequences-of-Privacy-Policies-with-Narrative-Generation-via-Answer-Set-P">ProLaLa 2023."}, { year = "2022", month="Dec", event = "I gave the <a href="https://www.openconf.org/acsac2022/modules/request.php?module=oc_program&action=page.php&id=15#Reproducibility">keynote talk at the <a href="https://laser-workshop.org/index.html">Learning from Authoritative Security Experiment Results at the <a href="https://www.acsac.org">Annual Computer Security Applications Conference (ACSAC), organized by <a href="http://www.csl.sri.com/people/balenson/">David Balenson." }, { year = "2022", month="Nov", event = "I gave a <a href="https://ceps.unh.edu/computer-science/opportunities/robotics-seminar-series">talk at UNH on formal language support for experimentation as part of the <a href="https://ceps.unh.edu/computer-science/opportunities/robotics-seminar-series">Robotics Seminar Series (host: <a href="https://www.cs.unh.edu/~dietz/">Laura Dietz)."}, { year = "2022", month="Nov", event = "I had another fun and inspiring visit with friends at GMU, where I gave a talk during the SE lunchtime seminar series on formal language support for experimentation (host: <a href="https://cs.gmu.edu/~tlatoza/">Thomas LaToza)."}, { year = "2022", month="Nov", event = "Exploring Consequences of Privacy Policies with Narrative Generation via Answer Set Programming was accepted to <a href="https://popl23.sigplan.org/home/prolala-2023">ProLaLa23 (co-located with <a href="https://popl23.sigplan.org/">POPL23)."}, { year = "2022", month="Oct", event = "I officially started in a new research position working for <a href="https://sites.google.com/ncsu.edu/cmartens">Dr. Chris Martens at <a href="https://camd.northeastern.edu/">Northeastern University on narrative generation for privacy policies and am looking forward to further collaborations with them in the longer term!"}, { year = "2022", month="Sep", event = "I began <a href="https://cra.org/csgrad4us/">serving as a coach/mentor for three awesome mentees via the <a href="https://www.nsf.gov/cise/CSGrad4US/">NSF's CSGrad4US program."}, { year = "2022", month="Aug", event = "I <a href="/resignation">resigned from my tenure-track position at UVM."}, { year = "2022", month="Aug", event = "Longtime collaborator <a href="https://cs.umass.edu/~kclary">Kaleigh Clary presented <a href="https://www.usenix.org/system/files/sec22-clary.pdf">our (but really it's all hers!) work at <a href="https://www.usenix.org/">USENIX Security 2022. Extra shoutout for her putting up with my Bela Karoliy-esque conference-talk-crafting-style. Also folks, she is a job-seeker!"}, { year = "2022", month="Jun", event = "My <a href="https://beta.nsf.gov/funding/opportunities/formal-methods-field-fmitf">Formal Methods in the Field grant proposal was <a href="https://www.nsf.gov/awardsearch/showAward?AWD_ID=2220422&HistoricalAwards=false">accepted for funding by the NSF!! (<a href="https://www.youtube.com/watch?v=Xzh58RHJVwg">First try!!)"}