Anitha Murugesan


"Nothing is impossible, the word itself says 'I'm possible'!" [Audrey Hepburn]


Business Card

 View CV 

Brief Bio

Anitha Murugesan is a PhD student in the Department of Computer Science at University of Minnesota at Twin Cities. Her research interests are requirements analysis, model based development and verification of cyber physical systems. She is a research assistant in the Crisys group (Critical Systems Reserach) guided by Dr.Mats Heimdahl. She is currently working on identifying and demonstrating effective compositional requirements verification techniques for cyber physical systems. Click here to view a video demonstration of the project. Prior to pursuing PhD, she has worked at Honeywell Technology Solutions Lab , India as an IT professional specialized in web applications. Her hobbies are playing keyboard and painting.

Publications

  • Michael W Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats PE Heimdahl, Insup Lee Hierarchical Multi-Formalism Proofs of Cyber-Physical Systems Accepted at International Conference on Formal Methods and Models for System Design, Austin, TX, September 2015.
  • Anitha Murugesan, Sanjai Rayadurgam, Michael Whalen and Mats Heimdahl Design Considerations for Modeling Modes in Cyber–Physical Systems Accepted at IEEE Design and Test, August 2015.
  • Anitha Murugesan, Michael Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Heimdahl and Dongjiang You.Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. Accepted at NASA Formal Methods Symposium, Parsedena, CA, April 2015.
  • Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Mats Heimdahl, Baek-Gyu Kim, Oleg Sokolsky and Insup Lee.From Requirements to Code: Model Based Development of a Medical Cyber Physical System. Accepted at Symposium on Foundations of Health Information Engineering and Systems (FHIES) and the Software Engineering in Healthcare (SEHC) Workshop, Washington DC, July 2014.
  • Anitha Murugesan, Lu Feng, Mats Heimdahl, Sanjai Rayadurgam, Michael Whalen, and Insup Lee. Exploring the Twin Peaks Using Probabilistic Verification Techniques. Accepted at Fourth International Workshop on the Twin Peaks of Requirements and Architecture, India, May 2014.
  • Michael Whalen, Anitha Murugesan, Sanjai Rayadurgam, and Mats Heimdahl Structuring Simulink Models for Verification and Reuse. Accepted at Sixth International Workshop on Modelling in Software Engineering, India, May 2014.
  • Anitha Murugesan, Oleg Sokolsky ,Sanjai Rayadurgam, Michael Whalen, Mats Heimdahl and Insup Lee Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. Accepted at 5th International Conference on Cyber-Physical Systems, Berlin, Germany, April 2014.
  • Anitha Murugesan, Michael Whalen, Sanjai Rayadurgam and Mats Heimdahl. Compositional Verification of a Medical Device System. Accepted at High Integrity Language Technology Accepted at High Integrity Language Technology, Pittsburg, Nov 2013. Outstanding Paper Award. PDF
  • Anitha Murugesan, Sanjai Rayadurgam, Mats Heimdahl Using Models to Address Challenges in Specifying Requirements for Medical Cyber-Physical Systems. Accepted at Medical Cyber Physical Systems Workshop, Philadelphia, Pennsylvania, Apr 2013. PDF
  • Anitha Murugesan, Sanjai Rayadurgam, Mats Heimdahl. Modes, Features, and State-Based Modeling for Clarity and Flexibility. Accepted at Workshop on Modeling in Software Engineering, San Francisco, California, May 2013. PDF
  • Mats P.E. Heimdahl, Lian Duan, Anitha Murugesan, Sanjai Rayadurgam. Modeling and Requirements on the Physical Side of Cyber-Physical Systems. Accepted at Second International Workshop on the Twin Peaks of Requirements and Architecture, San Francisco, California, May 2013. PDF
  • Michael W. Whalen, Andrew Gacek, Darren Cofer, Anitha Murugesan, Mats P. E. Heimdahl and Sanjai Rayadurgam.Your What is My How: Iteration and Hierarchy in System Design Accepted at IEEE Software Journal, Nov 2012. PDF
  • Michael Whalen, Mats Heimdahl and Anitha Murugesan. Your What is My How: Why Requirements and Architectural Design Should Be Iterative Accepted at First International Workshop on the Twin Peaks of Requirements and Architecture, Chicago, Illinois, Jun 2012 PDF

Education

  • Expected 2016

    Ph.D. - Computer Science

    University of Minnesota, Minneapolis, MN
    Advisor: Dr. Mats P.E. Heimdahl
  • Jan 2015

    M.S - Computer Science

    University of Minnesota, Minneapolis, MN
  • May 2004

    Master of Technology - Computer Science

    Vellore Institute of Technology, India
  • May 2002

    Bachelor of Engineering - Electrical & Electronics

    University of Madras, India

Experience

Research Experience

  • Summer 2014

    Research Intern

    Robust Software Engineering Group, NASA AMES Research Centre, Mountain View, CA
    Worked on requirements analysis through program analysis and testing techniques.
    Supervisor: Dr. Neha Rungta.
  • Jan 12-Present

    Research Assistant

    Dept of Computer Science, University of Minnesota, Minneapolis
    Working on Cyber-physical systems requirements analysis research.
    Advisor: Dr. Mats P.E. Heimdahl.
  • Jul 2006 - Feb 2007

    Team Lead

    Honeywell ALS, South bend, Indiana
    Worked on Analysis and Data Manager - an integrated environment that automates the management and analysis of Honeywell's Aircraft Landing System's data.
  • Oct 2001 - Dec 2001

    Project trainee

    Bharat Electronics Ltd, Chennai, India
    Designed and developed a unique algorithm that accurately controls speed of the turret motor of a tank.

Industrial Experience

  • Nov 2008- Feb 2010

    Team Lead/Project Manager

    Honeywell Technology Solutions, Bangalore, India
    Worked as Project and Vendor Manager for managing web-based applications.
  • Apr 2007 - Oct 2008

    Team Lead/Project Manager

    Honeywell Aerospace, Olathe, Kansas
    Worked as Onsite Technical Coordinator and Project Manager for Honeywell Aerospace Portal Order Management and business web applications.
  • Jun 2004 - Apr 2007

    Senior Engineer

    Honeywell Aerospace, Olathe, Kansas
    Worked on requirement analysis, design, development and project management activities for Honeywell Aircraft Landing data analysis application.
    Performed design and development activities for Honeywell mechanical design analysis tool and other web-based business applications.
  • Sep 2003 - May 2004

    Senior Engineer

    Honeywell Technology Solutions, Bangalore, India
    Involved in functional implementation of Honeywell Aerospace Warranty Registration Web application.

Teaching Experience

  • Spring 2016

    Teaching Assistant

    University of Minnesota.
    Course: Software Design
    Duties included holding office hours and grading.
  • Fall 2011

    Teaching Assistant

    University of Minnesota.
    Course: Software Engineering
    Duties included holding office hours and grading.

Awards

  • Nov 2013

    Outstanding Paper Award

    Paper: Compositional Verification of a Medical Device System.
    Venue: High Integrity Language Technology, Pittsburg
  • Feb 2010

    Patent Award

    Awarded by: Patent Paralegal, Honeywell Aerospace, India.
    Project: Analysis Data Manager
  • 2004-2009

    Individual Excellence, Team Achievement and Team Excellence Awards

    Awarded by: Honeywell Technology Solutions, India.
  • May 2004

    University Gold Medalist (University First Rank in M.Tech)

    Awarded by: Vellore Institute of Technology, India
  • Sep 2001

    Best Technical Paper Award

    Paper : JINI
    Venue: Futura 2K1, National Level Technical Symposium, India.