Divyanshu Bagga
PhD Dropout Researcher, Coder, Mathematician, Speculator, Bibliophile
Not necessarily in that order.
divyanshu.bagga@pm.me
Research Interest: Markets, Trading Strategies, Evolutionary Systems, Logic
PhD Dropout Researcher, Coder, Mathematician, Speculator, Bibliophile
Not necessarily in that order.
divyanshu.bagga@pm.me
Research Interest: Markets, Trading Strategies, Evolutionary Systems, Logic
Projects
- LNMarkets
- A Python wrapper for LNMarkets API.
- LNMarketBot
- A trading bot for LNMarkets, using the LNMarkets API in Python.
- BitcoinKindleClock
- A Bitcoin Blockchain clock on Kindle.
Articles
- MA Crossover Strategy in LNMarketBot
- Implements and backtests a moving average crossover strategy in LNMarketBot.
Research Work
- Parameterised Bisimulations: Some Applications. (Slides) S. Arun-Kumar and Divyanshu Bagga.
Relational and Algebraic Methods in Computer Science. Springer International Publishing, 2014. 208-225. - Shows how, Observational Congruence for CCS and Hyberbisimilarity for Fusion Calculus, is expressible in the framework of Parameterised Bisimulations.
- Logical Characterisation of Parameterised Bisimulations. Divyanshu Bagga and S. Arun-Kumar.
ICTAC'17. - Gives a Logical Characterisation and Characteristic Formula for Parameterised Bisimulations.
- Compactness Theorem for Parameterised Modal Logic.
- Gives a translation of parameterised Modal Logic to First Order Logic, and hence, extends the result of Compactness Theorem to it.