| http://dbpedia.org/ontology/abstract
|
Insup Lee is the Cecilia Fitler Moore Prof … Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science at the University of Pennsylvania, United States. He is also the Director and co-founder of the PRECISE Center. Lee obtained his B.S. in mathematics from the University of North Carolina at Chapel Hill in 1977, followed by his M.S. and Ph.D. in Computer Science at the University of Wisconsin-Madison in 1983. That same year, he joined the University of Pennsylvania as an assistant professor. Lee's research is predominantly focused on cyber-physical systems (CPS), real-time computing, high-confidence medical devices, formal methods and tools, and run-time verification. Much of his recent work has been related to CPS security, particularly for medical devices. Lee is also a Fellow of the ACM and IEEE. Lee is also a Fellow of the ACM and IEEE.
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.cis.upenn.edu/~lee/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
66534536
|
| http://dbpedia.org/ontology/wikiPageLength
|
3098
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1086424864
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Cyber-physical_system +
, http://dbpedia.org/resource/Electronic_Notes_in_Theoretical_Computer_Science +
, http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/University_of_Pennsylvania +
, http://dbpedia.org/resource/University_of_North_Carolina_at_Chapel_Hill +
, http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/Runtime_verification +
, http://dbpedia.org/resource/University_of_Wisconsin-Madison +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Category:Formal_methods_people +
, http://dbpedia.org/resource/Category:University_of_Pennsylvania_faculty +
, http://dbpedia.org/resource/Real-time_computing +
, http://dbpedia.org/resource/IEEE +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Association_for_Computing_Machinery +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:GoogleScholar +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Use_dmy_dates +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Fellows_of_the_Association_for_Computing_Machinery +
, http://dbpedia.org/resource/Category:Fellow_Members_of_the_IEEE +
, http://dbpedia.org/resource/Category:Living_people +
, http://dbpedia.org/resource/Category:Year_of_birth_missing_%28living_people%29 +
, http://dbpedia.org/resource/Category:American_computer_scientists +
, http://dbpedia.org/resource/Category:University_of_Pennsylvania_faculty +
, http://dbpedia.org/resource/Category:Formal_methods_people +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Insup_Lee?oldid=1086424864&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Insup_Lee +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q67409223 +
, https://global.dbpedia.org/id/D6P6k +
, https://dblp.org/pid/l/InsupLee +
, https://orcid.org/0000-0003-2672-1132 +
, http://dbpedia.org/resource/Insup_Lee +
|
| rdfs:comment |
Insup Lee is the Cecilia Fitler Moore Professor in the Department of Computer and Information Science at the University of Pennsylvania, United States. He is also the Director and co-founder of the PRECISE Center.
|
| rdfs:label |
Insup Lee
|
