How should I dispute or disagree with a grade I received?
As a first step, please do reach out to your grader. Our best and recommended practice is to email your grader, and write in that email that you plan to spea...
FAQ
May I please have an extension on this assignment?
I can’t give you a personal extension. With as many students as we have and as many graders as we have (often volunteers) the only way to manage that level o...
How do I “steer” ACL2/ACL2s ?
People have wanted to know how to steer ACL2 more precisely. Often the best and most useful advice is to try and “proof-sketch” your conjecture ahead of time...
How do we come up with a project idea?
Some students had expressed trouble coming up with project II ideas. This is perfectly reasonable. In practice, proofs often come up “by need.” This is to sa...
I’m not sure what the answer to my project is, or even super clear about the question. That’s bad, right?
Just, by the way.
Where can I improve my (technical) writing products?
I love this question in part because Northeastern offers a terrific answer! The Northeastern Writing Center offers a whole bevy of resources, including some ...
But will you accept my late work in /this/ instance?
It is highly unlikely. All policies come with some exceptions, and we are in exceptional times. But absent some extraordinary case, no, we shall not.
I feel like you’ve undercounted my Poll or other class participation. What can I do?
If you submitted responses for a poll question, the PollEverywhere site should show your participation. I believe you find this under History > Response d...
What should a project I submission look like?
If you want another sample report document on which to model your own, I link here to an exemplary model report that I think you could mirror.
How do I learn technical writing?
There are several places I suggest. The first of these I’ve already listed on the enrichment page and have discussed at length.
I have a timestamp showing the unmodified file! Will you accept my late work?
No. It’s not a question of me believing you or not. I’ve never been able to use timestamps on files. I keep on my laptop hard drive a text file “dated” to th...
I turned in the wrong file. May I turn the right one in late?
My apologies, but I can’t do anything that’d be a saving grace for this instance. Please see the general reasons we do not—cannot accept late work. For this ...