Hai Lin's Homepage

 

I graduated from Clarkson. I am now an associate professor of computer science in Shenyang Normal University. I didn't become a professor of liberal arts, this is why.

My research interests include: artificial intelligence, automated reasoning and its application to formal verification for hardware, software and cryptographic protocols.

 

Email: l i n h AT clarkson.edu

 

Educational Background:

January 2005 ~ December 2009: Department of Mathematics and Computer Science, Clarkson University, Potsdam, NY (PhD)

September, 2000 ~ July, 2003: College of Computer Science and Technology, Jilin University.(M.S.)

September, 1996 (15 years old) ~ July, 2000: Department of Computer Science, Jilin University.(B.S.)

 

Research and Professional Experience:

September 2010 ~ now: associate professor, Shenyang Normal University

July 2008 ~ July 2009: research assistant, Clarkson University

July 2007 ~ July 2008: teaching assistant, Clarkson University

Jan 2005 ~ July 2007: research assistant, Clarkson University

September, 2003 ~ Jan 2005: assistant professor, College of Computer Science and Technology, Jilin University.

 

Courses taught (as instructor or as TA):

Introduction to Computer Applications, Discrete Mathematics, Introduction to Computer Science I, Introduction to Computer Science II, Calculus I, algorithms.

 

Membership:

Association for Automated Reasoning

 

Talks:

Active Intruders with Caps FCS-ARSPA-WITS, Affiliated with LICS 2008 and CSF 21, Carnegie Mellon University, USA, 2008.

Protocol Verification via Rigid/Fleixble Resolution Automated Deduction: Decidability, Complexity, Tractability, affiliated with CADE-21 Bremen, Germany, 2007.

 

Top Journals and Conferences in Automated Reasoning:

Journal of Automated Reasoning

Journal of Symbolic Computation

Conference on Automated DEduction

International Joint Conference on Automated Reasoning

International Conference on Logic for Programming, Artificial Intelligence and Reasoning

 

My Publications:

(Authors are mostly in alphabetical order.)

Journal papers:

[1] Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran and Michael Rusinowitch: Unification modulo Homomorphic Encryption, Journal of Automated Reasoning, accepted on 08/31/2010. (the best journal in automated reasoning)

[2]Minghao yin, Hai Lin and Jigui Sun: A #SAT Solver Based on the Extension Rule, Journal of Software, 2009. (a Chinese journal)

[3] Zhanshan Li, Tao Wang, Jigui Sun, Hai Lin and Guozhen Feng: Model Based Diagnosis based on the Replacement Test, Journal of Software, 16 (09): 1599-1605, 2005. (a Chinese journal)

[4] Hai Lin and Jigui Sun: Knowledge Compilation Using the Extension Rule, Journal of Automated Reasoning, 32:93-102, 2004. (the best journal in automated reasoning)

[5] Hai Lin and Jigui Sun: The Representation and Reasoning of Causal Knowledge, Computer Science, 31(5):123-126, 2004. (a Chinese journal)

[6] Hai Lin, Jigui Sun and Yimin Zhang: Theorem Proving Based on the Extension Rule, Journal of Automated Reasoning 31:11-21, 2003. (the best journal in automated reasoning)

[7] Hai Lin and Jigui Sun: A System of Prediction, Journal of Jilin University, vol 20: 58-63, 2002. (a Chinese Journal)

 

Refereed conference and workshop papers:

[8] Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran and Michael Rusinowitch: Cap Unification: Application to Protocol Security modulo Homomorphic Encryption, 5th ACM Symposium on Information, Computer and Communications Security, pp. 192-203, Beijing, China, 2010.

[9] Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran and Michael Rusinowitch: Unification modulo Homomorphic Encryption, 7th International Symposium on Frontiers of Combining Systems, pp 100 – 116, 2009.

[10] Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran and Michael Rusinowitch: Active Intruders with Caps, FCS-ARSPA-WITS Affiliated with LICS 2008 and CSF 21 2008.

[11] Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SMT Electr. Notes Theor. Comput. Sci. 198(2): 71-84 (2008).

[12] S. Anantharaman, H. Lin, C. Lynch, P. Narendran and M. Rusinowitch: Unification modulo Homomorphic Encryption is Decidable, in Proc. of UNIF'08, the 22nd Int. Workshop on Unification, LINZ-Austria, July 2008, Mircea Marin ed., Vol.RISC-Linz Report Series No. 08-11, pp.1 - 15, 2008.

[13] Minghao Yin, Hai Lin, Jigui Sun: Counting Models using Extension Rules. AAAI 2007: 1916-1917. (a top conference in AI)

[14] Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SAT, Conference on Automated DEduction 2007: 476-491. (the top conference in automated reasoning)

[15] Stephanie Delaune, Hai Lin, Christopher Lynch: Protocol Verification Via Rigid/Flexible Resolution International Conference on Logic for Programming, Artificial Intelligence and Reasoning 2007: 242-256.

[16] Hai Lin and Jigui Sun: A Diagnosis Method for System with Incomplete Models in proceedings of the 7th Chinese Joint Conference on Artificial Intelligence, pp 79-82, 2003.