Home: Aniruddha Joshi
Hello, my name is Aniruddha Joshi.
I am a second year M. Tech. student in Computer Science Department at IIT Bombay.
Welcome to my webpage, hope you find what you came for.
This page is still under construction...
& my github profile page. My research interests include formal methods and verification, algorithms, and AI. During my master's I have taken courses and done projects in these areas. As part of my master's thesis I am working on developing efficient zone based techniques for timed systems.
Publications
- A Unified Model for Real-Time Systems: Symbolic Techniques and Implementation (with Prof S Akshay, Prof Paul Gastin, Dr R Govind, Prof B Srivathsan) Accepted at CAV-2023
- Clique factors in powers of graphs (with Prof Ajit Diwan).
Education
| Qualification | Institute/University | Period |
|---|---|---|
| M. Tech. | IIT Bombay | 2021-Current |
| B. Tech. (With silver medal) | IIT Dharwad | 2017-2021 |
| HSC | Pace Junior Science College | 2015-2017 |
Hobbies
- Sports:
- Music:
- Misc:
I like to play football and chess. Here is my chess account. I am yet a novice. But send me a challenge if you want to play with me! :)
Here is a quote from Mikhail Tal about chess:"You must take your opponent into a deep dark forest where 2+2=5, and the path leading out is only wide enough for one."
Music: I am currently learning to play sitar.
Misc: will be updated soon...
Side navigation bar courtesy: W3Schools