Her research centers on formal methods in software engineering. An ACM Distinguished Scientist, Laura has served on numerous editorial boards, program committees, funding panels, and advisory committees-most recently, as Vice Chair of ACM SIGSOFT and General Chair of the 38th International Conference on Software Engineering. Laura was a founding adviser of MSU Women in Computing; a founding organizer of the Michigan Affiliate NCWIT Aspirations in Computing Award; and a founding organizer of the Michigan Celebrations of Women in Computing and General Chair of the first one. Laura co-led TechKobwa, a technology camp for secondary-school teachers and female students in Rwanda, for three summers.