Anitha Murugesan

"Nothing is impossible, the word itself says 'I'm possible'!" [Audrey Hepburn]
Business Card
-
Anitha Murugesan
Research Assistant
Department of Computer Science and Engineering
University of Minnesota
Office: 6-248, Keller Hall, 200 Union St, Minneapolis, MN 55455
Email: anitha@cs.umn.edu
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.
↑