Yatharth Goswami

CEO

Kanpur, Uttar Pradesh, India3 yrs 8 mos experience

Most Likely To Switch

Key Highlights

Expert in Quantitative Finance and Algorithm Design.
Proficient in Formal Verification and Concurrent Systems.
Strong background in Statistical Data Analysis and Cryptography.

Stackforce AI infers this person is a Quantitative Finance expert with strong skills in Formal Verification and Algorithm Design.

Contact

yatharth@quadeye.com +919982144450 LinkedIn

Skills

Core Skills

Quantitative FinanceAlgorithm DesignFormal VerificationConcurrent SystemsStatistical Data Analysis

Other Skills

AlgorithmsBack-End Web DevelopmentBashBlockchainsC (Programming Language)C++Cascading Style Sheets (CSS)CommunicationCryptographyDeveloping Mid Frequency Trading StrategiesGraph TheoryHTML5JavaScriptLinear DafnyMathematics

About

I am a Quantitative Strategist at Quadeye currently. I am graduated with Bachelors from CSE department at IIT Kanpur. I love to explore new fields and having intellectual talks with people. I have major interest in Mathematics and Computer systems. I interned at LDS Lab, EPFL in 2021 summers with Prof. Jean P. Habaux on project based on finding heavy hitter flows using Lattice based Cryptography (Multi-party Homomorphic Encryption). I have worked with Prof. Sanidhya Kashyap at RS3 Lab, EPFL on formally verifying concurrent systems to be used inside Kernel during my time as a semester exchange student. I have also worked with Prof. Debadatta Mishra on analysing and reducing memory overheads of container based sandboxes for android devices. I am also proficient in backend development and GNU bash. You can know more about me here -> https://yatharth0610.github.io/

Experience

Quadeye

Quantitative Strategist

Jun 2023 – Present · 2 yrs 9 mos · Gurugram, Haryana, India · On-site

Developing Mid Frequency Trading Strategies

Developing Mid Frequency Trading StrategiesQuantitative FinanceAlgorithm Design

École polytechnique fédérale de lausanne

Research Assistant

Sep 2022 – Jan 2023 · 4 mos · Lausanne, Vaud, Switzerland

Working with Prof. Sanidhya Kashyap at RS3 Lab, EPFL. Worked on developing verification proofs for concurrent systems.

Type SystemsLinear DafnyConcurrent systemsFormal VerificationMemory models

Quadeye

Quantitative Researcher

May 2022 – Jul 2022 · 2 mos · Gurugram, Haryana, India

Received Pre-placement offer after the internship

Statistical Data AnalysisAlgorithm DesignQuantitative FinanceC++R (Programming Language)

Cdos lab iitk

Undergraduate Systems Researcher

Jan 2022 – Jun 2022 · 5 mos · IIT Kanpur

Working on the problem of analysing and trying to reduce the memory consumption overheads of container based sandboxes for android devices.

Epfl (école polytechnique fédérale de lausanne)

Research Intern

May 2021 – Aug 2021 · 3 mos · Lausanne, Vaud, Switzerland

Studied the problem of Heavy Hitter Flow Detection using Fully Homomorphic Encryption.

C3i hub

Machine Learning Security Researcher

Jan 2021 – Apr 2021 · 3 mos · Kanpur, Uttar Pradesh, India

Malware analysis using NLP techniques: Used API fragments and NLP models for the task of classification of malicious and benign files. Built technique stable to measures like obfuscation and outperforms other works using similar approach. The paper we submitted to the AISec'21 conference can be found here -> https://yatharth0610.github.io/AISEC_2021.pdf