From Fedora Project Wiki

m (Home Page of Raj Kumar Gajavelly(Fedora Contributor))
No edit summary
 
(One intermediate revision by the same user not shown)
Line 13: Line 13:
<hr/>
<hr/>
<b>Given Talks:</b>
<b>Given Talks:</b>
- Presented a paper on "Open Source and Security Concerns" in Balaji Institute Of Technology.
<ul>
- Talk on  
<li> Presented a paper on "Open Source and Security Concerns" in Balaji Institute Of Technology, Warangal, Andhra Pradesh </li>
- Machine Learning Concepts  
<li> Talk on Satisfiability Modulo Theories in Mathemetical Logic and Its Applications </li>
<li> Modifications in PostGres Database to preform pivot table from cummulative data set.</li>
<li> Entry in Formal Verification Approaches
<ul> <li> Symbolic Simulator for Verilog </li>
    <li> Study of BLAST (Berkeley Lazy Abstraction Software Verification[http://mtc.epfl.ch/software-tools/blast/index-epfl.php])</li>
    <li> etc..</li> </ul>
</li>
<li> Career in Machine Learning Concepts  
<ul> <li> Memetic Algorithm for VLSI Floorplanning problem[http://www.cse.iitb.ac.in/~pb/cs621-2009/student-paper-presentation/] </li>
<li>Talk on Min-max algorithm for Tic-Tac-Toe[http://www.cse.iitb.ac.in/~pb/cs621-2009/student-seminars-computer-games/hanoosh-tictactoe.pdf]</li>
</li>
</ul>
<hr/>
<hr/>
<font color=green>Contact:</font>
<font color=green>Contact:</font>
Line 32: Line 43:




Thank You</font>
Thank You

Latest revision as of 14:39, 9 November 2010

Hi all

I am Rajkumar Gajavelly,
I am staying currently in IIT Bombay doing my Master of Technology in Computer Science,
I am fond of OpenSource momentum from a little bit time.
I can be helpful if any suggestions.

Interests
- [1] Scilab Development for Fedora
- Fond of Python,PHP,J2EE, C, C++
- Trying to participate in fedora documentation for native languages in India

Given Talks:

  • Presented a paper on "Open Source and Security Concerns" in Balaji Institute Of Technology, Warangal, Andhra Pradesh
  • Talk on Satisfiability Modulo Theories in Mathemetical Logic and Its Applications
  • Modifications in PostGres Database to preform pivot table from cummulative data set.
  • Entry in Formal Verification Approaches
    • Symbolic Simulator for Verilog
    • Study of BLAST (Berkeley Lazy Abstraction Software Verification[2])
    • etc..
  • Career in Machine Learning Concepts
    • Memetic Algorithm for VLSI Floorplanning problem[3]
    • Talk on Min-max algorithm for Tic-Tac-Toe[4]

    Contact:

    Rajkumar Gajavelly,
    Mumbai
    India-400076.
    E-mail: rajgaja@gmail.com
    rajgaja@cse.iitb.ac.in
    rajgaja@fedoraproject.org

    Personal Homepage [5]


    Thank You

Retrieved from "https://fedoraproject.org/w/index.php?title=User:Rajgaja&oldid=206219"