top of page
This site was designed with the
.com
website builder. Create your website today.Start Now

 Some of my Projects

Latest Projects

Currently working on an International conference paper 





...will be updated soon

This project is about the development of tools as to display formal proofs in an interactive manner by the use of toolkit GTK+, Glade for developing the Graphical User Interface for an existing Haskell application. This document discusses the basics of Formal proofs, drawbacks of the existing system, specication, project plan, dierent approaches in building the GUI for Haskell, Theorem Prover 1.0, Testing, challenges, comparison between the approaches and how I overcome them. The existing tool for theorem prover has some disadvantages with the Interface where the user has to give the inputs textually and also it is not user friendly for the beginners since everything will be carried out in the terminal window. Hence, I
will be enhancing this tool by overcoming the disadvantages and make this as a very perfect teaching tool for practising the formal proofs with good interactive features.
Language used: Haskell and Java
Software used: Netbeans, GTK+, GHC compiler, LATEX

This project is about developing a Blackjack game. My approach is simple and straight forward to create this application. Created web forms in my application. And created a folder called Images in my Blackjack application which contains images and are used to set the background image and also has some icons which is used in the web form. In addition to this I have a c# class le used to generate the random number for the computer and the user. I used Microsoft SQL server in order to store the data. I used datasource and grid view to display the scores.
Language used: C# ASP .NET(Framework 4), Microsoft SQL Server
Software used: Microsoft Visual Studio 2010, LATEX

This project discusses about the implementation and approach of  “Life Form” game. In life form, the world is represented by an NxN map and each player is managing a set of animals that will ultimately eat/attack each other until only one player remains in the world. Each player can choose three animals and move them to another reachable square on the map. If the square contains another animal, then a conflict happens as only one animal is allowed per square. The winner of a conflict will also eat the looser if it is a carnivorous animal. If the place also contains some other form some food (e.g., grass), then the food will be eaten provided that the animal can cope with it. The game will have to be strongly relying on object-oriented technology, and a graphical interface will have to be provided to play the game. 

Language used :Java

Softwares used : Netbeans

  • Knowledge on Web, and client-server environments including Java Platform, Enterprise Edition(Java EE), Enterprise Java Bean (EJB), JavaServer Pages (JSP), Java Servlets (includingJNDI), Struts, and Java database Connectivity (JDBC) technologies.

  • Maintaining the datacenter servers by upgrading, taking periodical backups and monitoring all its events by thenetwork monitoring tools;.

  • Knowledge of UNIX shell scripting and PL/SQL, ApplicationSupport for Batch Runs and Live and Test environments.

  • Implementing the new BusinessRequirement/Enhancements.

Project: Videocond2h
Technology Used: Java

• Worked as a manual tester (Unit Testing, Performance Testing, Integration Testing) for an online backup software.
• Specialized in the Image backup, System state backup and Registry backup in different platforms.
• Worked on various platforms such as Windows, Linux, Mac, Imac and FreeBSD.
• Knowledge on Sharepoint, Exchange Server, Image Backup, registries.
• Can develop effective test cases.

Project: Storegrid (Online backup Software)
Technology Used: C++, SQL Server, SQLite, Exchange Server, MS Sharepoint, VMware.

• Worked under the process McAfee.
• Troubleshooting clients technical issues for McAfee Antivirus.
• Virus removal in customer's computer and also removing third party anti-virus.
• Also helps with some non-technical issues like registering/renewing the product.
Project: McAfee (Anti-virus)
Technology Used: Siebel

Provably Secure Three-Party Authenticated Quantum Key Distribution Proto-
cols. Presented quantum key distribution protocols (QKDPs) to safeguard security in large
networks, ushering in new directions in classical cryptography and quantum cryptography. Two
three-party QKDPs, one with implicit user authentication and the other with explicit mutual
authentication, are proposed to demonstrate the merits of the new combination.
Language used: C#, SQL
Software used: Microsoft Visual Studio .Net 2005, SQL Server 2000.

Testimonials

​

“Thenraja is a sincere, dedicated and hardworking employee, who performs his duty on time without any time delay. His works are up to the expectation.” May 19, 2012

​​VIKASH RAAJ, TECHNICAL ASSOCIATE, Tech Mahindra

​​
 

bottom of page