search

cucapra / undergrad-research

file issues here if you're interested in doing research with us!
https://capra.cs.cornell.edu/ugresearch.html
0 stars 0 forks source link

Seth Norman #139

Closed snorm-dev closed 3 weeks ago

snorm-dev commented 4 months ago

Personal Details

Name: Seth Norman

Undergrad or MEng? Undergrad

Year in Cornell: Senior

Relevant classes: CS4110, CS3110, CS4450, CS4410, CS4620, CS3152

Expertise (languages/frameworks/etc.): OCaml, Go, Java

Research

When do you want to do research? Summer 2024

What is exciting to you about research? I enjoy the process of discovery, whether learning a new subject or just walking in a new area. I am excited by the possibility of creating abstractions that improve our ability to use hardware. Regardless of the results, I will have discovered something new about computer science and myself.

What kind of research do you want to do? I want to explore how novel type systems can improve error and exception handling in software programs, but I am happy to explore any topic.

Background

Was there a paper that particularly excited you? I enjoyed reading "Polymorphic Type Inference for Machine Code" by Michael Noonan et al. It was a fascinating intersection of low-level binaries and high-level inference rules, a connection I had never made before. This led me to Professor Sampson's research, where I have enjoyed reading his articles about GFA parsing.

Which of the current research projects would you be interested in working on and why? I am interested in the Gator project, because it focuses on removing classes of errors in a class of programs. I have taken CS4620 and CS3152, and so I have experience with computer graphics and the types of painful bugs that can arise.

Anything else you want to tell us about yourself? I am excited to see what is possible!

Attach a CV/Resumé: Resume 2024-04-11.pdf

stale[bot] commented 1 month ago

It's been roughly 90 days since opening this issue. We apologize if we haven’t gotten back to you—research openings are somewhat sporadic, so sometimes we don’t have specific opportunities to offer. But more will certainly come in the future! If you're still interested in doing research with us, please respond with "Still interested for <semester/summer>". Additionally, please update the issue by editing it and supplying us with more information, an updated resumé, etc. If you're no longer interested, do not respond to this thread and we will automatically close this issue.