Shai Haim

Shai Haim image


Dept. of Artificial Intelligence
School of Computer Science and Engineering
University of New South Wales
Sydney, NSW 2052, Australia

and

Manging Complexity Group,
National ICT Australia

Tel: +61 2 9385 6906
Mobile: +61 416 729 982

shaih AT cse . unsw . edu . au

I am currently a PhD student in the School of Computer Science and Engineering (CSE)  at the University of New South Wales (UNSW), Sydney, Australia. I am also sponsored by NICTA.

I have graduated the Computer Science program in the Interdisciplinary Center (IDC ), Israel. I have acquired a Master's in Information Technology in the University of New South Wales.

My research is centered on cost estimation of search procedures and it is conducted under the supervision of Professor Toby Walsh .

Research Interests

  • Search Techniques
  • The Boolean Satisfiability Problem (SAT)
  • Constraint Satisfaction Problems

Other Interests

  • Statistical Machine Learning
  • Web Search
  • Natural Language Processing

Publications

  • S. Haim, T. Walsh, Online Estimation of SAT Solving Runtime , Proc. 11th International Conference on Theory and Applications of Satisfiability Testing (SAT), Lecture Notes in Computer Science 4996 (2008) 133-138.

Teachings

Tutoring positions in the following courses

  • Introduction to Computer Science I (IDC)
  • Introduction to Computer Science II (IDC)
  • Higher Data Organization (UNSW)
  • Software Engineering (UNSW)
  • Engineering Design in Computing 2 (UNSW)
  • Data Structures and Algorithms(UNSW)

My Name

Shai Haim – שי חיים

Shai is pronounced the same way as shy (I), while Haim (.I:M) starts with a voiceless velar  fricative (like j in Spanish).

General Interests

  • Football – The good-old British code, and no, it is not called soccer.
  • Comedy
  • PETA
  • Puzzle Solving
  • Slow Food
  • The writings of Richard Dawkins