PageSourceSearch

https://davidmathlogic.com/

html davidmathlogic.com collected 2026-10-01 13:54:59 UTC 4,433 bytes, 1 lines download raw bytes

1<!doctype html><html lang=en prefix='og: http://ogp.me/ns#'><head><meta charset=utf-8><meta content='width=device-width,initial-scale=1' name=viewport><meta content=#b2182b name=theme-color><meta content='Personal website for David Nichols, mathematical logician.' name=description><meta content='David Nichols' property=og:title><meta content=website property=og:type><meta content=http://www.davidmathlogic.com/ property=og:url><meta content=http://www.davidmathlogic.com/img/sqportrait.jpg property=og:image><meta content='Portrait of David Nichols.' property=og:image:alt><meta content='Personal website for David Nichols, mathematical logician.' property=og:description><title>David Nichols</title>
vendor: 63 bytes, line 1
1<script async src='https://www.googletagmanager.com/gtag/js?id=
1G-PEN2PWLE6Z
vendor: 11 bytes, line 1
1'></script>
1<script>
vendor: 118 bytes, line 1
1window.dataLayer=window.dataLayer||[];function gtag(){dataLayer.push(arguments);}gtag('js',new Date());gtag('config','
1G-PEN2PWLE6Z
vendor: 51 bytes, line 1
1',{'page_title':'home','page_path':'/index.html'});
1</script>
1<link href='https://fonts.googleapis.com/css?family=Montserrat:400,600|Martel:600' rel=stylesheet><link href=css/styles.css rel=stylesheet><link href=img/person.png rel=icon></head><body><header id=nameplate><h1>David Nichols</h1><h2>UConn Math PhD Alumnus</h2></header><nav><a href=#>About Me</a> <a href=#research>Research</a> <a href=#teaching>Teaching</a> <a href=#projects>Projects</a></nav><div id=mobile-nameplate><div>David</div><div>Nichols</div></div><main><section class=tab id=about><img alt=portrait src=img/bwportrait.jpg id=portrait><p>I received my PhD in mathematics from the University of Connecticut.</p><p>My research has been in mathematical logic, specifically in computability theory, reverse mathematics, strong reductions, and higher recursion. My doctoral adviser was <a href=http://www.math.uconn.edu/~damir/ >Damir Dzhafarov.</a></p><p>I can still be reached at [email protected].</p><div class=cta-box><a href=./files/CV.pdf class=cta target=_blank>Download CV</a></div><footer>© David Nichols | Icons created by Delwar Hossain from the Noun Project</footer></section><section class=tab id=research><div class=caption><img alt='icon representing thinking' src=img/brain.svg class=icon><h3>Research</h3></div><h4>Papers</h4><p class=paper><a href=./files/thesis.pdf>Doctoral Thesis</a> University of Connecticut, 2019</p><div class=caption><img alt='icon representing a speaker giving a presentation' src=img/talkvar.svg class=icon><h3>Talks</h3></div><ul class=timeline><li><h4>2017</h4><p><span>New England Recursion and Definability Seminar</span> <span>Wellesley College</span></p><p><span>Cornell Logic Seminar</span> <span>Cornell University</span></p></li><li><h4>2016</h4><p><span>UConn Logic Group</span> <span>University of Connecticut</span></p><p><span>Fifth NY Graduate Student Conference in Logic</span> <span>CUNY Graduate Center</span></p></li><li><h4>2015</h4><p><span>Computability in Europe</span> <span>Universitatea din București</span></p></li></ul></section><section class=tab id=teaching><div class=caption><img alt='icon representing classroom teaching' src=img/teaching.svg class=icon><h3>Teaching</h3></div>In the Spring 2018 semester I am teaching MATH 2410: Elementary Differential Equations. <a href=http://www.davidmathlogic.com/2410/syllabus.pdf>View the syllabus.</a></section><section class=tab id=projects><div class=caption><img alt='icon representing graph' src=img/graph.svg class=icon><h3>Visuals</h3></div><p>I think that visual aids are one important tool available to mathematics instructors, and that the best visual aids are usually those that can be manipulated or interacted with.</p><p>In collaboration with <a href=http://savkar.math.uconn.edu/ >Amit Savkar,</a> I develop interactive visualizations of calculus concepts and examples. These visualizations are used for calculus teaching and learning at the University of Connecticut. You can find examples of my early work on <a href=http://savkar.math.uconn.edu/calculus-3-visuals/ >Dr. Savkar's website.</a> For more recent examples, contact me.</p><p>I want my visual aids to be useful to as many people as possible, so I am always trying to up my accessibility game. In order to help myself and others develop visual aids that use colors in an accessible way, I have made an <a href=/colorblind>online colorblindness simulation tool.</a></p></section></main></body>
1<script src=js/tabnav.js></script>
1</html>

Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.