CURRICULUM VITAÉ

Profile

Name	Vaibhav Mehta
Current Place of Study	Indian Institute of Technology, Bombay, India.
Programme of Study and time-span	Bachelor of Technology (B. Tech.), 4 years.
Department	Computer Science and Engineering (4th Year)
Email	vaibhav@cse.iitb.ac.in

Academic Performance

Cumulative Performance Index (CPI)	9.27 on a scale of 10
Departmental Rank	3 of 48 students
All India Secondary school	87.6%
All India Senior Secondary school	85.2%

Academic Honors

Won first place at the 27th ACM International Collegiate Programming Contest Regionals, Dec. 2002 held at IIT Kanpur to qualify for the World Finals. Participated in the prestigious ACM-ICPC world finals at Beverly Hills, California (March 2003) and won award for our performance there. (part of the only Indian team to be there)
Won first place at the 28th ACM International Collegiate Programming Contest Regionals, Oct. 2003 held at Roorkee-Kolkatta site to qualify for the world finals. Participated in the prestigious ACM-ICPC World Finals held in Prague, Czech Republic (March 2004).
All India Rank 7 in Joint Entrance Examination for IIT,2000 (out of more than 200000 candidates)
All India Rank 39 in Roorkee Entrance Examination 2000 (out of 150000 candidates)
Won second prize at TechScribe technical student paper presentation contest held at IIT Guwahati, 2003.
Won first place at IIT Bombay Open Programming Contest for consecutive years, 2002-03.
Awarded Institute Academic award-2001 for academic excellence in IIT Bombay after first academic year. (10 awards out of 500 students)
National Talent Search Scholar, 1998 (about 750 awards per year all over India).
State Science Talent Search Scholar, 1998 (20 awards per year all over Rajasthan (India)).
Won prize at the global Bitwise Programming Contest organized by IIT Kharagpur, 2002

Publications

Conferences

A Genetic Algorithm Approach for Solving the Routing and Wavelength Assignment Problem in WDM Networks
N. Banerjee, V. Mehta, S. Pandey, Indian Institute of Technology, India
Accepted to be published in International Conference on Networks, 2004(ICN'04)(co-sponsored by IEEE/Cosmoc CSIM committee, IEEE/Computer and by IEE), Pointe-a-Pitre, Guadeloupe, French Caribbean, February29- March4, 2004
A Genetic Algorithm Approach for Solving the Dynamic Routing and Wavelength Assignment Problem in WDM Networks
N. Banerjee, S. Pandey, V. Mehta and Dr. G. Sajith, Indian Institute of Technology, India
Accepted to be published in LNCS Springer, 7th IEEE International conference on High speed Networks and Multimedia Communications(HSNMC'04), Toulouse, France, June 30 - July 2, 2004
Effective Wavelength assignment in WDM Networks
V. Mehta, N. Banerjee, S. Pandey, Indian Institute of Technology, India
Accepted to be published in Proc. Techniche, Annual Technical meet of IIT Guwahati, Techniche, August 29 - August 31, 2003
Generic Text Summarization using Wordnet
Bellare Kedar, Das Anish, Das Atish, Loiwal Navneet,Mehta Vaibhav, Ramakrishnan Ganesh, Bhattacharya Pushpak
Accepted to be published in Language Resources and Evaluation Conference, 2004(LREC'04)

Technical Reports

Techniques of Symbolic Model Checking
Vaibhav Mehta (under Prof. Supratik)
Junior Thesis Report, IIT Bombay, April 2003
Decomposition Based Symbolic Model Checking
Vaibhav Mehta (under Prof. Supratik)
Senior Thesis First Stage Report, IIT Bombay, April 2003

Current Research

Decomposition Based Symbolic Model Checking
The aim is to overcome the state explosion problem by devising techniques to efficiently decompose the graph, generate components, and do symbolic model checking using the generated components. We have developed and implemented a number of efficient decomposition techniques. We have also implemented an efficient recursive vector compose algorithm instead of iterative vector compose. We are currently working on improving the decomposition algorithms and using decomposition techniques with SAT solvers.
(Under the guidance of Prof. Supratik Chakraborty,IIT Bombay)

Internship

During internship, I adapted a game-based model checker to the generation of high level views of processes. The view technology is being used for data flow analysis of Java programs. I also studied model checking for context free systems and worked on finding compositional winning strategies for context free processes.
(Under the guidance of Prof. Bernhard Steffen, Dortmund University)

Projects

Course Management System
Provided a common web based interface between instructors, students and teaching assistants in an institute for doing mundane tasks such as giving and submitting assignments, assigning projects and demo scheduling, course information, notices, grading and messages. The motivation was to provide a single web based channel for all interactions for all courses. Implementation using servlets, JDBC, SQL and Java.
(Under the guidance of Prof. Sudarshan ,IIT Bombay)

Improved results for route planning in stochastic transportation networks
This was my Summer project and the aim was to find the optimal travel plans in situations where the arrival times are not fixed but randomly distributed. The software for this existed but the schedule was optimal assuming poisson random variables for arrival times. My work was to find errors in results due to this approximation when used for a general arrival distribution, and find the best schedule which minimises errors.
(under the guidance of Prof. Abhiram Ranade , IIT Bombay)

Optimization of Room Acoustics
cOnceptualized and developed a package to simulate and optimize the acoustic behaviour of a closed room with windows and doors under the presence of multiple point sound sources. Implemented in Java with a GUI interface.
(Under the guidance of Prof. S. Arun Kumar , IIT Bombay)

4 Bit CPU
We designed and implemented a 4 bit CPU with microprogrammed control logic. The core of the implementation was Am2901 chip.
(Under the guidance of Prof. S.S.S.P. Rao , IIT Bombay)

text-based web browser - modifications
The aim was to take a system software,understand it's code and improve it. We understood code of W3M-web browser and added log features based on frequency and times of visits,implemented interpretation of new tags like <blink> which were previously ignored by w3m, improved other functionalities like a clock was added to w3m.
(Under the guidance of Prof. G. Sivakumar , IIT Bombay)

Courses Undertaken

I have undertaken courses in the folowing fields of computer science

Data Structures and Algorithms, Design and Analysis of Algorithms
Discreet Structures, Theory of Computation, Formal Methods in Computer Science, Linear Optimisation
Abstractions and Paradigms of programming, Introduction to Programming Languages, Software Systems, Language Processors, Functional Programming.
Introduction to Database Systems, Distributed Systems, Operating Systems, Artificial Intelligence
Logic Design, Computer Architecture and Organization, Assembly Language Programming in Intel 8085/x86 Architectures, Microprocessors and Interfaces, Embedded Systems.
Other courses include Probability and Stochastic Theory, Electronics Design, Basic Electric Circuits.

Language Skills

       Programming Languages that I know well are
             Java, C/C++, Perl, LISP, Scheme, Haskell, Fortran, Pascal, UNIX Shell programming.
       I also know LaTeX, SQL and VHDL.

System Skills

I am proficient with the Linux and HP/UX operating systems and have some experience with Solaris and Windows.
I have worked with Oracle and MySQL and have a reasonable knowledge of both these RDBMS's.

Extra Curricular

Member of the team winning first position at Inter Hostel Table Tennis Competition (2001)
Represented Hotel consecutively for last two years in Inter Hostel Tennis Competition (2001-02)
Actively involved in cultural activities and acted in Performing arts festival (PAF, 2002)
Represented my district in State Level Science Quiz(1998)
Very fond of playing games like Tennis, Table Tennis and Cricket.