About: Nancy Leveson

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Nancy Leveson Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatFormalMethodsPeople, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FNancy_Leveson

Nancy G. Leveson is an American specialist in system and software safety and a Professor of Aeronautics and Astronautics at MIT, United States. Leveson gained her degrees (in computer science, mathematics and management) from UCLA, including her PhD in 1980. Previously she worked at University of California, Irvine and the University of Washington as a faculty member. She has studied safety-critical systems such as the Traffic Collision Avoidance System (TCAS) for the avoidance of midair collisions between aircraft and problems with the Therac-25 radiation therapy machine.

Attributes	Values
rdf:type	Thing person yago:WikicatAmericanComputerScientists yago:WikicatAmericanNon-fictionWriters yago:WikicatComputerScienceWriters yago:WikicatLivingPeople yago:WikicatWomenComputerScientists yago:CausalAgent100007347 yago:Communicator109610660 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:Editor110044879 yago:LivingThing100004258 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:Worker109632518 yago:Writer110794014 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:SkilledWorker110605985 yago:Whole100003553 yago:WikicatAcademicJournalEditors yago:WikicatFormalMethodsPeople
rdfs:label	نانسي ليفسون (ar) Nancy Leveson (de) ナンシー・レブソン (ja) Nancy Leveson (en)
rdfs:comment	نانسي ليفسون (بالإنجليزية: Nancy Leveson)‏نانسي ج ليفسون هي رئيسة الخبراء الأمريكيين في سلامة و أمان نظم البرامج, هي بروفيسور في الملاحة الجوية و الفضائية في معهد ماساتشوستس للتقنية,أمريكا.نانسي ليفسون حاصلة على شهادات في علوم ( الكومبيوتر, الرياضيات, الإدارة) من جامعة كاليفورنيا,لوس أنجلوس, كما أنها حاصلة على شهادة دكتوراه في عام 1980.عملت في جامعة كاليفورنيا، إرفاين و في جامعة واشنطن كعضو في هيئة التدريس. درست نظم الحياة الحرجة(التي من الممكن أن تسبب الوفاة أو اصابة للإنسان,أن تسبب أذى للبيئة) مثل نظام تجنب التصادم الجوي لتجنب التصادم الجوي بين الطائرات و المشاكل الناتجة من جهاز العلاج الإشعاعي ثيراك 25.تشغل ليفسون أيضاً منصب محرر في جريدة IEEE Transactions on Software Engineering. و هي عضو في رابطة مكائن الحوسبة, آي تريبل إي, مجتمع المعلوماتية, المعهد الأمريكي للملاحة الجوية و الفضائية. (ar) ナンシー・レブソン（英語:Nancy Gail Leveson）は、MITの航空宇宙学教授。安全工学の専門家でもある。カリフォルニア大学アーバイン校とワシントン大学 (ワシントン州)で教員として勤務した後、UCLAで数学・コンピュータ科学・管理学の学位を取得した。放射線治療装置「セラック25」の異常動作回避、航空機の空中衝突防止装置（TCAS）など、マンマシンインターフェースの安全性向上に関する研究を行った。ジャーナル en:IEEE Transactions on Software Engineering の編集者でもある。彼女は、 ACM、IEEE Computer Society、System Safety Society、およびアメリカ航空宇宙学会(AIAA)の会員資格を持つ。 (ja) Nancy G. Leveson ist eine US-amerikanische Informatikerin (Software-Ingenieurin), Luft- und Raumfahrtingenieurin, Systemingenieurin und Hochschullehrerin am Massachusetts Institute of Technology (MIT). Sie befasst sich mit Software-Sicherheit. 1999 erhielt sie den ACM-AAAI Allen Newell Award, 1995 den AIAA Information Systems Award und 2005 erhielt sie den ACM Sigsoft Outstanding Research Award. Sie ist Mitglied der National Academy of Engineering. Sie ist Fellow der Association for Computing Machinery. (de) Nancy G. Leveson is an American specialist in system and software safety and a Professor of Aeronautics and Astronautics at MIT, United States. Leveson gained her degrees (in computer science, mathematics and management) from UCLA, including her PhD in 1980. Previously she worked at University of California, Irvine and the University of Washington as a faculty member. She has studied safety-critical systems such as the Traffic Collision Avoidance System (TCAS) for the avoidance of midair collisions between aircraft and problems with the Therac-25 radiation therapy machine. (en)
dcterms:subject	21st-century American women Living people Year of birth missing (living people) Academic journal editors American computer scientists American non-fiction writers American women academics American women computer scientists Members of the United States National Academy of Engineering University of California, Irvine faculty University of California, Los Angeles alumni MIT School of Engineering faculty University of Washington faculty Formal methods people Computer science writers
Wikipage page ID	12008094 (xsd:integer)
Wikipage revision ID	1078721721 (xsd:integer)
Link from a Wikipage to another Wikipage	American Institute of Aeronautics and Astronautics United States University of California, Irvine University of Washington 21st-century American women Living people Year of birth missing (living people) MIT Academic journal editors American computer scientists American non-fiction writers American women academics American women computer scientists Members of the United States National Academy of Engineering University of California, Irvine faculty University of California, Los Angeles alumni UCLA Addison-Wesley MIT School of Engineering faculty Traffic Collision Avoidance System Astronautics Association for Computing Machinery Accident analysis University of Washington faculty Formal methods people Computer science writers Ashgate Publishing Institute of Electrical and Electronics Engineers National Academy of Engineering IEEE Medal for Environmental and Safety Technologies IEEE Transactions on Software Engineering IEEE Computer Society Therac-25 Safety-critical system System safety
Link from a Wikipage to an external page	http://sunnyday.mit.edu/papers/therac.pdf https://direct.mit.edu/books/book/2908/Engineering-a-Safer-WorldSystems-Thinking-Applied https://mitpress.mit.edu/books/engineering-safer-world http://sunnyday.mit.edu/ http://sunnyday.mit.edu/book.html https://books.google.com/books%3Fid=rygf6axAH7UC&dq=Resilience+Engineering:+Concepts+and+Precepts&lr=&source=gbs_navlinks_s
sameAs	Nancy Leveson Nancy Leveson Nancy Leveson Nancy Leveson Nancy Leveson Nancy Leveson Nancy Leveson Nancy Leveson

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 53 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software