1996년 CNRS 은메달은 추상적 명세와 산업적 응용 사이의 격차를 메운 프랑스의 컴퓨터 과학자이자 수학자인 마리-클로드 고델(Marie-Claude Gaudel)에게 주어진 공식적인 인정 중 하나입니다. 1946년 낭시에서 태어난 이래, 그녀는 수십 년 동안 유럽 학계 내에서 형식적 테스트 방법과 소프트웨어 명세 언어의 발전을 이끌어 왔습니다.
학문적 배경
고델은 낭시 대학교에서 교육을 시작했으며, 수학과 그 근본적인 응용 분야의 교차점에 집중했습니다. 1968년에 석사 학위를 받았고, 1969년에는 수학 DEA 학위를 취득했습니다. 컴퓨터 과학으로의 전환은 1971년 대학원 박사 학위 취득으로 공고해졌으며, 1980년 국립 박사 학위 취득으로 정점에 달했습니다.
연구 및 개발
그녀의 전문 경력은 1973년 프랑스 국립 정보통신 자동화 연구소(INRIA)에서 시작되었습니다. 1981년에서 1984년 사이에는 마르쿠시의 알카텔-알스톰(Alcatel-Alsthom) 연구 센터에서 소프트웨어 공학 그룹을 관리했습니다. 1984년에는 오르세의 파리 남부 대학교에 교수로 부임했습니다. 1980년대와 1990년대에는 소프트웨어 명세를 위한 PLUSS 언어와 ASSPEGIQUE 환경 구축에 기여했으며, 그녀의 팀은 테스트 데이터 선택을 위한 LOFT 시스템을 개발했습니다.
테스트 방법론
그녀의 학술적 성과는 형식적 명세라는 렌즈를 통해 소프트웨어 테스트를 일관되게 고찰해 왔습니다. 2000년대에는 요크 대학교 연구원들과 협력하여 Circus 언어로 작성된 소프트웨어를 테스트했습니다. 그녀의 연구는 근사 소프트웨어 검증과 무작위 소프트웨어 테스트 및 분석을 위한 알고리즘 설계 분야로 확장되었습니다.
전문적 인정
고델은 2007년 3월 파리 남부 대학교 교수직에서 은퇴했습니다. 그녀의 경력에는 1995년 EPFL 및 2013년 요크 대학교로부터 받은 명예 박사 학위와 2011년 레지옹 도뇌르 훈장(슈발리에) 수훈이 포함됩니다. 그녀는 여전히 과학 협회에서 활발히 활동하며 프로그램 위원회에서 봉사하고, 'The Science of Computer Programming' 및 'Formal Aspects of Computing'과 같은 저널의 편집을 맡고 있습니다.
요약 정보
- 출생: 1946년, 프랑스 낭시 - 분야: 컴퓨터 과학 및 수학 - 학력: 낭시 대학교 - 수상: CNRS 은메달 (1996년) - 수상: 레지옹 도뇌르 훈장 (2011년) - 명예 박사: EPFL (1995년), 요크 대학교 (2013년)
독자 질문
### 마리-클로드 고델의 연구 초점은 무엇입니까?
그녀는 이론 및 응용 컴퓨터 과학을 전문으로 하며, 특히 형식적 명세에 기반한 소프트웨어 테스트에 집중하고 있습니다.
### 마리-클로드 고델은 여전히 과학 커뮤니티에서 활동하고 있습니까?
네, 2007년 파리 남부 대학교에서 은퇴했음에도 불구하고 여전히 프로그램 위원회에서 활동하며 학술 저널 편집을 계속하고 있습니다.
