If you’ve found your way to this page, you’re probably trying to get to know more about me. First things first : vim > emacs

Hi, my name is Yugesh Kothari. I am a first year PhD student at EPFL, Switzerland. I completed my undergrad at the Indian Institute of Technology, Kanpur majoring in Computer Science and Engineering. I am a tech enthusiast; broadly interested in software systems, software verification, programming languages and cloud systems. I am fairly proficient at full stack and systems development. I am hooked to learning devops. I install linux on laptops in my spare time (that is not an expression). I like to characterize myself as a geek-strovert (yes, I coined the term). I love conversations about technology, politics and philosophy. Judge me all you want, but I loved the Indian version of “The Office”. Side Note, I put the pro in procrastination.

In another world, I was a (self-proclaimed) brilliant science student when I appeared for the Joint Entrance Examination (supposedly the toughest in the world) where I managed to sneak by with a rank of 120 (among almost a million candidates, so maybe that was impressive).

Support me by buying me dinner.


I am currently working as a doctoral research assistant at Dependable Systems Lab, EPFL where I am advised by Prof. George Candea. I am broadly interested in software verification tools and techniques, and their applications to computer systems. My professional goals are centered around making software more reliable.

Latest Blog Post

03 Oct 2019 . tutorial . Getting started with Github

Learn-Git-Github A beginner’s Git and GitHub tutorial. Head over to GitIntro for the complete repository. Source: GitHub Guides


I’m keen not to overwhelm you, so I’ve made an annotated screenshot of a GitHub project, so that you can quickly become familiar with the most common features. Yes, GitHub is more than simply a project repository, but that’s where you’re likely going to spend most of your time on the site.

What you see is a project homepage. Across the top, are listed the project name, how many people are watching it, how many people have...



  • Sept 2021 - Present

    Doctoral Research Assistant

    Dependable Systems Lab

  • Jan 2020 - Jun 2021

    Research Assistant

    Practical Formal Methods

  • Jun 2020 - Sept 2020

    Research Intern

    Network Architecture Lab

  • May 2020 - Jun 2020

    DevOps Intern

    Data and Services Team

  • March 2019 - March 2020

    Programming Club Coordinator

  • May 2019 - July 2019

    Research Intern

    Purdue Formal Methods

  • May 2019 - July 2019

    Program Coordinator Summer of Code, IIT Kanpur

  • May 2018 - July 2018

    Member of Technical Staff Nutanix


Drop me an email if you are interested in having me code for you or saving your neighborhood!