Alexa VanHattum

计算机科学助理教授

联系
电子邮件:
av111@jstyz.com
部门
计算机科学

我的兴趣包括编程语言和计算机系统.

我使用轻量级的形式化方法来提高低级计算机系统的可靠性和效率. 我喜欢与行业团体和开源软件项目合作.

我喜欢为本科生揭开系统编程的神秘面纱——我很高兴能与皇冠体育的研究助理一起工作，并教授跨计算机系统的课程, 正式的方法, 编译器, 编程语言.

有关我的完整简历和更多皇冠体育我的研究、教学、服务的信息，请见 我的网站.

当前和即将开设的课程

计算机系统基础与实验室

CS240

本课程研究计算机如何运行程序, 介绍了编程语言和晶体管之间的关键软件和硬件的抽象和实现. 本课程通过计算机系统中的三个主题来跟踪数据和程序的表示和翻译:计算机硬件实现, 包括数字逻辑, 计算机算术, and machine organization; the hardware-software interface, 包括指令集架构, 汇编代码, and the C programming language; and abstractions for practical systems, 包括物理内存层次结构, 操作系统进程模型, 虚拟内存, 以及内存管理. 学生完成硬件和软件系统的大量实践项目. 学生每周必须参加一次三小时的实验.

[截至9月3日星期二登记] 这门课程目前已经满了，工作日的候补名单已经关闭. 如果在添加期间有可用的位置, 课程教师将与候补名单(现已关闭)中的学生联系，并在导师(POI)的许可下允许其注册。.