Spring 2021
May 24, 2021
This is STAT 7880 - Special Topics, an graduate semester class of 3.000 credits, whose pre-requisite is permission of Instructor. We will not be using an hybrid course model, the class will be fully face-to-face, but we will enforce the University’s regulations on social distancing and face covering. We will be primarily using my note that will be shared every week. You will need a computer with admin rights to install (free) software such as python, Coq or a virtual machine.
This course is designed to cover special topics in theory and methods of Biostatistics that are not covered in regular courses. It will particularly focus on the verification and specification of computer programs, using the proof assistant Coq. The course covers a general introduction to the different methods of Biostatistics, and study the mathematical libraries such as Mathematical Components that represent basics and more advanced mathematical structures.
Upon successful completion of this class, the student will:
Class meets every week, following the same pattern:
This schedule is subject to change and enhancements, but provide an indication of the pace, assignments, and major deadlines that you will need to plan for the semester.
Students will be evaluated based on the weekly interaction and feedbacks. Two presentations will be given by students, based on mutual interest. The presentation should be supported by a written document composed with research standards in mind, and lasts at least 30 minutes, followed by questions at the instructor’s discretion.
The evaluation will be
using the following course grade scale:
| Below 65 | 65–70 | 70–79 | 80–89 | 90–100 |
| F | D | C | B | A |
Refer to the Course Requirements for information about late or missed evaluations.
Lectures are devoted to general explanations of the concepts and ideas underlying the topic at stake. All practical work, coding, programming, testing, etc. will be carried at home or in the lab portion if there is one.
Homework assignments will assist the students in making sure they understand classes expectations and the content of the lecture, as well as to practice their coding and problem-solving skills. The progression of the students will be regularly tested and assessed through quizzes and exams. Active and relevant participation during the lectures is appreciated.
It is our mutual interest for you to succeed: I love to share knowledge and to expand it by helping students, and students want to gain a useful and agreeable experience that will prove valuable in their future endeavors. To this end, here is:
You can have a look at my Quick Reflexion on Course Evaluations, that contains my previous student evaluations, and at my “Definitive” Study Guide.
In case of conflict, the proper etiquette is to reach out to me, and if no solution can be found, then we should turn to our undegraduate study director Anthony Lawrence or to the dean of Student Life to help as an ombudsman.
For this class, you will need to access a computer. You can either:
If you need room to engage in a synchronous class, you can go to
I should be your first point of contact for any question regarding the content of this class, but many other resources are available:
The Augusta University chapter of the A.C.M is one of the university’s best resources for Computer Science, Information Technology and Cyber Security students. It provides a platform to network with other students in similar majors; presenting countless opportunities to expand not only the people you know, but also a fantastic place to learn and ask questions. Because of Covid-19, we will only be holding meetings virtually in our Discord server. If you are interested in joining these meetings, or you have any questions about Computer Science or Cyber Security, feel free to join through our link.
The University has implemented specific requirements to minimize exposure to COVID-19 and support the safety of all during the pandemic. These requirements apply to all persons on campus (faculty, staff, students, and visitors). These requirements are subject to change. Visit jagwire.augusta.edu/coronavirus/ and augusta.edu/covid-resources/ for the latest details.
If you are unsure about the procedure to adopt, please refer to the protocol for students (and scroll to see the “non-clinical students” part of it). If you need to miss class to self-isolate or get tested, please notify me at your earliest convenience.
All persons must wear an appropriate face covering while inside campus facilities/buildings, including classrooms, regardless of the size of the space. The face covering must fit closely and fully cover the nose and mouth. Such coverings must be used in addition to—not as a substitute for—social distancing. If a medical condition prevents you from wearing a face covering, you may provide documentation to request an accommodation through Testing and Disability Services (706-737-1469 or tds@augusta.edu), and must show proof of the accommodation when asked.
All persons should wash hands thoroughly and often with soap and water (for at least 20 seconds) or hand sanitizer (containing at least 60% ethanol or 70% isopropanol). Avoid direct contact with high touch surfaces (doorknobs, light switches, campus equipment, devices, vending machines, etc.) and avoid sharing devices, books, pens, or other learning aids with others.
All persons are responsible for disinfecting their own workspaces before and after use, including desktops, seats, and any shared equipment. Students, faculty, and staff are responsible for providing their own supplies for this purpose. Used supplies should be disposed of properly.
If you notice an empty hand sanitizer dispenser, or a missing disinfectant spray bottles, you can call 706-721-5024 to replace COVID prevention items.
Your role is critical to protect the safety of our entire AU family. Any student who is exhibiting symptoms of COVID-19 may be required to leave class and seek medical attention at Student Health Services (at 706-721-3448) immediately. Do not come on to campus if you have any symptoms of COVID-19.
The University’s Student Code of Conduct, the student’s manual, the academic regulations as well as the applicable policies are supposed to be known by the students and will be enforced.
Section 5.2, Academic Conduct of the student’s manual defines precisely what kind of collaborations are acceptable. As long as you do not lie, cheat, plagiarize, assist others or being assisted by others without authorization, we should not need any of that. If you are unsure about whether or not certain kinds of collaboration are permissible, please ask me.
I am committed to the founding principles of Universal Design, and to make my lecture accessible to every one. Concretely, that means that I’m not requiring you to use a particular Operating System, that I always try to give the information repeatedly, and using multiple channels, that I am available over the phone, email, or in my office. If you are registered with Testing and Disability Services, please see me at your earlier convenience to discuss accommodations.
Please be aware of the USG guidance on House Bill 280. Note that you may not carry a handgun if high school students are enrolled in the class, and that it is your responsibility to visit the registrar to determine whenever this is the case or not.
pdf version of this page.pdf reader to consult some of the documents: I recommend choosing an open-source pdf reader.
Social Distancing
All persons must maintain at least six (6) feet of separation from others. This distance should be maintained at all times and in all spaces, indoors or out, including classrooms, except where closer proximity is brief and logistically unavoidable (e.g. elevators, hallways). Keep your distance, do not gather in groups, and avoid crowded spaces. Sit only in designated areas in classrooms or similar spaces, and do not move seats or desks in classrooms or common spaces.