index.md

layout	css	icon	title
default	index	home	Home

{% if site.author.photo %} {%- if site.author.photo.local -%} {%- assign photo_url = site.baseurl | append: '/' | append: site.author.photo.local -%} {%- else -%} {%- assign photo_url = site.author.photo.remote -%} {%- endif %}

{% endif %}

Contact Me

Office:   [Google TM-2], San Jose, CA
Email (Work):   spadhi google • com
Email (Personal):   saswatpadhi protonmail • com

Research Interests

Statistical Learning, Software Synthesis & Verification

About Me

I am a senior software engineer in the [chromeOS] organization at Google. Prior to that, I was an applied scientist in the [Automated Reasoning Group][ARG] at [Amazon Web Services][AWS].

Before joining the industry, I graduated with a Ph.D. in [CS][CS@UCLA] from [UCLA] in 2020, and a B.Tech. (Hons.) in [CSE][CS@IITB] from [IIT Bombay] in 2014.

I consider myself a backend generalist, and am primarily interested in low-level systems software. My doctoral research was specialized on software analysis, synthesis and formal verification.

Recent Updates · · · ( Details )

{%- assign sorted_updates = site.updates | sort: 'date' | reverse -%} {%- for event in sorted_updates limit: 6 -%} {%- assign eventdate = event.date | date: '%s' -%} {%- assign highlight = event.highlight | default: site.default_highlight[event.type] -%}

{%- if event.end_date == null -%} {{- event.date | date: "%b" -}}{{- event.date | date: "%y" -}} {%- else -%} {%- assign year = event.date | date: "%y" -%} {%- assign end_year = event.end_date | date: "%y" -%}

{{- event.end_date | date: "%b" -}}{{- end_year -}}
⋮
{{- event.date | date: "%b" -}}{{- year -}}

{% endif %}

{% include tools/text_process.md data=event.headline %} {% if event.location != null -%}

( {{event.location}} )

{%- endif %}

{% endfor %}

{% include common_abbrv.md %} {% include common_links.md %}