Aarti S. Kashyap

Thinking without writing is not thinking - it's just us thinking that we are thinking.

Tokyo 2017

I am a second year graduate student at University of British Columbia, Vancouver. I am originally from Bombay, India.

My research interests include: Formal methods; End-to-end verification of systems; Programming languages; Cyber physical systems; Operating systems; Security.

For my rantings and musings check out blog.

news

Jan 26, 2020	I received SIGAPP STAP funding for ACM SRC’20.
Jan 19, 2020	I am attending VMCAI and POPL’20 as Student volunteer.
Jan 17, 2020	Attending 2nd VMCAI Winter School in New Orleans.
Jan 15, 2020	I will be serving on the Artifact Evaluation Committee for ECOOPS’20.
Dec 8, 2019	Attending NeurIPS’19 in Vancouver, Canada.
Dec 3, 2019	My masters thesis abstract about synthesizing false data injection attacks for safety-critical systems was accepted to SAC SRC’20.
Oct 22, 2019	Attending SPLASH’19 in Athens, Greece.
Sep 22, 2019	Received funding to attend PLMW- SPLASH’19 in Greece.
Jun 26, 2019	Attended PLDI’19 and ISCA’19 from 21st-26th June.
Jun 14, 2019	Received travel grant for LICS’19.
Jun 3, 2019	Presented undergraduate thesis on ‘Ontology’ at CS-CAN’19, Montreal.
May 28, 2019	Attended SMeW and ICSE’19 at Montreal.
May 21, 2019	Student volunteer at PLDI’19 and Received SIGPLAN PAC funding.
Feb 28, 2019	Received travel grant to attend ICSE’19.
Aug 1, 2018	Started my graduate studies at UBC.