KONSTANTINOS POULIASIS

CUNY Graduate Center, Department of Computer Science

e-mail: firstname dot lastname at gmail dot com

I am a doctoral candidate at the Department of Computer Science of the Graduate Center of the City University of New York. I work under the supervision of Professor Sergei N. Artemov. My main research interests are in the areas of modal logic with justifications, type systems and mechanized logic.

I am currently seeking R&D or Software Developer positions starting from the next calendar year. My expected graduation is in December 2016 with a 3.9 expected GPA.

I am employed as an Adjunct Lecturer at the Department of Computer Science at Hunter College where I have been teaching regularly for the past six years to support my studies. Before coming to the States, I was working with Nikos Papaspyrou at the School of Electrical Engineering and Computer Engineering of the National Technical University of Athens, where I completed my undergraduate studies.

• Modal Logics
• Type Systems
• Curry-Howard Isomorpshism
• Foundations of Programming Languages
• Category Theory for Computer Science

• CUNY Graduate Center, Department of Computer Science, Phd Candidate (current)

  Working under the supervision of Distinguished Professor Sergei Artemov. Research in the intersection of Justification Logic, Type Theory and Curry–Howard Isomorphism. Currently developing an explicit Modal Type System for Justification Logic and exploring its computational relevance in relation to the linking procedure in functional programming languages that employ modular mechanisms.

• CUNY Graduate Center, Department of Computer Science, MSc. (2009-2012)

• National Technical University of Athens, School of Electrical and Computer Engineering, Diploma with specialization in Informatics (2009)

  I finished my five–year diploma studies (course emphasis in Logic, PL Theory and Semantics) and defended my thesis under the supervision of Professor Nikolaos Papaspyrou. For my thesis I worked in axiomatizing modal logic in the prover Isabelle/ HOL.

• Konstantinos Pouliasis: Categorical Semantics of basic justification logic, In progress.
• Konstantinos Pouliasis: A Curry-Howard view of basic justification logic, To be presented at Wollic '16.
• Konstantinos Pouliasis and Giuseppe Primiero, J-Calc: A typed lambda calculus for Intuitionistic Justification Logic, Electronic Notes in Theoretical Computer Science, Volume 300, Pages 71-87, ISSN 1571-0061
• Konstantinos Pouliasis and Nikolaos Papaspyrou, Axiomatizing Principia Metaphysica in Isabelle/ HOL, Proceedings of the 6th Panhellenic Logic Symposium (Volos, Greece, 2007).

• Implementing Concurrent ML functionality Haskell style with Scala(z), NYU (Spring 2014)
• J-Calc: Justified Modal Types and Functional Programs, Invited talk at the Computational Logic Seminar, CUNY Graduate Center (Fall 2013).
• JCalc: A typed lambda calculus for Intuitionistic Justification Logic. Selected talk in the workshop Intuitionistic Modal Logic and its Applications. Held in association with Unilog 2013, Rio de Janeiro, Brazil (Spring 2013).
• Extending Curry-Howard Correspondence with Justifications, Invited talk at the Computational Logic Seminar, CUNY Graduate Center (Fall 2012).

• University Fellowship, Department of Computer Science, Graduate Center, City University of New York (2013-current)

• Quantitative Research Fellow, Department of Mathematics, Borough of Manhattan Community College, CUNY (2013-2014)

• Graduate Teaching Fellow, Department of Mathematics and Computer Science, Lehman College, CUNY (2009-2013)

• Student Excellence Award (2001) , Municipality of Thinali, Corfu, Greece

• “Youth meeting Europe” student award (1999), Ministry of Education, Greece.

  Educational travelling award for the best 300 high-school students of the year to promote endoeuropean mobility and cultural exchange.

• Programming: Python, Ocaml, SML, Haskell, Java, C, C++, Pascal, Prolog, Scala, Lisp
• Theorem Provers/ Verification: Coq, Isabelle/ HOL, Alloy, Dafny, JML
• Operating Systems: Linux, MS Windows, Mac OS
• Database Systems: MySql, PostgreSQL, MongoDB
• Other: Latex, Github, Madoko

• Entrepreneurial work at rumr (2014)

  I was one of the founders and developers of a roommate service in NYC where I worked in various facets - frontend and backend, promotion - of the product. I gained valuable experience in both agile development and software product management as well as in many state of the art technologies like AWS and Heroku.

• IT AIDE at IT Helpdesk (Graduate Center, CUNY), New York, USA (2009-2013)

  I worked at tech support and management of helpdesk requests to technicians. I observed the library printing system and worked in the maintenance of user email accounts directory.

• DJ, Nixon Bar, Athens, Greece (2007 - 2009)

  Nixon bar was one of the most successful and eclectic bar-restaurants in Athens. I contributed to two very successful years for the establishment, dj-ing on the busiest nights of the week a blend of indie, americana, tropicalia and soul that later became a standard in other places. I experimented with various technologies for dj-ing and mixing. I am very eager to combine my passions in computing and music in some future project.

• Salesperson at Sales Department of National Organization of Telephony (OTE), Athens, Greece (2005)

  Developed positive customer relations, worked at sales promotion and supported upper management in obtaining new customers. I achieved 100 percent or more of sales goals and earned monthly bonuses while employed part time (winter 2005).

• Warehouse management, database maintenance, logistics at Trading, S. Pouliasis – K. Sgouros Co. Corfu, Greece. (1997 - 2005)

  I worked part time in summer seasons 1997 – 2005 at my father's small business where I learned very early in my life the basics of business thinking and banking and obtained entrepreneurial skills. I got hands on experience on how to run a business successfully in volatile markets, heavily dependent on tourism, like the greek islands. I also worked in database maintenance and basic logistics software.

Starting from the semester of Summer 2010, I have been constantly teachng 2 to 3 sessions (of average 25 students each) at Lehman or Hunter College, CUNY to support my studies. I have taught a total of more than 40 sessions as of now. For each I created and graded the exams and assignments.

For my work as an educator I have received outstanding reviews from full-time faculty every semester. I have also obtained invaluable public speaking skills and had the chance to meet and learn from young people from various backgrounds. Courses I have taught include:

• Programming: CIS 166: Computer Programming for Information Processing (Lehman College, CUNY), CSCI 127: Introduction to Computers (Hunter College, CUNY).

• Databases: CIS 244: Introduction to Database Management (Lehman College, CUNY).

• Systems Architecture: CIS 212: Microcomputer Architecture(Lehman College, CUNY), CSCI 260: Computer Architecture (Hunter College, CUNY).

• Computers for non-computer science majors: CSCI 120: Introduction to Computing (Hunter College, CUNY).

• Math: MAT 171: Problem Solving for Management, Economics, and Life Sciences, MAT 104: College Algebra (Lehman College, CUNY).

• Member of the Association of Symbolic Logic
• Co-organizer of Constructivity at Cuny: A conference in Honor of Prof. Sergei Artemov
• Member of the Graduate Center Greek Community

• I am an avid music listener and art consumer, and had been playing the cello through my childhood. One of the things that I would like to do in the immediate future is experiment computationally with artistic forms. This is something I have missed working in foundations. I would be interested in any project that would welcome a computer science theoretician to work on image/ art-style recognition, music patterns or music sentiment analysis.
• I enjoy dancing, travelling, sailing with the company of my friends and my family.