Venkatakrishnan Ramaswamy

Venkatakrishnan Ramaswamy ()

Office:
E445, CSE Building,
University of Florida
P.O. Box 116120
Gainesville, FL 32611, USA.

Phone: +1-352-392-3953

venkATuflDOTedu

About me

I am a graduate student in the Department of Computer and Information Science and Engineering at the University of Florida.
Arunava Banerjee is my advisor.

My undergraduate engineering degree is from the University of Madras, India.

Research Interests

Computational Neuroscience, Design and Analysis of Algorithms, Algorithms for Propositional Satisfiability, Bioinformatics.

Publications

Refereed

Ravi Gummadi, N.S. Narayanaswamy, Venkatakrishnan R
Algorithms for Satisfiability using Independent Sets of Variables,
Proceedings of Seventh International Conference on Theory and Applications of Satisfiability Testing (SAT 2004), Vancouver, 2004.
Revised Selected Papers, Springer-Verlag Lecture Notes in Computer Science (LNCS), Vol. 3542: 133-144, 2005 . [PDF]
Tamer Kahveci, Venkatakrishnan Ramaswamy, Han Tao, Tao Li
Approximate Global Alignment of Sequences,
Proceedings of IEEE 5th Symposium on Bioinformatics & Bioengineering 2005 (BIBE 05), Minneapolis, 2005. [PDF]

Other

Empirical Study of Divide and Conquer Algorithms for Satisfiability, B.Tech. Thesis, 2004. [PS]

Teaching

In Spring 2008, I am teaching CGS 3460 Computer Programming Using C.

In the past, I have served as a Teaching Assistant for:

COT 5405 Analysis of Algorithms (Summer 2007, Spring 2007 and Fall 2006)
COT 3100 Applications of Discrete Structures (Fall 2007, Spring 2006 and Fall 2005)
CIS 3023 Programming for CIS Majors II (Summer 2005 and Spring 2005)
CIS 3020 Introduction to Computer Science (Fall 2004).

Software

ISAT

ISAT is an Incomplete Satisfiability Solver that uses a Randomized Algorithm with Independent Set (inspired by PPSZ-like Algorithms) with Heuristic Local Search to a shallow depth. It participated in the SAT Competition 2004. It was designed along with Ravi Gummadi and N.S. Narayanaswamy.

The source is available here. This software has been released under the GNU General Public License. In case you make any further improvements, we would appreciate hearing from you.

Webpage Wizard

Webpage Wizard is a text-based, menu-driven Webpage designer for designing simple webpages. It was written in C++ for MS-DOS. This was my high school project. It can be downloaded from here

Links

Random stuff...

My Erdös number is 4, through the path VR - N.S. Narayanaswamy - C. E. Veni Madhavan - Renu C. Laskar - PE.

I contribute to the CISE New Student FAQ.

~~I am the (un)official biographer of Ajit Rajwade.~~

You are Visitor#