About: Stephanie Weirich

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Stephanie Weirich (/ˈwaɪərɪk/ WYRE-ik) is an American computer scientist specializing in type theory, type inference, dependent types, and functional programming. She is a professor of computer science at the University of Pennsylvania. Weirich's work on type inference has been incorporated into the Glasgow Haskell Compiler. She has also been a leader of the POPLmark challenge for benchmarking type systems of programming languages. Weirich won the Robin Milner Young Researcher Award of ACM SIGPLAN in 2016.

Property Value
dbo:abstract
  • Stephanie Weirich (/ˈwaɪərɪk/ WYRE-ik) is an American computer scientist specializing in type theory, type inference, dependent types, and functional programming. She is a professor of computer science at the University of Pennsylvania. Weirich graduated magna cum laude in 1996 from Rice University, with a bachelor's degree in computer science. At Rice, she became interested in programming languages through an undergraduate research project with Matthias Felleisen. She moved to Cornell University for her graduate studies, completing her Ph.D. in 2002. Her dissertation, Programming with Types, was supervised by Greg Morrisett. She joined the University of Pennsylvania faculty in 2002. Weirich's work on type inference has been incorporated into the Glasgow Haskell Compiler. She has also been a leader of the POPLmark challenge for benchmarking type systems of programming languages. Weirich won the Robin Milner Young Researcher Award of ACM SIGPLAN in 2016. (en)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 61703570 (xsd:integer)
dbo:wikiPageLength
  • 2544 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1079532820 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • Stephanie Weirich (/ˈwaɪərɪk/ WYRE-ik) is an American computer scientist specializing in type theory, type inference, dependent types, and functional programming. She is a professor of computer science at the University of Pennsylvania. Weirich's work on type inference has been incorporated into the Glasgow Haskell Compiler. She has also been a leader of the POPLmark challenge for benchmarking type systems of programming languages. Weirich won the Robin Milner Young Researcher Award of ACM SIGPLAN in 2016. (en)
rdfs:label
  • Stephanie Weirich (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License