About me

I am a Master's student (Interative Intelligence) at Georgia Tech.

I am originally from New Delhi, India. I recieved my B.E. in Computer Engineering from Mumbai University in 2011. I love programming and web designing and have represented India in a number of competitions like Microsoft Imagine Cup, New York and World Skills, London. In the past, I have worked a couple of years as a Support Engineer at Microsoft India R&D Pvt. Ltd. on the System Center Suite.

Besides studying AI, I enjoy reading, listening music and playing Badminton.

About my research interest

Artificial Intelligence, as I understand, finds its identity in the idea that knowledge and thought can be represented and manipulated through computer algorithms so as to build a thinking machine. Ever since my introduction to the field of Artificial Intelligence, my academic and career objectives have been aligned to contribute in the field of intelligent systems especially in the domain of automated reasoning.

My research goal is to work on projects which aim at extending, adapting and combining formal methods into platforms consisting of tools supporting specification, design and refinement of systems in an industrial setting.

Contact me

Shailesh Lohia

1033 Tumlin Street NW.
Apartment A-2
Atlanta, GA - 30318

phone: +1 678-704-3637
email: shailesh [dot] lohia [at] outlook.com
facebook: shailesh [dot] lohia
skype: shailesh [dot] lohia

Projects

Automated Theorem Proving (ATP): Radically Optimized Prover9 [Final Year Engineering]
A research based project being undertaken in a group as part of the academic requirements for BE degree course. Prover 9 is based on the algorithm named Otter which employs a sequential approach while not exploiting the parallelism available in shared memory systems available today. The aim of this project was to develop a parallelized version of Prover9 and compare its performance with the existing system. The project was developed in C++ programming language with the use of Native POSIX Thread Library.

Multi Agent based Enterprise Security Module [Final Year Engineering]
The project aimed at developing Network Intrusion Detection System that mimics the immunity system of the human body using multi agent systems. The platform used to develop this project was JADE. The agents were designed to collect data from different segments of the network and store the same in a central database. Algorthms were used to make use of past data and evaluate if the network or systems are under attacks like Port Scanning, Denial of Service etc.

Project iRIS [Microsoft Imagine Cup 2011 (Embedded Development) & Intel India Embedded Challenge]
This project aims at redefining the way in which visually impaired individuals interact with computer systems moving from the predominantly used audio based assistive technologies to a more natural way of interacting using page length tactile displays and braille. The project is based on an evolving concept “graphical user interface” that can be used by the visually impaired to interact and perform day to day activities on a computer and use the internet not only for text but also for images. This project was amongst the top 15 amongst thousands of entries presented at Microsoft Imagine Cup 2011, New York. Images

Showing London to the World [World Skills Competition 2011, London (Web Design)]
This was one of the four modules in web designing at the World Skills Competition 2011, London. The aim of this module was to design of a web site for the organisation "Showing London to the World" in a specified time of 4.5 hours using specific media and text provided and no access to the internet. The project deliverables included a wireframe, sitemap, palette, logo design and designing the home page and that of a trip planner. Images

Project Hello World [Microsoft Imagine Cup 2010 (Embedded Development)]
The aim of the project was to develop a portable semi-autonomous Neonatal Resuscitation and Incubation unit accompanied by a set of sensors which continuously monitors critical health parameters of the neonate and periodically analyze the collected data to assess baby’s health. The aim of this project was to reduce neonatal mortality especially in rural areas by providing remote observation by doctors, alert handling in case of emergencies before the child can be transported to a tertiary healthcare center. The project used Windows Embedded CE 6.0 R3 with Silverlight in native code. Images

Project Aarogya Marg [Microsoft Imagine Cup 2010 (Software Design)]
The project aimed at developing and demonstrating how ICT can be used to improve Health Service Delivery across the nation. The project involved demonstrating how remote medicine combined with service virtualization can help reduce the time for delivering treatment, especially in rural areas. The technology used for this was ASP.NET, Silverlight, Embedded Modules using ATmega128 and Windows Forms Application using C#. Images

Project Work 2 Worker [IBM’s The Great Mind Challenge, 2010]
This web application which aimed at providing a platform for registered employers to find and employ workers from the unorganized sectors. Workers were categorized as skilled, semi-skilled and unskilled workers and were provided a platform where they could negotiate their income with employers. The project was developed by levaraging the MVC architecture using Enterprise Java Beans. The features developed by me were forums, profiling features similar to social networking sites and financial management using Payment Gateways.

Project AllNutrition [Microsoft Imagine Cup 2009 (Software Design)]
The project aimed at early identification of malnutrition. The solution consisted of a mobile based application for collecting data of a subject's health parameters which returned the nutrition value of the patient. A simple hardware device, which could detect the nutrition value of the subject by Bio-electrical Impedance Analysis, was developed.