LSDIS - Large Scale Distributed Information Systems LSDIS Lab > People > Kunal Verma
Home
Publications
Resume
Research
Job Application
Courses
Contact Info
Use Cases
Resume in pdf     Resume in doc
Education     Work Experience     Publications     Professional Activities     Programming/Technology Skills     Research Projects     Course Projects

 Kunal Verma

Department of Computer Science, 415 Boyd GSRC, Athens GA 30602-7404
Phone: (706) 254-3330                E-mail: verma@cs.uga.edu

 

EDUCATION
Ph.D. candidate  in Computer Science  (Advisors: Dr. John Miller and Dr. Amit Sheth)
University of Georgia (August 2000- present) Expected date of graduation:  June 2006                                                                                                                          GPA 4.0/4.0
B.E. in Electronics and Telecommunications
University of Bombay (August 1999), First Class

WORK EXPERIENCE
IBM T.J. Watson Research Center, Hawthorne, New York
(May 2004to Aug 2004      Summer internship with Semantic e-Middleware Group.
                                       Project consisted of creating an infrastructure for semantic
                                       policy matching.

(May 2003 to Aug 2003)    Summer internship with Intelligent e-Marketplaces Group.
                                       Project consisted of adding dynamic binding to BPEL4WS, 
                                       resulting in a publication in AAAI Spring Symposium

Department of Computer Science, University of Georgia, Athens
(Jan 2003 to present)          Research Assistant in the Large Scale Distributed Information
                                         Systems (LSDIS) Lab for developing infrastructural 
                                         components for semantic discovery and composition of Web
                                         services

(Aug 2003 to May 2004)   Teaching Assistant of advanced courses:
                                           CSCI 8350 (fall), CSCI 8351 (spring)
(Aug 2001 to Dec 2002)    Teaching Assistant for Programming using Java
(Aug 2000 to July 2001)    Research Assistant in the Visual and Parallel computing lab
                                      for developing statistical pattern matching package using C++
                                      and Java.

 Department of Engineering Technology, University of North Texas
(Jan 2000 to Aug 2000)     Research /Teaching Assistant for analog and digital electronics
                                       laboratory
 

PUBLICATIONS
 

JOURNAL PAPERS

  1. Kunal Verma, Kaarthik Sivashanmugam, Amit Sheth, Abhijit Patil, Swapna Oundhakar and John Miller, METEOR-S WSDI: A Scalable Infrastructure of Registries for Semantic Publication and Discovery of Web Services, Journal of Information Technology and Management, Special Issue on Universal Global Integration, Vol. 6, No. 1 (2005) pp. 17-39. Kluwer Academic Publishers. citation info
     

  2. Swapna Oundhakar, Kunal Verma. Kaarthik Sivashanmugam, Amit Sheth and John Miller, Discovery of Web Services in a Federated Registry Environment, International Journal of Web Services Research, 1 (3), 2005, pp. 8-39
     

  3. Sudhanshu Sipani, Kunal Verma, John Miller and Boanerges Aleman-Meza, "Designing a High Performance Database Engine for the `Db4XML' Native XML Database System," Journal of Systems and Software (JSS), Vol. 69/1- 2, pp. 87-104, 2003, Elsevier Science
     

  4. Kaarthik Sivashanmugam, John Miller, Amit Sheth, and Kunal Verma, Framework for Semantic Web Process Composition, International Journal of Electronic Commerce, Winter 2004-5, Vol. 9(2) pp. 71-106 citation info
     

  5. Prashant Doshi, Richard Goodwin, Rama Akkiraju and Kunal Verma,  Dynamic Workflow Composition using Markov Decision Processes, Internation Journal of Web Service Research, 2(1) pp. 1-17, Jan-March 2005
     

  6. Suchendra Bhandarkar, Tongzhang Jiang, Kunal Verma and Nan Li, "Automated Analysis of DNA Hybridization Images for High-Throughput Genomics", Journal of Machine Vision and Applications, Volume 15 (3), July 2004, pp. 121-138
     

BOOK CHAPTERS 

  1. Kaarthik Sivashanmugam, Amit Sheth, John A. Miller, Kunal Verma, Rohit Aggarwal, Preeda Rajasekaran, Metadata and Semantics for Web Services and Processes, Book Chapter, Datenbanken und Informationssysteme, Festschrift zum 60. Geburtstag von Gunter Schlageter, Publication Hagen, October 2003-09-26

  2. Karthik Gomadam, Kunal Verma, Amit Sheth, Semantic Web Services Discovery, Book Chapter, Semantic Web Processes and Their Applications. J. Cardiso, A. Sheth, Editors. Springer, 2006 (in print)

  3. Ke Li, Kunal Verma, John Miller, Karthik Gomadam, Amit Sheth, Semantic Web Process Design, Semantic Web Processes and Their Applications. J. Cardiso, A. Sheth, Editors. Springer, 2006 (in print)

EDITORSHIP OF PROCEEDINGS

  1. Kunal Verma; Amit Sheth; Michal Zaremba; Christoph Bussler (Eds.), Proceedings of the International Workshop in Dynamic Web Processes (DWP 2005) , available as IBM report RC23822, Amsterdam, the Netherlands, December 12, 2005, pp. 1-96


INVITED CONFERENCE PAPERS

  1. Kunal Verma, Amit Sheth. Autonomic Web Processes. In Proceedings of the Third International Conference on Service-oriented Computing (ICSOC), - Vision Paper, 2005. Lecture Notes in Computer Science (LNCS 3826), Springer Verlag. B. Benatallah, F. Casati, P. Traverso editors, pp. 1-11 pdf
     

REFEREED CONFERENCE AND WORKSHOP PAPERS

  1. Kunal Verma, Prashant Doshi, Karthik Gomadam, John A. Miller, Amit P. Sheth, Optimal Adaptation in Web Processes with Coordination Constraints, To appear in the Proceedings of IEEE International Conference on Web services (ICWS 2006) (acceptance rate 18% )
     

  2. Meenakshi Nagarajan, Kunal Verma, Amit P. Sheth, John A. Miller, Jonathan Lathem, Semantic Interoperability of Web Services - Challenges and Experiences, To appear in the Proceedings of IEEE International Conference on Web services (ICWS 2006) (acceptance rate 18% )
     

  3. Nicole Oldham, Kunal Verma, Amit P. Sheth, Farshad Hakimpour, Semantic WS-Agreement Partner Selection, To appear in the Proceedings of 15th International World Wide Web Conference (WWW2006) (acceptance rate 11%) pdf
     

  4. Kunal Verma, Rama Akkiraju, Richard Goodwin, Semantic Matching of Web Service Policies, Second International Workshop on Semantic and Dynamic Web Processes (SDWP 2005), In Conjunction with the Third International Conference on Web Services (ICWS'05), July, 2005, Orlando, Florida, pp. 79-90 pdf
     

  5. Kunal Verma, Adrian Mochan, Michal Zaremba, Amit Sheth, John Miller, Christoph Bussler, Linking Semantics Web service Efforts - Integrating WSMX and METEOR-S, Second International Workshop on Semantic and Dynamic Web Processes (SDWP 2005), In Conjunction with the Third International Conference on Web Services (ICWS'05), July, 2005, Orlando, Florida,pp. 126-138 pdf
     

  6. Kunal Verma, Rama Akkiraju, Richard Goodwin, Prashant Doshi, Juhnyoung Lee, On Accommodating Inter Service Dependencies in Web Process Flow Composition, Proceedings of the AAAI Spring Symposium on Semantic Web Services, March, 2004, Stanford, California, pp. 37-43 pdf ppt citation info
     

  7. Ranjit Mulye, John Miller, Kunal Verma, Karthik Gomadam, Amit Sheth A Semantic Template Based Designer for Web Processes , The Proceedings of the Third International Conference on Web Services, July, 2005, pp. 461-469 pdf
     

  8. Rohit Aggarwal, Kunal Verma, John A. Miller and William Milnor, "Constraint Driven Web Service Composition in METEOR-S," Proceedings of the 2004 IEEE International Conference on Services Computing (SCC 2004), Shanghai, China, September 2004 , pp. 23-30 pdf ppt
     

  9. Kaarthik Sivashanmugam, Kunal Verma, Amit P. Sheth, Discovery of Web Services in a Federated Registry Environment, Proceedings of IEEE Second International Conference on Web Services, June, 2004, San Diego, California, pp. 270-278  (acceptance rate 28%) pdf ppt
     

  10. Prashant Doshi, Richard Goodwin, Rama Akkiraju, Kunal Verma: Dynamic Workflow Composition using Markov Decision Processes, Proceedinsg of IEEE Second International Conference on Web Services, June, 2004, San Diego, California, pp. 576-582 (acceptance rate 28%)
     

  11. Abhijit Patil, Swapna Oundhakar, Amit Sheth, Kunal Verma, METEOR-S Web service Annotation Framework, The Proceedings of the Thirteenth International World Wide Web Conference, May, 2004 (WWW2004), New York, pp. 553-562 (acceptance rate 14%) pdf ppt citation info
     

  12. Natenapa Sriharee, Twittie Senivongse, Kunal Verma, Amit P. Sheth: On using WS-Policy, Ontology, and Rule Reasoning to Discover Web Services. INTELLCOMM 2004, pp. 246-255
     

  13. Preeda Rajasekaran, John A. Miller, Kunal Verma and Amit P. Sheth, "Enhancing Web Services Description and Discovery to Facilitate Composition," Proceedings of the 1st International Workshop on Semantic Web Services and Web Process Composition (SWSWPC'04), In Conjunction with the 2nd International Conference on Web Services (ICWS'04), San Diego, California (July 2004) pp. 34-47.
     

  14. Nicole Oldham, Christopher Thomas, Amit Sheth, Kunal Verma, METEOR-S Web Service Annotation Framework with Machine Learning Classification, Proceedings of the 1st International Workshop on Semantic Web Services and Web Process Composition (SWSWPC'04), In Conjunction with the 2nd International Conference on Web Services (ICWS'04), San Diego, California (July 2004) pp. 137 - 146
     

  15. Kaarthik Sivashanmugam, Kunal Verma, Amit Sheth, John A. Miller, Adding Semantics to Web Services Standards, Proceedings of the 1st International Conference on Web Services (ICWS'03), Las Vegas, Nevada (June 2003) pp. 395-401. pdf   ppt citation info
     

  16. Sudhanshu Sipani, Kunal Verma, Senthilanand Chandrasekaran, Xiao-Qing Zeng, Jianping Zhu, Dongsheng Che, Kai Wang, "Designing an XML Database Engine: API and Performance," Proceedings of the 40th Annual ACM Southeast Conference (ACM-SE'02), Raleigh, North Carolina (April 2002) pp. 239-245. 
     

  17. Suchendra Bhandarkar, Tongzhang Jiang, Kunal Verma and Nan Li, Image Analysis for high throughput genomics,  Proceedings of the International Conference on Image Processing (ICIP), 2001, Vol.2, pp.285-288

DEMO PAPERS/POSTERS 

  1. Karthik Gomadam, Kunal Verma, Amit P. Sheth, John A. Miller, Demonstrating Dynamic Configuration and Execution of Web processes, In Proceedings of the Third International Conference on Service-oriented Computing (ICSOC), Demo Paper, 2005 Lecture Notes in Computer Science (LNCS 3826), Springer Verlag. B. Benatallah, F. Casati, P. Traverso editors, pp. 502 - 507
     
  2. Ivan Vasquez, John A. Miller, Kunal Verma, Amit P. Sheth, OpenWS-Transaction: Enabling Reliable Web Service Transactions, In Proceedings of the Third International Conference on Service-oriented Computing (ICSOC), Demo Paper, 2005 Lecture Notes in Computer Science (LNCS 3826), Springer Verlag. B. Benatallah, F. Casati, P. Traverso editors, pp. 490 - 494
     
  3. Karthik Gomadam, Kunal Verma, Douglas Brewer, Amit P.Sheth, John A. Miller, Radiant: A tool for semantic annotation of Web Services, The Proceedings of the 4th International Semantic Web Conference (ISWC 2005) Galway, Ireland - Demo Paper
     

TUTORIALS

  1. Amit Sheth, Francisco Curbera, Kunal Verma, Service Oriented Architectures and Semantic Web Processes, Second International Conference on Web Services, San Diego, June, 2004 ppt
     

  2. Amit Sheth, Francisco Curbera, Kunal Verma, Service Oriented Architectures and Semantic Web Processes, First International Conference on Service Oriented Computing, New York, Nov 15, 2004 ppt

PRESENTATIONS

  1. Creating Web Processes using BPEL4WS, Presentation at IEEE Atlanta Chapter, Atlanta, October 29, 2003 ppt

SUBMITTED PAPERS/PAPERS IN PREPARATION

  1. Kunal Verma, Karthik Gomadam, Prashant Doshi, John Miller, Amit Sheth, Supporting Autonomic Web Processes (Journal paper in preparation)
     
  2. Kunal Verma, Prashant Doshi, Karthik Gomadam, John Miller, Amit Sheth, Optimal Adaptation in Autonomic Web Processes with Inter-Service Dependencies,   LSDIS Lab, Technical Report, November 2005 (submitted Conference paper)
  3. Rama Akkiraju, John Colgrave, Kunal Verma, Prashant Doshi, Richard T. Goodwin, Dynamic Discovery and Binding of Web Services to Abstract Web Process Flows, (Resubmitted to International Journal of Web Services Research with revisions)
     

PROFESSIONAL ACTIVITIES

Organizer/ PC Chair (with Amit P. Sheth, Chris Bussler, Michal Zaremba) International Workshop on Dynamic Web Processes (DWP, 2005), December 12, 2005, Amsterdam, The Netherlands

Organizer/ PC Chair (with Manfred Reichert, Andreas Wombacher )DPM 2006 - International Workshop on Dynamic Process Management (colocated with BPM 2006), Vienna, SSeptember, 2006.

Organizer/ PC Chair (with Ioan Toma, Dumitru Roman)Service Discovery on the WWW Workshop (sdisco'06) at The 1st Asian Semantic Web Conference (ASWC'06), September 4, 2006, Beijing, China .


Program Committee Member

  1. Second International Workshop on Semantic and Dynamic Web Processes Orlando, July 12, 2005 (In conjunction with ICWS 2005)
  2. International Conference on Next Generation Web Services Practices (NGWSP'05) August 23-27, 2005, Seoul, Korea
  3. 6th VLDB Workshop on Technologies for E-Services (TES-05) September 2 and 3, 2005 Trondheim, Norway (In conjunction with VLDB 2005)
  4. 2005 Middleware for Web Services (MWS 2005) Workshop, 19 September 2005, Enschede, The Netherlands (In conjunction with EDOC 2005)
  5. The IASTED International Conference on Databases and Applications (DBA 2006), February 13 - 15, 2006, Innsbruck, Austria
  6. Mini Track on Web Services, Hawaii International Conference on System Sciences (HICSS 2005), Poipu, Kauai, Hawaii
  7. 4Th International Conference on Business Process Management (BPM 2006), September 5-7, 2006, Vienna, Austria
  8. Workshop on AI-Driven Technologies for Services-Oriented Computing, July , 2006, Boston, Massachusetts ( In conjunction with AAAI 2006)
  9. the Joint 8th IEEE Conference on E-Commerce Technology (CEC' 06) and the 3rd IEEE Conference on Enterprise Computing, E-Commerce and E-Services (EEE' 06), San Francisco, CA, June 26-29, 2006
  10. Third International Workshop on Semantic and Dynamic Web Process (SDWP 2006), In conjunction with the 2006 IEEE International Conference on Web Services (ICWS'2006) September 18-22, 2005, Chicago, USA
  11. Second International Workshop on Grid and Peer-to-Peer based Workflows (GPWW'06), In conjunction with BPM 2006
  12. Technology and Strategies for Realizing Service-oriented Architectures with Web services" mini-track at the Hawaii International Conference on System Sciences (HICSS 2006)
  13. Middleware for Web Services (MWS) 2006 workshop at EDOC 2006, Hong Kong

REVIEWER/REFEREE FOR JOURNALS

  1. ACM Transactions on Internet Technology, Special Issue on 'Middleware for Service-Oriented Computing', 2006.
  2. IEEE Internet Computing.
  3. The International Journal on Business Process Integration and Management (IJBPIM), special issue on Middleware for Web Services (MWS).
  4. IEEE Transactions on Systems, Man and Cybernetics

CONTRIBUTION TO STANDARDS

Rama Akkiraju, Joel Farrell, John Miller, Meenakshio Nagarajan, Amit Sheth, and Kunal Verma, Web Service Semantics, WSDL-S W3C Member Submission

OPEN SOURCE TOOLS

METEOR-S Web service tools release using Eclipse

SIGNIFICANT ASSISTANCE IN FUNDING PROPOSALS (with intellectual contributions)

Eclipse Innovation Grant 2004 Principal Investigators (Amit Sheth (PI), John Miller),  Eclipse foundation, Jan 1, 2004 to Dec 1, 2004 (Funded)

Eclipse Innovation Grant 2005 Principal Investigators (Amit Sheth (PI), John Miller),  Eclipse foundation, Jan 1, 2005 to Dec 1, 2005 (Funded)

Dynamic Web Process: Semantic and QoS-based discovery, binding and composition of Web Services, Amit Sheth (PI), John Miller, Jianwen Su (UMBC), Francisco Curbera (IBM) (not funded) 

Multiparadigm Reasoning for Dynamic Processes, Amit Sheth (PI), John Miller , (shortlisted for second round) 

PROGRAMMING AND TECHNOLOGY SKILLS

Languages:                       C, C++, PERL, Java, Pascal, UML, HTML, and JavaScript
Web technologies:             XML, XSLT, Java Servlets, CGI
Operating Systems:           Windows 9x/2000/NT, Unix, Solaris, Linux, DOS
Databases:                       SQL, MySQL, JDBC, Native XML Databases, XQuery, XPath
Software Packages:           MATLAB, PSpice, Labview, Rational Rose and Altera
Parallel/Dist. Computing     JINI, CORBA, MPI, RMI, JXTA
Hardware:                         Assembly Language, VHDL
Semantic Web:                  RDF, DAML+OIL, OWL, SNOBASE
Web Services:                   SOAP, UDDI, WSDL, BPEL4WS


RELEVANT COURSE WORK

Operating Systems, Databases, Advanced Software Engineering, Distributed and Parallel Computing, Advanced Databases, Algorithms, Design of Digital Circuits, Digital Signal Processing, Compilers, Semantic Enterprise, Management Information Systems

 

RESEARCH PROJECTS

COURSE PROJECTS

  Distributed Computing

  • Implemented a federated native XML database using Java, SOAP, UDDI and Web Services
  • Implemented an E-Voter application using Java / CORBA and MySQL. The project involved design of various components using Rational Rose (UML) before coding and testing. Voters accessed the application through a web using an interface provided by a Java servlet. The servlet then acted as a client to the CORBA server that interacted with the MySQL database server.
  • Developed applications for an Intranet using Perl /CGI, HTML, Java and JavaScript. 

Compilers

  • Implemented a compiler for a significant subset of C using Flex, Bison and C++. The project involved parsing, lexical and semantic analysis and conversion to intermediate code. 

Databases

  • Implemented a Database Engine for a main memory native XML database with concurrency and recovery using Java. The engine was developed to support a subset of XQuery and provided an API for queries inserts and deletes.
  • Implemented a DBMS for a subset of SQL using Java. The project involved generating a relational algebra tree for each query and then traversing it to process the query. Indexing was also provided for the data 

Operating Systems

  • Implemented features for a skeletal operating system (Nachos) in C++. Basic nachos code contains threads, linear paging, a stub file system and interrupt handlers. The project involved implementing semaphores and monitors, system calls, virtual memory and a file system. 

Parallel Computing

  • Performing an analysis on the effect of memory size on data parallel programs.
  • Implemented parallel programs on a shared memory multiprocessor for Jacobi iterations and LU in C. The programs were self-adapting and included load balancing.
  • Implemented parallel programs for Jacobi iterations and LU decomposition using MPI in C 

Compilers

  • Implemented a compiler for a significant subset of C using Flex, Bison and C++. The project involved parsing, lexical and semantic analysis and conversion to intermediate code.  

Image Processing / GUI

  • Developed a statistical pattern-matching package for automatic genome mapping using C++, Java and JNI. The algorithms were in C++ and the GUI was written in Java. 

Speech Recognition

  1. Designed and implemented various algorithms for speech recognition using MATLAB
     

Electronics and Telecommunications

  • Implemented and simulated various digital circuits on Altera.
  • Implemented various circuits for AM receivers, filters and amplifiers
  • Performed a case study on Iridium
  • Implemented and designed circuits for wireless power transmission using elecromagnetic coupling.

Networking

  • Implemented a multithreaded Server/Client application in C++ using socket programming to serve as an interface between a legacy application and remote clients.

 




 

 

Kunal Verma
METEOR-S @ LSDIS
METEOR-S Discussion forum and archive
JavaScript, RSS and AJAX powered
The content and opinions expressed on this Web page do not necessarily reflect the views of nor are they endorsed by the University of Georgia or the University System of Georgia.