{ Yugesh Kothari }

About

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.

Research

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

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

GitHub:

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...

Timeline