Ali Sezgin. IST Austria, Am Campus 1, Klosterneuburg 3400, AUSTRIA. Phone: (43)

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Ali Sezgin. IST Austria, Am Campus 1, Klosterneuburg 3400, AUSTRIA. Phone: (43)"

Transcription

1 IST Austria, Am Campus 1, Klosterneuburg 3400, AUSTRIA Phone: (43) Education Ph.D., Computer Science, University of Utah, Salt Lake City, UT, USA Dissertation Title: Formalization and Verification of Shared Memory Advisor: Dr. Ganesh Gopalakrishnan M.Sc., Electrical-Electronics Engineering, Middle East Technical University, Ankara, TURKEY Thesis Title: A Comparison of Process Specifications Using the Languages SDL and ERPAL Advisor: Dr. Kemal Inan B.Sc., Electrical-Electronics Engineering, Middle East Technical University, Ankara, TURKEY Research and Experience Post-Doctoral Researcher Henzinger Group IST Austria Klosterneuburg, AUSTRIA September 2010 Present - Did research on fundamental aspects of concurrent implementations. - Investigated the impact of strict conformance to sequential data structure semantics on the performance of their linearizable implementations. - Developed a formal framework within which relaxation of sequential specifications can be defined quantitatively. - Designed novel concurrent queue implementations achieving high throughput. - Worked on new verification techniques that simplify linearizability proofs of non-blocking concurrent queue implementations. - Collaborated with biologists on the modeling aspects of genetic regulatory circuits. - Extended continuous time markov chain models with time delays. - Investigated the accuracy of existing models for the mrna transcription process.

2 Post-Doctoral Researcher Department of Computer Engineering Koc University Istanbul, TURKEY August 2008 August Implemented a simplified model of the Bartok Software Transactional Memory in C#. - Worked on statically verifying optimistic concurrency, e.g. transactional memory implementations and non-blocking data structures. - Developed the formal foundations and tool support for proving assertions, atomicity and linearizability of optimistically concurrent programs in the QED proof system. - Developed a novel atomicity reduction technique. - Worked on a novel partial specification and runtime verification method for optimistically concurrent programs. Assistant Professor Department of Computer Engineering Yeditepe University Istanbul, TURKEY 2006 July 2008 Taught undergraduate classes at various levels: an introductory course for freshman, data structures course for sophomore and automata theory course for junior students. Assistant Professor Department of Computer Engineering Atilim University Ankara, TURKEY Taught undergraduate and graduate level classes, e.g., theory of computation, formal verification theory and practice. Research Assistant Department of Computer Science University of Utah Salt Lake City, UT, USA As a member of the Utah Verification (UV) group, developed a theoretical framework whereby memory consistency models and implementations are uniformly represented as regular language transducers, and verification of an implementation is reduced to language inclusion. Visiting Researcher MOSEL Group LORIA (Laboratoires Lorrain de Recherche en Informatique et ses Applications) Nancy, France Summer 2003 Together with Stephan Merz, developed an algorithm for the checking of the emptiness of linear weak alternating automata and coded the algorithm using a functional programming language (OCAML).

3 Summer Intern Intel Corporation Austin, TX, USA Summer 2000 Worked on the formal specification of the design of a new multiprocessor on a single chip. Researcher Centre for Defense Studies, Istanbul Technical University Foundation, Ankara-Istanbul, Turkey Worked as a computer engineer on several projects. Teaching/Research Assistant Department of Electrical and Electronics Engineering Middle East Technical University Ankara, Turkey Did research on various aspects of formal specification. Teaching assistant for operating systems, and numerical analysis. Researcher ASELSAN (Military Electronics Industry) Ankara, Turkey Worked on the design, implementation and debugging of an embedded system. Awards - Graduate Research Fellowship awarded by the University of Utah for the academic year (a highly competitive university-wide award on the anticipated impact of the PhD research topic) - Full scholarship by the School of Computing, University of Utah (from Fall 99 to Fall 02 and from Summer 03 to Spring 04) - Awarded NATO ASI travel and accommodation fellowship, paid for attending NATO ASI International Summer School on Verification of Digital and Hybrid Systems, Antalya (26/05 06/06, 1997)

4 Published Work - Thomas A. Henzinger, Christoph Kirsch, Hannes Payer, Ali Sezgin and Ana Sokolova, Quantitative Relaxation of Concurrent Data Structures, To appear in ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL Calin Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu and Ali Sezgin, Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits, Computer-Aided Verification, CAV Ali Sezgin, Serdar Tasiran, Kivanc Muslu and Shaz Qadeer, Run-Time Verification of Optimistic Concurrency, International Conference of Runtime Verification, RV Ali Sezgin, Serdar Tasiran and Shaz Qadeer, Tressa: Claiming the Future, Verified Software: Theories, Tools and Experiments, VSTTE Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi and Serdar Tasiran, Simplifying Linearizability Proofs with Reduction and Abstraction, Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, pp , Paphos, Cyprus. - Shaz Qadeer, Ali Sezgin and Serdar Tasiran, Back and Forth: Prophecy Variables for Static Verification of Concurrent Programs, Microsoft Research Technical Report, MSR-TR , Also published in the Dagstuhl Seminar Proceedings: Design and Validation of Concurrent Systems, Tayfun Elmas, Ali Sezgin, Serdar Tasiran and Shaz Qadeer, An Annotation Assistant for Interactive Debugging of Programs with Common Synchronization Idioms, PADTAD Ali Sezgin and Ganesh Gopalakrishnan, On the Definition of Sequential Consistency, Information Processing Letters, Vol. 96, Issue 6, 31 December 2005, pp Ali Sezgin and Ganesh Gopalakrishnan, On the Decidability of Shared Memory Consistency Verification, Proceedings of the Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design, MEMO- CODE 2005, pp , Verona, Italy. - Stephan Merz and Ali Sezgin, Emptiness of Linear Weak Alternating Automata, Technical Report, LORIA, December A. Sezgin, H. Yenigün, and K. İnan, ERPAL: A New Algebraic Language with Novel Features, in Proceedings of the Tenth International Symposium on Computer and Information Sciences, ISCIS X, October 1995, , Kuşadası, Aydın.

5 Working Papers - Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues. Synopsis: A new concurrent queue implementation, called Speculative Pairing (SP), is presented. SP uses the Fetch-And-Increment (FAI) primitive instead of the more common Compare-And-Swap (CAS) primitive. It is shown that the use of FAI leads to an implementation outperforming state-of-the-art queue implementations. It is argued that better performance is due to the removal of competitive synchronization via CAS statements and the use of cooperative synchronization via FAI statements. - How Free is Your Linearizable Concurrent Data Structure? Synopsis: Commit-order-dependence is the restriction on the implementation that whenever all threads observe the same logical state, the updates to the logical state and the temporal order of commit coincide. It is shown that the existing concurrent queue implementations are commit-order-dependent. A commit-orderindependent queue implementation is given and shown to have better performance. - Verifying Non-Blocking Queue Implementations. Synopsis: It is shown that a queue implementation is linearizable iff it satisfies a small number of properties, which are simplified considerable if the implementation is non-blocking. Unlike existing methods, a proof based on checking these properties leads to existential proofs where precise updates to the logical state at commit points do not need to be specified. The new technique is illustrated on proving implementations challenging from a verification perspective.

6 References Dr. Ganesh Gopalakrishnan Professor, Computer Science School of Computing, University of Utah 50 S. Central Campus Dr., Rm. 3190, Salt Lake City, UT , USA Dr. Thomas A. Henzinger Professor, Computer Science IST Austria, Klosterneuburg 3400, Austria Dr. Serdar Tasiran Assistant Professor, Computer Engineering KoU niversity, Istanbul 34450, Turkey

Towards Relaxing STM. Christoph M. Kirsch, Michael Lippautz! University of Salzburg. Euro-TM Workshop, April 2014

Towards Relaxing STM. Christoph M. Kirsch, Michael Lippautz! University of Salzburg. Euro-TM Workshop, April 2014 Towards Relaxing STM Christoph M. Kirsch, Michael Lippautz! University of Salzburg! Euro-TM Workshop, April 2014 Problem linear scalability positive scalability good performance throughput (#transactions/time)

More information

Goldilocks: A Race and Transaction-Aware Java Runtime

Goldilocks: A Race and Transaction-Aware Java Runtime Goldilocks: A Race and Transaction-Aware Java Runtime Tayfun Elmas, Serdar Tasiran Koç University, İstanbul, Turkey Shaz Qadeer Microsoft Research, Redmond, WA ACM SIGPLAN PLDI 07 June 12, San Diego, CA

More information

Using Patterns and Composite Propositions to Automate the Generation of Complex LTL

Using Patterns and Composite Propositions to Automate the Generation of Complex LTL University of Texas at El Paso DigitalCommons@UTEP Departmental Technical Reports (CS) Department of Computer Science 8-1-2007 Using Patterns and Composite Propositions to Automate the Generation of Complex

More information

Resume of Hanan H. Elazhary

Resume of Hanan H. Elazhary Resume of Hanan H. Elazhary Home Phone: 35853017, 35853986 Cell Phone: 0112302019 E-mail: hanan@eri.sci.eg, hananelazhary@hotmail.com Nationality: Egyptian Gender: Female EDUCATION Ph.D. in Computer Science

More information

Model Checking based Software Verification

Model Checking based Software Verification Model Checking based Software Verification 18.5-2006 Keijo Heljanko Keijo.Heljanko@tkk.fi Department of Computer Science and Engineering Helsinki University of Technology http://www.tcs.tkk.fi/~kepa/ 1/24

More information

Formal Verification and Linear-time Model Checking

Formal Verification and Linear-time Model Checking Formal Verification and Linear-time Model Checking Paul Jackson University of Edinburgh Automated Reasoning 21st and 24th October 2013 Why Automated Reasoning? Intellectually stimulating and challenging

More information

RESEARCH INTERESTS EDUCATION

RESEARCH INTERESTS EDUCATION Subash Shankar Hunter College & Graduate Center, City University of New York (CUNY), Department of Computer Science, 695 Park Ave., New York, NY 10021 subash.shankar@hunter.cuny.edu RESEARCH INTERESTS

More information

Sharareh Noorbaloochi Department of Psychology New York University 6 Washington Place, 559, New York, NY 10003 noorbaloochi@nyu.

Sharareh Noorbaloochi Department of Psychology New York University 6 Washington Place, 559, New York, NY 10003 noorbaloochi@nyu. Sharareh Noorbaloochi Department of Psychology New York University 6 Washington Place, 559, New York, NY 10003 noorbaloochi@nyu.edu (650) 919-3485 EDUCATION AND EMPLOYMENT Postdoctoral Associate, Department

More information

Curriculum Vitae. Jens Chr. Godskesen. IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.

Curriculum Vitae. Jens Chr. Godskesen. IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu. Curriculum Vitae Jens Chr. Godskesen Date of Birth May 25, 1963 Position Address www Positions Head of Department IT University of Copenhagen Rued Langgaards Vej 7, DK-2300 Copenhagen S, Denmark www.itu.dk/~jcg

More information

COLLEGE OF ARTS AND SCIENCES HONORS PROGRAM GUIDELINES APPROVED BY THE CAS HONORS COMMITTEE ON 11/25/2009

COLLEGE OF ARTS AND SCIENCES HONORS PROGRAM GUIDELINES APPROVED BY THE CAS HONORS COMMITTEE ON 11/25/2009 COLLEGE OF ARTS AND SCIENCES HONORS PROGRAM GUIDELINES APPROVED BY THE CAS HONORS COMMITTEE ON 11/25/2009 CONTENTS Overview.. page 1 Joining the program.. page 2 Time line...page 2 Administration.. page

More information

Serdar Taşıran Koç University, Dept. of Computer Engineering Rumeli Feneri Yolu, Sarıyer Istanbul, 34450 Turkey +90 (212) 338 1748

Serdar Taşıran Koç University, Dept. of Computer Engineering Rumeli Feneri Yolu, Sarıyer Istanbul, 34450 Turkey +90 (212) 338 1748 Serdar Taşıran Koç University, Dept. of Computer Engineering Rumeli Feneri Yolu, Sarıyer Istanbul, 34450 Turkey +90 (212) 338 1748 stasiran@ku.edu.tr http://home.ku.edu.tr/~stasiran http://msrc.ku.edu.tr

More information

Swiss Joint Master in Computer Science of the universities of Bern, Neuchâtel and Fribourg

Swiss Joint Master in Computer Science of the universities of Bern, Neuchâtel and Fribourg Swiss Joint Master in Computer Science of the universities of Bern, Neuchâtel and Fribourg 1 The MSc program in computer science Worldwide, computer scientists are in high demand. To cater for this demand,

More information

University of Dayton Department of Computer Science Undergraduate Programs Assessment Plan DRAFT September 14, 2011

University of Dayton Department of Computer Science Undergraduate Programs Assessment Plan DRAFT September 14, 2011 University of Dayton Department of Computer Science Undergraduate Programs Assessment Plan DRAFT September 14, 2011 Department Mission The Department of Computer Science in the College of Arts and Sciences

More information

InvGen: An Efficient Invariant Generator

InvGen: An Efficient Invariant Generator InvGen: An Efficient Invariant Generator Ashutosh Gupta and Andrey Rybalchenko Max Planck Institute for Software Systems (MPI-SWS) Abstract. In this paper we present InvGen, an automatic linear arithmetic

More information

Vincent Cheval. Curriculum Vitae. Research

Vincent Cheval. Curriculum Vitae. Research Vincent Cheval School of Computing University of Kent Canterbury, CT2 7NF, UK +44 (0)7479 555701 +44 (0)1227 823816 vincent.cheval@icloud.com homepage: www.cs.kent.ac.uk/ vc218/web Nationality : French

More information

Concurrent Data Structures. Semantics and Quantitative Relaxations

Concurrent Data Structures. Semantics and Quantitative Relaxations Conurrent Data Strutures Semantis and Quantitative Relaxations Mike Dodds Andreas Haas Tom Henzinger Andreas Holzer Christoph Kirsh Mihael Lippautz Hannes Payer Ali Sezgin Ana Sokolova University of York

More information

http://www.ece.ucy.ac.cy/labs/easoc/people/kyrkou/index.html BSc in Computer Engineering, University of Cyprus

http://www.ece.ucy.ac.cy/labs/easoc/people/kyrkou/index.html BSc in Computer Engineering, University of Cyprus Christos Kyrkou, PhD KIOS Research Center for Intelligent Systems and Networks, Department of Electrical and Computer Engineering, University of Cyprus, Tel:(+357)99569478, email: ckyrkou@gmail.com Education

More information

DR AYŞE KÜÇÜKYILMAZ. Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK

DR AYŞE KÜÇÜKYILMAZ. Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK DR AYŞE KÜÇÜKYILMAZ Imperial College London Personal Robotics Laboratory Department of Electrical and Electronic Engineering SW7 2BT London UK http://home.ku.edu.tr/~akucukyilmaz a.kucukyilmaz@imperial.ac.uk

More information

Laboratoire d Informatique de Paris Nord, Institut Galilée, Université. 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse, France.

Laboratoire d Informatique de Paris Nord, Institut Galilée, Université. 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse, France. Domenico Ruoppolo CV Personal Information First Name Domenico. Last Name Ruoppolo. Date of Birth December 16th, 1985. Place of Birth Naples, Italy. Nationality Italian. Location Address Office B311. Contacts

More information

DR AYŞE KÜÇÜKYILMAZ. Yeditepe University Department of Computer Engineering Kayışdağı Caddesi 34755 Istanbul Turkey

DR AYŞE KÜÇÜKYILMAZ. Yeditepe University Department of Computer Engineering Kayışdağı Caddesi 34755 Istanbul Turkey DR AYŞE KÜÇÜKYILMAZ Yeditepe University Department of Computer Engineering Kayışdağı Caddesi 34755 Istanbul Turkey http://cse.yeditepe.edu.tr/~akucukyilmaz akucukyilmaz@cse.yeditepe.edu.tr QUALIFICATIONS

More information

Languages Arabic and English (First language mastery) Persian (moderate comprehension) French and Spanish (took courses out of interest in languages)

Languages Arabic and English (First language mastery) Persian (moderate comprehension) French and Spanish (took courses out of interest in languages) Ahmed M. A. Oteafy, Ph.D. Assistant Professor of Electrical Engineering ESE Department College of Engineering Alfaisal University PO Box 50927 Riyadh 11533 Kingdom of Saudi Arabia E-mail: AOteafy@Alfaisal.edu

More information

Agreement on. Dual Degree Master Program in Computer Science KAIST. Technische Universität Berlin

Agreement on. Dual Degree Master Program in Computer Science KAIST. Technische Universität Berlin Agreement on Dual Degree Master Program in Computer Science between KAIST Department of Computer Science and Technische Universität Berlin Fakultät für Elektrotechnik und Informatik (Fakultät IV) 1 1 Subject

More information

MEng, BSc Applied Computer Science

MEng, BSc Applied Computer Science School of Computing FACULTY OF ENGINEERING MEng, BSc Applied Computer Science Year 1 COMP1212 Computer Processor Effective programming depends on understanding not only how to give a machine instructions

More information

Thidapat (Tam) Chantem

Thidapat (Tam) Chantem Thidapat (Tam) Chantem 4120 Old Main Hill, Utah State University, Logan, UT 84322 Phone: (435) 797-9068, Fax: (435) 797-3054, tam.chantem@usu.edu Current Position Assistant Professor in the Department

More information

Curriculum Vitae of. Vicky G. Papadopoulou

Curriculum Vitae of. Vicky G. Papadopoulou Curriculum Vitae of Vicky G. Papadopoulou Personal Information Full Name: Vicky G. Papadopoulou Home Address: Odysseos 23, Strovolos, PO Box 2040, Nicosia, Cyprus Phones: Office: +357 22 713046 Email:

More information

Formal Verification of Software

Formal Verification of Software Formal Verification of Software Sabine Broda Department of Computer Science/FCUP 12 de Novembro de 2014 Sabine Broda (DCC-FCUP) Formal Verification of Software 12 de Novembro de 2014 1 / 26 Formal Verification

More information

ISSN: 2321-7782 (Online) Volume 2, Issue 12, December 2014 International Journal of Advance Research in Computer Science and Management Studies

ISSN: 2321-7782 (Online) Volume 2, Issue 12, December 2014 International Journal of Advance Research in Computer Science and Management Studies ISSN: 2321-7782 (Online) Volume 2, Issue 12, December 2014 International Journal of Advance Research in Computer Science and Management Studies Research Article / Survey Paper / Case Study Available online

More information

MEng, BSc Computer Science with Artificial Intelligence

MEng, BSc Computer Science with Artificial Intelligence School of Computing FACULTY OF ENGINEERING MEng, BSc Computer Science with Artificial Intelligence Year 1 COMP1212 Computer Processor Effective programming depends on understanding not only how to give

More information

Conditions for Strong Synchronization In Concurrent Data Types

Conditions for Strong Synchronization In Concurrent Data Types Conditions for Strong Synchronization In Concurrent Data Types Maged Michael IBM TJ Watson Research Center Joint work with Martin Vechev and Vijay Sarsawat Joint work with Hagit Attiya, Rachid Guerraoui,

More information

James B. Fenwick, Jr., Program Director and Associate Professor Ph.D., The University of Delaware FenwickJB@appstate.edu

James B. Fenwick, Jr., Program Director and Associate Professor Ph.D., The University of Delaware FenwickJB@appstate.edu 118 Master of Science in Computer Science Department of Computer Science College of Arts and Sciences James T. Wilkes, Chair and Professor Ph.D., Duke University WilkesJT@appstate.edu http://www.cs.appstate.edu/

More information

Software Verification: Infinite-State Model Checking and Static Program

Software Verification: Infinite-State Model Checking and Static Program Software Verification: Infinite-State Model Checking and Static Program Analysis Dagstuhl Seminar 06081 February 19 24, 2006 Parosh Abdulla 1, Ahmed Bouajjani 2, and Markus Müller-Olm 3 1 Uppsala Universitet,

More information

PRACTICE BOOK COMPUTER SCIENCE TEST. Graduate Record Examinations. This practice book contains. Become familiar with. Visit GRE Online at www.gre.

PRACTICE BOOK COMPUTER SCIENCE TEST. Graduate Record Examinations. This practice book contains. Become familiar with. Visit GRE Online at www.gre. This book is provided FREE with test registration by the Graduate Record Examinations Board. Graduate Record Examinations This practice book contains one actual full-length GRE Computer Science Test test-taking

More information

College of Engineering and Applied Science Department of Computer Science

College of Engineering and Applied Science Department of Computer Science College of Engineering and Applied Science Department of Computer Science Guidelines for Doctor of Philosophy in Engineering Focus Area: Computer Science Last Updated: December 2014 I. INTRODUCTION The

More information

Automated Formal Analysis of Internet Routing Systems

Automated Formal Analysis of Internet Routing Systems Automated Formal Analysis of Internet Routing Systems Boon Thau Loo University of Pennsylvania [Joint work with Anduo Wang (Penn -> UIUC), Wenchao Zhou (Georgetown), Andre Scedrov (Penn), Limin Jia (CMU),

More information

Formal Verification Toolkit for Requirements and Early Design Stages

Formal Verification Toolkit for Requirements and Early Design Stages Formal Verification Toolkit for Requirements and Early Design Stages Julia M. Badger 1 and Sheena Judson Miller 2 1 NASA Johnson Space Center, Houston, TX 77058, USA 2 Barrios Technology, Houston, TX 77058,

More information

Doctor of Philosophy (PhD) in Computer Science

Doctor of Philosophy (PhD) in Computer Science Page 1 of 6 Doctor of Philosophy (PhD) in Computer Science Overview of Degree» Overview» Graduate Programs» BS Degree» CSCI Courses» All UGA Courses» Spr 2009 Schedule» Sum 2009 Schedule» Fall 2009 Schedule»

More information

Multi-core Curriculum Development at Georgia Tech: Experience and Future Steps

Multi-core Curriculum Development at Georgia Tech: Experience and Future Steps Multi-core Curriculum Development at Georgia Tech: Experience and Future Steps Ada Gavrilovska, Hsien-Hsin-Lee, Karsten Schwan, Sudha Yalamanchili, Matt Wolf CERCS Georgia Institute of Technology Background

More information

How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor

How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor Leslie Lamport 1 Digital Equipment Corporation February 14, 1993 Minor revisions January 18, 1996 and September 14, 1996

More information

Department of Physical Sciences. Chemistry

Department of Physical Sciences. Chemistry 92 Eastern New Mexico University Department of Physical Sciences Professor: Associate Professors: Assistant Professors: Robert W. Pierce William Andersen James Constantopoulos Newton Hilliard, Jr James

More information

B.Sc. in Computer Engineering, School of Electrical and Computer Engineering,

B.Sc. in Computer Engineering, School of Electrical and Computer Engineering, Narges Khakpour Postdoctoral Researcher Theoretical Computer Science School of Computer Science and Communication Royal Institute of Technology (KTH) Stockholm E-mail: nargeskh@kth.se Leiden Institute

More information

Sergio.Fernandes@tecnico.ulisboa.pt IST/INESC-ID. http://fenix.tecnico.ulisboa.pt/homepage/ist14264 R. Alves Redol 9 Sala 132 1000-029 Lisboa PORTUGAL

Sergio.Fernandes@tecnico.ulisboa.pt IST/INESC-ID. http://fenix.tecnico.ulisboa.pt/homepage/ist14264 R. Alves Redol 9 Sala 132 1000-029 Lisboa PORTUGAL Sérgio Miguel Fernandes Sergio.Fernandes@tecnico.ulisboa.pt IST/INESC-ID http://fenix.tecnico.ulisboa.pt/homepage/ist14264 R. Alves Redol 9 Sala 132 1000-029 Lisboa PORTUGAL Curriculum Vitae Personal Data

More information

Erik Jonsson School of Engineering and Computer Science

Erik Jonsson School of Engineering and Computer Science Erik Jonsson School of Engineering and Computer Science Bachelor of Science in Computer Science (B.S.C.S.) Goals for the Computer Science Program The undergraduate Computer Science program is committed

More information

Brian Alan Snyder, Ph. D.

Brian Alan Snyder, Ph. D. Brian Alan Snyder, Ph. D. Current work address Department of Mathematics and Computer Science Work phone: (906) 635-2658 Lake Superior State Home phone: (906) 253-9822 650 West Easterday Ave. Department

More information

1 Fall Semester Theory Practice Credits ECTS. 2 Spring Semester Theory Practice Credits ECTS

1 Fall Semester Theory Practice Credits ECTS. 2 Spring Semester Theory Practice Credits ECTS ANTALYA INTERNATIONAL UNIVERSITY INDUSTRIAL ENGINEERING UNDERGRADUATE CURRICULUM Freshman 1 Fall Semester Theory Practice Credits ECTS PHYS 101 PHYSICS I 3 1 4 6 MATH 101 CALCULUS I 4 0 4 6 SCI 101 NATURAL

More information

Erik Jonsson School of Engineering and Computer Science Interdisciplinary Programs

Erik Jonsson School of Engineering and Computer Science Interdisciplinary Programs Erik Jonsson School of Engineering and Computer Science Interdisciplinary Programs Software Engineering (B.S.S.E.) Goals of the Software Engineering Program The focus of the Software Engineering degree

More information

Curriculum Vitae of Thomas Wies

Curriculum Vitae of Thomas Wies Curriculum Vitae of Thomas Wies Particulars address: Computer Science Department phone: +1 (212) 998 3293 Courant Institute of Mathematical Sciences fax: +1 (212) 995 4121 New York University email: wies@cs.nyu.edu

More information

Karthik Ramachandran

Karthik Ramachandran Karthik Ramachandran Associate Professor Operations Management Scheller College of Business Georgia Institute of Technology 800 West Peachtree NW Atlanta, GA - 30308 Office: 4423; (404) 894-8631 karthik.ramachandran@scheller.gatech.edu

More information

Hagit Attiya and Eshcar Hillel. Computer Science Department Technion

Hagit Attiya and Eshcar Hillel. Computer Science Department Technion Hagit Attiya and Eshcar Hillel Computer Science Department Technion !!" What are highly-concurrent data structures and why we care about them The concurrency of existing implementation techniques Two ideas

More information

1 Fall Semester Theory Practice Credits ECTS. 2 Spring Semester Theory Practice Credits ECTS

1 Fall Semester Theory Practice Credits ECTS. 2 Spring Semester Theory Practice Credits ECTS ANTALYA INTERNATIONAL UNIVERSITY INDUSTRIAL ENGINEERING UNDERGRADUATE CURRICULUM Freshman 1 Fall Semester Theory Practice Credits ECTS PHYS 101 PHYSICS I 3 2 4 6 MATH 101 CALCULUS I SCI 101 NATURAL SCIENCES

More information

Thesis Proposal: Improving the Performance of Synchronization in Concurrent Haskell

Thesis Proposal: Improving the Performance of Synchronization in Concurrent Haskell Thesis Proposal: Improving the Performance of Synchronization in Concurrent Haskell Ryan Yates 5-5-2014 1/21 Introduction Outline Thesis Why Haskell? Preliminary work Hybrid TM for GHC Obstacles to Performance

More information

T-79.186 Reactive Systems: Introduction and Finite State Automata

T-79.186 Reactive Systems: Introduction and Finite State Automata T-79.186 Reactive Systems: Introduction and Finite State Automata Timo Latvala 14.1.2004 Reactive Systems: Introduction and Finite State Automata 1-1 Reactive Systems Reactive systems are a class of software

More information

Degrees Major in Computer Science Minor in Computer Science Major in Software Engineering

Degrees Major in Computer Science Minor in Computer Science Major in Software Engineering LT400, Independent Study: Directed reading registering. (U)(1). LT401, Independent Study: Directed reading registering. (U)(2). LT402, Independent Study: Directed reading registering. (U)(3). LT499, Honors

More information

PhD in Computer Science at North Carolina A&T State University

PhD in Computer Science at North Carolina A&T State University PhD in Computer Science at North Carolina A&T State University December 5, 2013 Contents Admission...1 Program Requirements...2 Course Work...2 Advisory Committee...2 Residency and Other Requirements...2

More information

Department of Mathematics Phone: (503) 943-7293. 5000 North Willamette Blvd. http://faculty.up.edu/niederha/ Portland, OR 97203-5798 EXPERIENCE

Department of Mathematics Phone: (503) 943-7293. 5000 North Willamette Blvd. http://faculty.up.edu/niederha/ Portland, OR 97203-5798 EXPERIENCE MEIKE NIEDERHAUSEN Department of Mathematics Phone: (503) 943-7293 University of Portland E-mail: niederha@up.edu 5000 North Willamette Blvd. http://faculty.up.edu/niederha/ Portland, OR 97203-5798 EXPERIENCE

More information

HANDBOOK FOR THE APPLIED AND COMPUTATIONAL MATHEMATICS OPTION. Department of Mathematics Virginia Polytechnic Institute & State University

HANDBOOK FOR THE APPLIED AND COMPUTATIONAL MATHEMATICS OPTION. Department of Mathematics Virginia Polytechnic Institute & State University HANDBOOK FOR THE APPLIED AND COMPUTATIONAL MATHEMATICS OPTION Department of Mathematics Virginia Polytechnic Institute & State University Revised June 2013 2 THE APPLIED AND COMPUTATIONAL MATHEMATICS OPTION

More information

Visualization of Concurrent Program Executions

Visualization of Concurrent Program Executions Visualization of Concurrent Program Executions Cyrille Artho Research Center for Information Security (RCIS), AIST, Tokyo, Japan Klaus Havelund NASA Jet Propulsion Laboratory/Columbus Technologies, Pasadena,

More information

Dynamic Load Balancing. Using Work-Stealing 35.1 INTRODUCTION CHAPTER. Daniel Cederman and Philippas Tsigas

Dynamic Load Balancing. Using Work-Stealing 35.1 INTRODUCTION CHAPTER. Daniel Cederman and Philippas Tsigas CHAPTER Dynamic Load Balancing 35 Using Work-Stealing Daniel Cederman and Philippas Tsigas In this chapter, we present a methodology for efficient load balancing of computational problems that can be easily

More information

Curriculum Vitae. Rohini Kumar

Curriculum Vitae. Rohini Kumar Curriculum Vitae Rohini Kumar Contact Information University Address: Mathematics, 1150 Faculty/Administration Building 656 W. Kirby Detroit, MI 48202 Phone: 313.577.2479 email: rkumar@math.wayne.edu Personal

More information

LabVIEW Based Embedded Design

LabVIEW Based Embedded Design LabVIEW Based Embedded Design Sadia Malik Ram Rajagopal Department of Electrical and Computer Engineering University of Texas at Austin Austin, TX 78712 malik@ece.utexas.edu ram.rajagopal@ni.com Abstract

More information

Assoc. Prof. Dr. Serdar KÜÇÜK

Assoc. Prof. Dr. Serdar KÜÇÜK Assoc. Prof. Dr. Serdar KÜÇÜK Biography. Education: 2004: Ph.D. in Technical Educational Faculty, Electrical Department, Kocaeli University, Kocaeli, TURKEY. Thesis Title: Modeling and off-line programming

More information

Ali Ebnenasir. Department of Computer Science, Michigan Technological University.

Ali Ebnenasir. Department of Computer Science, Michigan Technological University. Ali Ebnenasir 221 Rekhi Hall E-Mail: aebnenas@mtu.edu Department of Computer Science Phone: 906-487-4372 Michigan Technological University Fax: 906-487-2283 Houghton MI 49931 http://www.cs.mtu.edu/~aebnenas

More information

Computer Science Information Sheet for entry in 2016. What is Computer Science?

Computer Science Information Sheet for entry in 2016. What is Computer Science? Computer Science Information Sheet for entry in 2016 What is Computer Science? Computer Science is about understanding computer systems and networks at a deep level. Computers and the programs they run

More information

CURRICULUM VITAE. Name: Nihat Sadik Deger Date and Place of Birth: February 6 1972, Ankara, Turkey

CURRICULUM VITAE. Name: Nihat Sadik Deger Date and Place of Birth: February 6 1972, Ankara, Turkey CURRICULUM VITAE PERSONAL INFORMATION Name: Nihat Sadik Deger Date and Place of Birth: February 6 1972, Ankara, Turkey CONTACT INFORMATION Address: Bogazici University Department of Mathematics Phone:

More information

DTIC ELECT AD-A220 510. 00 04 7 n 0 3 FINAL TECHNICAL REPORT ADVANCED DEVELOPMENT ENVIRONMENTS, CONTINUATION. Submitted by:

DTIC ELECT AD-A220 510. 00 04 7 n 0 3 FINAL TECHNICAL REPORT ADVANCED DEVELOPMENT ENVIRONMENTS, CONTINUATION. Submitted by: AD-A220 510 FINAL TECHNICAL REPORT ADVANCED DEVELOPMENT ENVIRONMENTS, CONTINUATION SPAWAR Contract No. N00039-84-C-0211 T12 Submitted by: DTIC ELECT David C. Luckhamn Principal Investigator Department

More information

Graduate Program Policies and Procedures

Graduate Program Policies and Procedures The University of British Columbia Department of Physics & Astronomy Graduate Program Policies and Procedures May 2007 Table of Contents 1 Introduction 4 2 Programs 4 3 Admissions 4 3.1 Eligibility 4 3.2

More information

CHAPTER 1 INTRODUCTION

CHAPTER 1 INTRODUCTION 1 CHAPTER 1 INTRODUCTION 1.1 MOTIVATION OF RESEARCH Multicore processors have two or more execution cores (processors) implemented on a single chip having their own set of execution and architectural recourses.

More information

COLLEGE OF INFORMATION TECHNOLOGY

COLLEGE OF INFORMATION TECHNOLOGY COLLEGE OF INFORMATION TECHNOLOGY COLLEGE OVERVIEW The College of Information Technology provides the structure and organization for male and female students to successfully pursue degree programs in Information

More information

TUITION WAIVER APPLICATION FORM

TUITION WAIVER APPLICATION FORM TUITION WAIVER APPLICATION FORM Please read the instructions carefully and complete the questions to the best of your ability. Your thoughtful responses will help to distinguish you from other candidates

More information

Overview of the Mathematics M.Sc. Degree

Overview of the Mathematics M.Sc. Degree Overview of the Mathematics M.Sc. Degree Department of Mathematics Boise State University September 5, 2014 Math 598 Mathematics M.Sc. Degree September 5, 2014 1 / 10 Three options towards an M.Sc. in

More information

FROM SAFETY TO SECURITY SOFTWARE ASSESSMENTS AND GUARANTEES FLORENT KIRCHNER (LIST)

FROM SAFETY TO SECURITY SOFTWARE ASSESSMENTS AND GUARANTEES FLORENT KIRCHNER (LIST) FROM SAFETY TO SECURITY SOFTWARE ASSESSMENTS AND GUARANTEES FLORENT KIRCHNER (LIST) M loc 12 ONBOARD SOFTWARE SIZE 10 Volt (2011) F-35 (2012) 8 6 787 (2010) F-35 (2010) 4 2 F-22 (2005) 0 WHY DO WE TRUST

More information

Ontology construction on a cloud computing platform

Ontology construction on a cloud computing platform Ontology construction on a cloud computing platform Exposé for a Bachelor's thesis in Computer science - Knowledge management in bioinformatics Tobias Heintz 1 Motivation 1.1 Introduction PhenomicDB is

More information

The Model Checker SPIN

The Model Checker SPIN The Model Checker SPIN Author: Gerard J. Holzmann Presented By: Maulik Patel Outline Introduction Structure Foundation Algorithms Memory management Example/Demo SPIN-Introduction Introduction SPIN (Simple(

More information

UNIT 1 OPERATING SYSTEM FOR PARALLEL COMPUTER

UNIT 1 OPERATING SYSTEM FOR PARALLEL COMPUTER UNIT 1 OPERATING SYSTEM FOR PARALLEL COMPUTER Structure Page Nos. 1.0 Introduction 5 1.1 Objectives 5 1.2 Parallel Programming Environment Characteristics 6 1.3 Synchronisation Principles 1.3.1 Wait Protocol

More information

Sarah M. Loos. Education. Research Interests. Fellowships. Honors/Awards

Sarah M. Loos. Education. Research Interests. Fellowships. Honors/Awards Computer Science Department, CMU 5000 Forbes Avenue Pittsburgh, Pennsylvania 15213 Phone: +1 812.606.7760 Email: sloos@cs.cmu.edu Website: www.cs.cmu.edu/~sloos Education Ph.D. Carnegie Mellon University,

More information

Software Distributed Shared Memory Scalability and New Applications

Software Distributed Shared Memory Scalability and New Applications Software Distributed Shared Memory Scalability and New Applications Mats Brorsson Department of Information Technology, Lund University P.O. Box 118, S-221 00 LUND, Sweden email: Mats.Brorsson@it.lth.se

More information

Ph. D. School in Computer Science Department of Computer Science, University of Pisa, Pisa, Italy

Ph. D. School in Computer Science Department of Computer Science, University of Pisa, Pisa, Italy Ph. D. School in Computer Science Department of Computer Science, University of Pisa, Pisa, Italy Coordinator: Andrea Maggiolo Schettini History The University of Pisa was among the first in Italy to establish

More information

Graduate Program Policies and Procedures

Graduate Program Policies and Procedures The University of British Columbia Department of Physics & Astronomy Graduate Program Policies and Procedures Sept 2011 Table of Contents 1. Introduction!... 4 2. Programs!... 4 3. Admissions!... 4 3.1.

More information

Embedded Systems Design

Embedded Systems Design Master of Science in Embedded Systems Design Embedded Systems Design The Master of Science in Embedded Systems Design is promoted by ALaRI (Advanced Learning and Research Institute), in association with

More information

AC 2010-969: DEVELOPING AN INDUSTRY-DRIVEN GRADUATE CERTIFICATE IN TEST ENGINEERING FOR ELECTRICAL ENGINEERING TECHNOLOGISTS

AC 2010-969: DEVELOPING AN INDUSTRY-DRIVEN GRADUATE CERTIFICATE IN TEST ENGINEERING FOR ELECTRICAL ENGINEERING TECHNOLOGISTS AC 2010-969: DEVELOPING AN INDUSTRY-DRIVEN GRADUATE CERTIFICATE IN TEST ENGINEERING FOR ELECTRICAL ENGINEERING TECHNOLOGISTS Nasser Alaraje, Michigan Technological University Dr. Alaraje s research interests

More information

DIRECT PH.D. (POST B.S.) IN COMPUTER SCIENCE PROGRAM

DIRECT PH.D. (POST B.S.) IN COMPUTER SCIENCE PROGRAM DIRECT PH.D. (POST B.S.) IN COMPUTER SCIENCE PROGRAM OVERVIEW ADMISSION REQUIREMENTS PROGRAM REQUIREMENTS OVERVIEW FOR THE DIRECT PH.D. IN COMPUTER SCIENCE The Direct Ph.D. in Computer Science program

More information

9700 South Cass Avenue, Lemont, IL 60439 URL: www.mcs.anl.gov/ fulin

9700 South Cass Avenue, Lemont, IL 60439 URL: www.mcs.anl.gov/ fulin Fu Lin Contact information Education Work experience Research interests Mathematics and Computer Science Division Phone: (630) 252-0973 Argonne National Laboratory E-mail: fulin@mcs.anl.gov 9700 South

More information

Format for Curriculum Vitae

Format for Curriculum Vitae Format for Name and Credentials: Dr. E Loria Simon-Campbell, RN Academic Rank: Assistant Professor Office Telephone Number:713-797-7053 E-mail Address: elsimon@pvamu.edu I. Education (List all academic

More information

CURRICULUM VITAE (CV)

CURRICULUM VITAE (CV) 1. Name & Surname: Önder Bulut CURRICULUM VITAE (CV) 2. Date of Birth / Place: September 30, 1977 Afyon, Turkey 3. Academic Title: Asst. Prof. Dr. 4. Education Level: Level Field University Year PhD Industrial

More information

Course Development of Programming for General-Purpose Multicore Processors

Course Development of Programming for General-Purpose Multicore Processors Course Development of Programming for General-Purpose Multicore Processors Wei Zhang Department of Electrical and Computer Engineering Virginia Commonwealth University Richmond, VA 23284 wzhang4@vcu.edu

More information

Curriculum Vitae Troy A. Smith

Curriculum Vitae Troy A. Smith Curriculum Vitae Troy A. Smith Department of Psychology troy.a.smith@ou.edu Cell: (817) 988-8884 Dale Hall Tower, Room 705 Lab: (405) 325-2599 Norman, OK 73019 EDUCATION Ph.D., Psychology,, 2010 (expected)

More information

Field G. Van Zee. Pursue research and development activities in high-performance computing.

Field G. Van Zee. Pursue research and development activities in high-performance computing. Field G. Van Zee Office: GDC 5.806 The Institute for Computational Engineering and Sciences Department of Computer Sciences Austin, Texas 78712 512.415.2863 field@cs.utexas.edu Citizenship: United States

More information

Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification

Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification Introduction Overview Motivating Examples Interleaving Model Semantics of Correctness Testing, Debugging, and Verification Advanced Topics in Software Engineering 1 Concurrent Programs Characterized by

More information

Capstone Honors Research Seminar

Capstone Honors Research Seminar Capstone Honors Research Seminar B499 Fall 2012 - Spring 2013 Alternating Fridays, LD 018 12:00-1:15 Instructor: Dr. Rob Stewart Contact Information: LD151 317 278-1815 Prerequisites: Required Readings:

More information

CURRICULUM VITAE JORGE PÉREZ

CURRICULUM VITAE JORGE PÉREZ EDUCATION CURRICULUM VITAE JORGE PÉREZ Ph.D. Student, Department of Computer Science Pontificia Universidad Católica de Chile Email: jperez@ing.puc.cl, Http: www.ing.puc.cl/~jperez 2009 Ph.D. Student in

More information

Structure of Presentation. Stages in Teaching Formal Methods. Motivation (1) Motivation (2) The Scope of Formal Methods (1)

Structure of Presentation. Stages in Teaching Formal Methods. Motivation (1) Motivation (2) The Scope of Formal Methods (1) Stages in Teaching Formal Methods A. J. Cowling Structure of Presentation Introduction to Issues Motivation for this work. Analysis of the Role of Formal Methods Define their scope; Review their treatment

More information

Better Digital Signal Processing Performance; Lower Costs With Innovative IntervalZero RTX Real-time Platform

Better Digital Signal Processing Performance; Lower Costs With Innovative IntervalZero RTX Real-time Platform White Paper Better Digital Signal Performance; Lower Costs With Innovative IntervalZero RTX Real-time Platform I. Overview Digital Signal Processors (s) have specialized architectures that are optimized

More information

Properties of Stabilizing Computations

Properties of Stabilizing Computations Theory and Applications of Mathematics & Computer Science 5 (1) (2015) 71 93 Properties of Stabilizing Computations Mark Burgin a a University of California, Los Angeles 405 Hilgard Ave. Los Angeles, CA

More information

Verification of hybrid dynamical systems

Verification of hybrid dynamical systems Verification of hybrid dynamical systems Jüri Vain Tallinn Technical University/Institute of Cybernetics vain@ioc.ee Outline What are Hybrid Systems? Hybrid automata Verification of hybrid systems Verification

More information

Page Overview... 2 Admission Requirements... 2 Additional Requirements... 3 Sample Timeline... 4 Sample Research Proposal... 5

Page Overview... 2 Admission Requirements... 2 Additional Requirements... 3 Sample Timeline... 4 Sample Research Proposal... 5 Contents Page Overview............................. 2 Admission Requirements................. 2 Additional Requirements................. 3 Sample Timeline....................... 4 Sample Research Proposal................

More information

Jonathon T. Giffin. Research Interests. Education

Jonathon T. Giffin. Research Interests. Education Jonathon T. Giffin University of Wisconsin USA Office: +1 (608) 262-6625 Mobile: +1 (608) 772-3663 Fax: +1 (608) 262-9777 giffin@cs.wisc.edu http://www.cs.wisc.edu/~giffin/ Research Interests My primary

More information

Craig A. Damon. Education. Academic Positions. Teaching Experience. Ph.D., Carnegie Mellon University, Pittsburgh, PA

Craig A. Damon. Education. Academic Positions. Teaching Experience. Ph.D., Carnegie Mellon University, Pittsburgh, PA Craig A. Damon http://web.vtc.edu/users/cad03090 Education Ph.D., Carnegie Mellon University, Pittsburgh, PA August 1994 - August, 2000, School of Computer Science Advisors: Daniel Jackson and Jeannette

More information

Department of Bioengineering B.S./M.S. Program Handbook 2005-2006

Department of Bioengineering B.S./M.S. Program Handbook 2005-2006 Department of Bioengineering B.S./M.S. Program Handbook 2005-2006 University of Utah Department of Bioengineering 50 S Central Campus Drive (Merrill Engineering Building), Room 2480, 581-8528 20 S 2030

More information

Tilburg University. Publication date: 2010. Link to publication

Tilburg University. Publication date: 2010. Link to publication Tilburg University On the formal specification of business contracts and regulatory compliance Elgammal, Onbekend; Türetken, O.; van den Heuvel, Willem-Jan; Papazoglou, Mike Published in: Proceedings of

More information

CURRICULUM VITA BYUNGCHAE JIN

CURRICULUM VITA BYUNGCHAE JIN CURRICULUM VITA BYUNGCHAE JIN University of Maryland 3330J Van Munching Hall College Park, 20742 USA Phone: 240-994-0216 E-mail: bcjin3@gmail.com EDUCATION 2006~2011 (expected) University of Maryland,

More information

Curriculum Vitae. Sergiy Bogomolov. October 6, 2015

Curriculum Vitae. Sergiy Bogomolov. October 6, 2015 Curriculum Vitae Sergiy Bogomolov October 6, 1 Contact Information Henzinger Group Institute of Science and Technology Austria Am Campus 1 3400 Klosterneuburg Austria Phone: +43 (0) 664 886 87 653 Email:

More information