I am a ph.d student in the CS department at BGU, located in the ever sunny city of Be'er-Sheva.
My current research is in the field computational biology, and I am a member of the research group of Prof. Michal Ziv-Ukelson .
I did my bachelor and master's degrees at BGU in math and computer science.
Between academic studies I worked as a programmer (Java, mainly) and a software team leader.
During my studies, I served as a TA in a variety of courses, including the 'principals of programming languages' course, in which I am currently a lecturer.
Publications
G. Kucherov, T. Pinhas and M. Ziv-Ukelson. Regular Language Constrained Sequence Alignment Revisited.
Journal of Computational Biology, 18(5), Mary Ann Liebert, 2011.
T. Pinhas, D. Tsur, S. Zakov and M. Ziv-Ukelson. Edit Distance with Duplications and Contractions Revisited.
Proceedings of the 22st Annual Symposium on Combinatorial Algorithms (CPM), 2011.
G. Kucherov, T. Pinhas and M. Ziv-Ukelson. Regular Expression Constrained Sequence Alignment Revisited.
Proceedings of the 21st International Workshop on Combinatorial Algorithms (IWOCA), 2010.
N. Milo, T. Pinhas and M. Ziv-Ukelson. SA-REPC - Sequence Alignment with Regular Expression Path Constraints.
Proceedings of the 4th International Conference on Language and Automata Theory and Applications (LATA), 2010.
U. Abraham and T. Pinhas. Exercises in style (Alpha specifications). Fundamenta Informaticae, 54(2), IOS Press, 2003.
T. Pinhas. Correctness Proof for the Wildfire Protocol. M.Sc. Thesis, Ben-Gurion University of the Negev, Beer-Sheva, Israel, 2003.
