CSforAll: EAGER: Integrating Lightweight Data Science and Computing for K-12
CSforAll: EAGER: Integrating Lightweight Data Science and Computing for K-12
批准号:
1647486
负责人:
Shriram Krishnamurthi
金额:
$29.89万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-08-15 至 2020-07-31
中文摘要
布朗大学提议为K-12创建轻量级数据科学课程。数据科学可以粗略地定义为“编程+统计”,因此有两个控制点:需要多少编程,以及使用多少统计数据。这里的“轻量级”一词并非贬义,而是指一种与CS for All倡议的目标相一致的方法,即将CS教育扩展到所有学校和所有学生。这个项目将数学限制在“朴素”的统计学上,而不是依赖于连续的数学。对于编程,该课程将创建支持,不需要比CS原则课程要求的更复杂,甚至可能更少。最后,它也将是轻量级的设置,使用Google Sheets作为主要的“数据库”系统,减轻教师和学校的巨大行政负担,并实现许多学生和教师已经熟悉的优雅用户界面。编程支持将嵌入Pyret,一种教学编程语言,通过直接支持表格和表格操作对其进行了扩展。这将使学生能够使用旨在唤起SQL的结构编写简洁的程序。为了增加对年轻学生的访问并限制打字,PI将在Pyret中加入双模式块和文本界面。为了吸引更多的学生,这项工作将包括对课程个性化的支持,允许学生挑选出他们感兴趣的主题,并找到他们想问的关于这些数据的相应问题。PI将提供精心策划的数据集,以及教师查找其他类似数据的方法,以帮助需要建议的学生开始学习。最后,在PI和其他人以前的工作的基础上,项目将涉及一些初步的调查,是否提供高层次的结构,让教师教“的结构”,自然会导致更好的计划组成。
英文摘要
Brown University proposes to create lightweight data science curricula for K-12. Data science can be roughly defined as "programming + statistics" and thus has two points of control: how much programming is needed, and how much statistics is used. The term "lightweight" here is not used pejoratively but to connote an approach that is aligned with the CS for All Initiative's goal of scaling CS education to all schools and all students. This project will limit mathematics to "naïve" statistics rather than depending on continuous mathematics. For programming, the curriculum will create support that requires no more sophistication than required by CS Principles curricula, and perhaps even less. Finally, it will also be light on setup, using Google Sheets as the primary "database" system, lifting a big administrative burden on teachers and schools, and enabling elegant user interfaces that are already familiar to many students and teachers.The programming support will be embedded into Pyret, a pedagogic programming language, extending it with direct support for tables and tabular operations. This will allow students to write concise programs using constructs designed to be evocative of SQL. To increase access to younger students and to limit typing, the PIs will incorporate a dual-mode block-and-text interface into Pyret. In order to engage more students, the work will include support for curricular personalization, allowing students to pick out the topics that they are interested in, and find the corresponding questions they want to ask about these data. The PIs will provide curated datasets, as well as means for teachers to find other similar data, to help students who need suggestions to get started. Finally, building on previous work of the PI and others, project will involve some preliminary investigation on whether providing high-level constructs and letting teachers teach "to the constructs" will naturally lead to better plan composition.
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Accessible AST-Based Programming for Visually-Impaired Programmers
为视障程序员提供基于 AST 的无障碍编程
DOI:
10.1145/3287324.3287499
发表时间:
2019
期刊:
SIGCSE '19 Proceedings of the 50th ACM Technical Symposium on Computer Science Education
影响因子:
--
作者:
[Schanzer, Emmanuel, Bahram, Sina, Krishnamurthi, Shriram]
通讯作者:
Krishnamurthi, Shriram
DOI:
10.1145/3159450.3159479
发表时间:
2018
期刊:
SIGCSE
影响因子:
--
作者:
[Tunnell Wilson, Preston, Fisler, Kathi, Krishnamurthi, Shriram]
通讯作者:
Krishnamurthi, Shriram
Error messages are classifiers: a process to design and evaluate error messages
错误消息是分类器:设计和评估错误消息的过程
DOI:
10.1145/3133850.3133862
发表时间:
2017
期刊:
and Reflections on Programming and Software
影响因子:
--
作者:
[Wrenn, John, Krishnamurthi, Shriram]
通讯作者:
Krishnamurthi, Shriram
What does it mean for a computing curriculum to succeed?
计算机课程的成功意味着什么?
DOI:
10.1145/3319081
发表时间:
2019
期刊:
Communications of the ACM
影响因子:
22.7
作者:
[Schanzer, Emmanuel, Krishnamurthi, Shriram, Fisler, Kathi]
通讯作者:
Fisler, Kathi
Student Understanding of Aliasing and Procedure Calls
学生对别名和过程调用的理解
DOI:
--
发表时间:
2017
期刊:
SPLASH Education Symposium
影响因子:
--
作者:
[Tunnell Wilson, Preston, Fisler, Kathi, Krishnamurthi, Shriram]
通讯作者:
Krishnamurthi, Shriram
共 7 条
FMitF: Track II: Educating Developers about Ownership in Rust
-
批准号:2319014
-
项目类别:Standard Grant
-
资助金额:$9.99万
-
财政年份:2023
-
负责人:Shriram Krishnamurthi
-
依托单位:
SHF: Small: Little Tricky Logics: Misconceptions in Understanding Logics and Formal Properties
-
批准号:2227863
-
项目类别:Standard Grant
-
资助金额:$59.96万
-
财政年份:2023
-
负责人:Shriram Krishnamurthi
-
依托单位:
Pedagogical Tools for Formal Methods
-
批准号:2208731
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2022
-
负责人:Shriram Krishnamurthi
-
依托单位:
EAGER: Semantics for Learning Functional Programming
-
批准号:1803362
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2018
-
负责人:Shriram Krishnamurthi
-
依托单位:
SHF:Small:The Power of ``Why?'': Using Provenance for Disciplined Exploration in Model Finding
-
批准号:1714431
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2017
-
负责人:Shriram Krishnamurthi
-
依托单位:
CSforAll: EAGER: Making Bootstrap Accessible to Visually-Impaired Users
-
批准号:1648684
-
项目类别:Standard Grant
-
资助金额:$29.64万
-
财政年份:2016
-
负责人:Shriram Krishnamurthi
-
依托单位:
Exploring Transfer Between Computing and Algebra and Its Effects on Mathematics Pedagogy and Self-efficacy in Computing Teachers
-
批准号:1535276
-
项目类别:Standard Grant
-
资助金额:$149.74万
-
财政年份:2015
-
负责人:Shriram Krishnamurthi
-
依托单位:
SHF: Medium: A Balance of Power: Programming and Reasoning for Software-Defined Networks
-
批准号:1408745
-
项目类别:Standard Grant
-
资助金额:$100.42万
-
财政年份:2014
-
负责人:Shriram Krishnamurthi
-
依托单位:
EAGER: By the People, For the People: Community Ratings for App Privacy
-
批准号:1449236
-
项目类别:Standard Grant
-
资助金额:$14.8万
-
财政年份:2014
-
负责人:Shriram Krishnamurthi
-
依托单位:
TWC: Small: Extensible Web Browsers and User Privacy
-
批准号:1223231
-
项目类别:Standard Grant
-
资助金额:$37.48万
-
财政年份:2012
-
负责人:Shriram Krishnamurthi
-
依托单位:
SHF: Medium: Collaborative Research: Semantics Engineering for Scripting Languages
-
批准号:1064418
-
项目类别:Standard Grant
-
资助金额:$45.15万
-
财政年份:2011
-
负责人:Shriram Krishnamurthi
-
依托单位:
EAGER: Interfaces to Reduce Human Error in Social Network Access Control Policy Authoring
-
批准号:1048846
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2010
-
负责人:Shriram Krishnamurthi
-
依托单位:
CT-ISG: Power to the People: Tools for Explaining Access-Control Consequences
-
批准号:0830945
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2008
-
负责人:Shriram Krishnamurthi
-
依托单位:
CT-ISG: Representation, Analysis, and Verification of Access Control in Dynamic Environments
-
批准号:0627310
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2006
-
负责人:Shriram Krishnamurthi
-
依托单位:
CAREER: Formal Verfication of Aspect-Oriented Software
-
批准号:0447509
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Shriram Krishnamurthi
-
依托单位:
Lightweight Analysis of Program Evolution Using Feature Signatures
-
批准号:0429492
-
项目类别:Standard Grant
-
资助金额:$14.67万
-
财政年份:2004
-
负责人:Shriram Krishnamurthi
-
依托单位:
Collaborative Research: Robust Interactive Web Services
-
批准号:0305949
-
项目类别:Standard Grant
-
资助金额:$13.5万
-
财政年份:2003
-
负责人:Shriram Krishnamurthi
-
依托单位:
Collaborative Research: Compositional Verification of Software Product Lines as Open Systems
-
批准号:0305950
-
项目类别:Continuing Grant
-
资助金额:$15.6万
-
财政年份:2003
-
负责人:Shriram Krishnamurthi
-
依托单位:
海外基金