Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
I am looking for a visiting PhD student for summer 2016 to collaborate with me on a newly funded two year NSF project studying at the intersection of graphical models of security and functional programming using category theory and linear logic. The project: CRII: SHF: A New Foundation for Attack Trees Based on Monoidal Categories In short, the project aims to give a new mathematical foundation of attack trees using monoidal categories, and then by capitalizing on the Curry-Howard-Lambek correspondence defining a new domain-specific functional programming language based in linear logic where types will correspond to attack trees, and programs to semantically valid transformations on attack trees called Lina for Linear Threat Analysis. More information on the project including the complete proposal can be found here: https://github.com/heades/attack-trees-in-monoidal-cats This project has lots of exciting problems to solve. I am looking for an energetic and passionate student to work closely with me on this project during the summer of 2016, more specfically, approximately through the following dates: June 1, 2016 - July 27, 2016 The hope is for the student and I to lay the initial ground work for the project and get some initial results that can be published during the following academic year. The student should be US based and have an interest in the following topics: - Models of security, - Categorical logic, - Intuitionistic linear logic and - The design and anlysis of statically-typed functional programming languages. Experience in category theory is a plus, but not strictly required as long as the student is willing to learn. This opporunity comes with a $5,000 stipend to cover travel, food, and hotel during the visit. I am a new professor in computer science at Augusta University in the wonderful Augusta Georgia. Augusta is prefectly positioned on the border of Georiga and South Carolina only two and a half hours from Savannah, GA and the beach at Tybee Island. In addition, we are only three hours away from the Great Smokey Mountains for those who enjoy the great outdoors. This is an equal opportunity for all! All interested applicants will receive consideration without regard to race, color, religion, sex, national origin, disability status, protected veteran status, or any other characteristic protected by law. I welcome emails from anyone who is interested! Very best, Harley Eades HEADES@gru.edu