{"id":3463,"date":"2021-05-07T23:54:00","date_gmt":"2021-05-07T21:54:00","guid":{"rendered":"https:\/\/webdev.atsec.us\/?p=3463"},"modified":"2024-08-19T21:30:14","modified_gmt":"2024-08-19T19:30:14","slug":"atsec-scholarship-connects-logic-and-cryptography","status":"publish","type":"post","link":"https:\/\/webdev.atsec.us\/atsec-scholarship-connects-logic-and-cryptography\/","title":{"rendered":"atsec Scholarship Connects Logic and Cryptography"},"content":{"rendered":"\n

The two most repeated terms at the NIST Entropy Workshop held on April 27-29 are \u201cmathematical model\u201d and \u201cjustification.\u201d That brought me back to my college days at Peking University where I first studied Mathematical Logic.<\/p>\n\n\n\n

Logic is all about valid rules of inference. Mathematical logic applies the techniques of formal logic to mathematics and mathematical reasoning, and applies mathematical techniques to the representation and analysis of formal logic. It has four pillars: model theory, proof theory, set theory, and computability theory. While logic can be traced back to ancient Greek philosopher Aristotle, mathematical logic made great progress in the period from the 1930s through the 1970s. The exciting developments in mathematical logic in this period set the foundation for computer science. Alan Turing and John von Neumann are both world-renowned mathematical logicians and computer scientists. The strong connection between the two fields has continued with no sign of slowing down, which is demonstrated in the NIST Entropy Workshop last week.<\/p>\n\n\n\n

The book \u201cFoundations of Logic and Mathematics: Applications to Computer Science and Cryptography,\u201d and its newer edition \u201cLogic, Mathematics, and Computer Science: Modern Foundations with Practical Applications,\u201d elaborate their interconnections through model theory, proof theory, set theory, and computability theory. My professor at UT-Austin, Robert L. Causey, explains Why Logic is Important for Computer Science and Mathematics on his class webpage (https:\/\/www.cs.utexas.edu\/~rlc\/whylog.htm<\/a>) as follows.<\/p>\n\n\n\n

\u201cLogic is concerned with forms of reasoning. Since reasoning is involved in most intellectual activities, logic is relevant to a broad range of pursuits. The study of logic is essential for students of computer science. It is also very valuable for mathematics students, and others who make use of mathematical proofs, for instance, linguistics students.\u201d<\/p>\n\n\n\n

Holding a Ph.D. in mathematical logic from UT-Austin and being a lab director at atsec, I felt an enormous duty and responsibility to promote the tie between logic and computer science, which can be narrowed down to cryptography in particular or even just entropy source assessment in our daily work. atsec has been recruiting crypto experts with strong mathematical logic and computer science backgrounds. atsec has also established a scholarship at Peking University in memory of professor Song Wenjian to reward students who excel in logic.<\/p>\n\n\n\n

Professor Song dedicated his entire life to teaching and researching logic till his passing in 2020. One of his biggest achievements is the creation of a logic major for undergraduates at Peking University in 1987. I was one of the first class of students who majored in logic and found this program had a profound influence on my pursuit of doctoral study and the security profession. <\/p>\n\n\n\n

The establishment of a scholarship in the name of Professor Song through the atsec donation is highly appreciated by Peking University and Professor Song\u2019s family. The scholarship will inspire more students to study logic and its interconnected areas of Mathematics and Computer Science.<\/p>\n\n\n\n

Peking University, nicknamed \u201cHarvard of China,\u201d is a prestigious university in Beijing that celebrated its 123rd birthday on the 4th of May. Adding to the celebration, Peking University held a scholarship launching ceremony on that memorable day. My colleagues Haiwei and Yan from our atsec China office attended the ceremony (first and third from the right in the front row of the picture below). <\/p>\n\n\n\n

\"\"<\/figure>\n\n\n\n

For more information about this event in Chinese, see the news posted by Peking University at http:\/\/www.phil.pku.edu.cn\/xwgg\/xnxw\/514154.htm<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

The two most repeated terms at the NIST Entropy Workshop held on April 27-29 are \u201cmathematical model\u201d and \u201cjustification.\u201d That brought me back to my college days at Peking University where I first studied Mathematical Logic. Logic is all about valid rules of inference. Mathematical logic applies the techniques of formal logic to mathematics and mathematical reasoning, and applies […]<\/p>\n","protected":false},"author":9,"featured_media":3464,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"inline_featured_image":false,"footnotes":""},"categories":[7],"tags":[],"_links":{"self":[{"href":"https:\/\/webdev.atsec.us\/wp-json\/wp\/v2\/posts\/3463"}],"collection":[{"href":"https:\/\/webdev.atsec.us\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/webdev.atsec.us\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/webdev.atsec.us\/wp-json\/wp\/v2\/users\/9"}],"replies":[{"embeddable":true,"href":"https:\/\/webdev.atsec.us\/wp-json\/wp\/v2\/comments?post=3463"}],"version-history":[{"count":1,"href":"https:\/\/webdev.atsec.us\/wp-json\/wp\/v2\/posts\/3463\/revisions"}],"predecessor-version":[{"id":3465,"href":"https:\/\/webdev.atsec.us\/wp-json\/wp\/v2\/posts\/3463\/revisions\/3465"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/webdev.atsec.us\/wp-json\/wp\/v2\/media\/3464"}],"wp:attachment":[{"href":"https:\/\/webdev.atsec.us\/wp-json\/wp\/v2\/media?parent=3463"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/webdev.atsec.us\/wp-json\/wp\/v2\/categories?post=3463"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/webdev.atsec.us\/wp-json\/wp\/v2\/tags?post=3463"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}