Normal view
MARC view
Entry Personal Name
001 - CONTROL NUMBER
- control field: 6568
003 - CONTROL NUMBER IDENTIFIER
- control field: EG-CaNGU
005 - DATE AND TIME OF LATEST TRANSACTION
- control field: 20250209142128.0
008 - FIXED-LENGTH DATA ELEMENTS
- fixed length control field: 230112nn azannaabn n aaa d
040 ## - CATALOGING SOURCE
- Original cataloging agency: UkOxU
- Language of cataloging: eng
- Description conventions: rda
- Transcribing agency: UkOxU
- Modifying agency: EG-CaNGU
100 1# - HEADING--PERSONAL NAME
- Personal name: Charpentier, Michel
- Titles and other words associated with a name: (Computer scientist)
370 ## - ASSOCIATED PLACE
- Associated country: United States
- Associated country: France
- Other associated place: Durham (N.H.)
- Other associated place: Pasadena (Calif.)
- Source of term: naf
372 ## - FIELD OF ACTIVITY
- Field of activity: Computer science
- Field of activity: Programming languages (Electronic computers)
- Field of activity: Computer multitasking
- Field of activity: Computer systems--Verification
- Field of activity: Electronic data processing--Distributed processing
- Source of term: lcsh
373 ## - ASSOCIATED GROUP
- Associated group: University of New Hampshire. Department of Computer Science
373 ## - ASSOCIATED GROUP
- Associated group: California Institute of Technology
- Source of term: naf
374 ## - OCCUPATION
- Occupation: Computer scientists
- Source of term: lcsh
374 ## - OCCUPATION
- Occupation: University and college faculty members
- Source of term: lcdgt
377 ## - ASSOCIATED LANGUAGE
- Language code: eng
670 ## - SOURCE DATA FOUND
- Source citation: Functional, object-oriented, and concurrent programming, 2022:
- Information found: title page (Michel Charpentier) About the author page (associate professor with the Computer Science department at the University of New Hampshire; his interests over the years have ranged from distributed systems to formal verification and mobile sensor networks; he has been with UNH since 1999 and currently teaches courses in programming languages, concurrency, formal verification, and model-checking)
670 ## - SOURCE DATA FOUND
- Source citation: LinkedIn WWW site, viewed January 12, 2023
- Information found: (Michel Charpentier; Associate Professor, University of New Hampshire, November 1999-; Postdoctoral Researcher (August 1998-October 1999) and Visiting Associate Professor (September 2006-August 2007), Caltech; PhD Computer Science and Master's degree Computer Science, Toulouse INP; engineer's degree Computer Science and Applied Mathematics, ENSEEIHT)