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

Size: px
Start display at page:

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

Transcription

1 Serdar Taşıran Koç University, Dept. of Computer Engineering Rumeli Feneri Yolu, Sarıyer Istanbul, Turkey +90 (212) EDUCATION Doctor of Philosophy University of California, Berkeley Department of Electrical Engineering and Computer Sciences Dissertation title: Compositional and Hierarchical Techniques for the Formal Verification of Real-Time Systems Primary area: Formal Verification, Logic Synthesis Minors: Mathematical Logic; Algorithms and Computer Science Theory Master of Science University of California, Berkeley Department of Electrical Engineering and Computer Sciences Thesis title: Language Containment Using Non-deterministic Omega-automata Bachelor of Science Bilkent University, Ankara, Turkey Department of Electrical and Electronics Engineering Department Valedictorian, University Salutatorian December 1998 May 1995 June 1991 HONORS AND AWARDS Elected member of the IFIP WG2.3 Working Group: Programming Methodology. Present and past members of this group include six Turing Award winners. Appointed member of the HiPEAC European Network of Excellence on High Performance and Embedded Architecture and Compilation. Appointed member of the Association for Computing Machinery (ACM) Europe Council. Received one of 18 Microsoft Research Europe PhD Scholarship awards. Distinguished Young Scientist Award, Turkish Academy of Sciences (TUBA-GEBIP). Research gifts from the Software Productivity Tools and Software Reliability Research Groups, Microsoft Research, Redmond. The TUBITAK (The Turkish Council for Scientific and Technical Research) Young Investigator (KARIYER) Award in the form of research funding for five years. Funding for graduate study from the Semiconductor Research Corporation. Eugene C. Gee and Mona Fay Gee Scholarship for graduate study at UC Berkeley. One of the four NATO Honorary Doctoral Scholars in Electrical Engineering selected by the Scientific and Technical Research Council of Turkey. Ranked first in the graduating class of the Department of Electrical and Electronics Engineering at Bilkent University. Represented Turkey as a member of a team of six in the 29 th Intl. Mathematics Olympiad. Ranked first out of approximately one million high school seniors in the National University Entrance Examination in Turkey (OSS). Ranked first out of ~150,000 students in the Science High School entrance examination. RESEARCH INTERESTS Verification, programming languages, and systems: Verifiable systems programming, static proof and dynamic verification tools for multi-threaded and distributed software, multi-processor hardware. Design automation tools for hardware and software systems: Synthesis, verification, performance analysis and optimization.

2 PROFESSIONAL EXPERIENCE College of Engineering, Koç University, Istanbul, Turkey Associate Professor of Computer Engineering Research Center for Multicore Software Engineering: A Collaboration with Barcelona Supercomputing Center and Microsoft Research LIP6, Université Pierre et Marie Curie and French National Center for Scientific Research (CNRS) (Sabbatical Leave) Visiting Professor with Dr. Marc Shapiro Microsoft Research, Cambridge, UK (Sabbatical Leave) Visiting Researcher Programming Principles and Tools Group Microsoft Research, Redmond, WA (Sabbatical Leave) Visiting Researcher Research in Software Engineering Group Laboratoire d'informatique Algorithmique: Fondements et Applications, CNRS, Université Paris Diderot - Paris 7 Visiting Professor with Prof. Ahmed Bouajjani Microsoft Research Visiting researcher appointments at and several yearly visits to Research in Software Engineering Group, Redmond (three months) Programming Principles and Tools Microsoft Research, Cambridge, UK, Rigorous Software Engineering Group, Bangalore, India (one month) Jan present Jul.-Sep Mar. Jun Aug Mar June 2012 Jan present Massachusetts Institute of Technology Research Laboratory of Electronics Visiting Researcher with the Computational Prototyping Group Systems Research Center, Hewlett-Packard Laboratories (formerly Compaq and Digital Equipment Corp.) Palo Alto, CA Research Scientist Formal specification and verification of the Alpha multiprocessor architecture, verification of concurrent systems software, information visualization in bioinformatics. Gigascale System Research Center (www.gigascale.org) Research Scientist The GSRC was a fourteen-university and multi-company research consortium aimed at addressing the challenges electronic design was expected to face in the next 8-12 years. Faculty advisor: Prof. Kurt Keutzer, University of California at Berkeley University of California, Berkeley, Computer-Aided Design Research Group Graduate Student Researcher, Computer-Aided Design Group Aug Oct Jan Dec Oct Aug Dec Bell Laboratories, Lucent Technologies, Murray Hill, NJ Summer intern. Supervisors: Robert P. Kurshan, Rajeev Alur Compositional verification of refinement for real-time systems University of Illinois, Urbana-Champaign, Coordinated Science Laboratories Research Assistant, Optoelectronics and High Speed Devices Group Jun.- Aug. 1995, Jun Aug May 1992

3 REFEREED PUBLICATIONS 1. Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran Automated and Modular Refinement Reasoning for Concurrent Programs Intl. Conf. on Computer-Aided Verification, CAV '15. Technical report version: Microsoft Research Technical Report MSR-TR Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran Systematic Asynchrony Bug Exploration for Android Apps Intl. Conf. on Computer-Aided Verification, CAV ' Erdal Mutlu, Benjamin Livshits, Serdar Tasiran Detecting JavaScript Races that Matter European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015) Technical report version: Microsoft Research Technical Report MSR-TR Gokcen Kestor, Osman Unsal. Adrián Cristal, Serdar Tasiran TRADE: Precise Dynamic Race Detection for Scalable Transactional Memory Systems (To appear) in ACM Transactions on Parallel Computing - Jan Erdal Mutlu, Vladimir Gajinov, Adrian Cristal, Serdar Tasiran and Osman Unsal Dynamic Verification for Hybrid Concurrent Programming Models Intl. Conference on Runtime Verification, LNCS Toronto, Canada, September 22-24, Michael Emmi, Burcu Kulahcioglu Ozkan, Serdar Tasiran Exploiting Synchronization in the Analysis of Shared-Memory Asynchronous Programs SPIN 14: SPIN Symposium in Model Checking of Software. San Jose, USA, July 21-23, Erdal Mutlu, Serdar Tasiran, Benjamin Livshits I Know It When I See It: Observable Races in JavaScript Applications Dyla 14: Workshop on Dynamic Languages and Applications (co-located with PLDI 14). Edinburgh, Scotland, UK, June 12, Gokcen Kestor, Osman Unsal, Adrian Cristal, Serdar Tasiran T-Rex: A Dynamic Race Detection Tool for C/C++ Transactional Memory Applications EuroSys 14: 9th European Conference on Computer Systems. Amsterdam, The Netherlands, April 14-16, Burcu Külahçıoğlu Özkan, Erdal Mutlu and Serdar Tasiran Towards Verifying Eventually Consistent Applications Workshop on the Principles and Practice of Eventual Consistency (co-located with EuroSys 14). Amsterdam, The Netherlands, April 13, Ismail Kuru, Burcu Kulahcioglu Ozkan, Suha Orhun Mutluergil, Serdar Tasiran, Tayfun Elmas, Ernie Cohen Verifying Programs under Snapshot Isolation and Similar Relaxed Consistency Models TRANSACT 14: 9th ACM SIGPLAN Workshop on Transactional Computing (co-located with ASPLOS 14) Salt Lake City, USA, March 2, Adrian Cristal, Burcu Kulahcioglu Ozkan, Ernie Cohen, Gokcen Kestor, Ismail Kuru, Osman Unsal, Serdar Tasiran, Suha Orhun Mutluergil, Tayfun Elmas Verification Tools for Transactional Programs (Book chapter) Transactional Memory. Foundations, Algorithms, Tools, and Applications, LNCS 8913, 2014.

4 12. Hassan Salehe Matar, Ismail Kuru, Serdar Tasiran, Roman Dementiev Accelerating Precise Race Detection Using Commercially-Available Hardware Transactional Memory Support Workshop on Determinism and Correctness in Parallel Programming (WoDet 2014) (co-located with ASPLOS 14). Salt Lake City, USA, March 2, Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor and Osman Unsal PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors Intl. Conference on Runtime Verification, LNCS Istanbul, Turkey, Serdar Tasiran, Shaz Qadeer Runtime Verification of Concurrency-Specific Correctness Criteria International Journal on Software Tools for Technology Transfer (STTT), 14(3), Serdar Tasiran, M. Erkan Keremoglu, Kivanc Muslu Location Pairs: A Test Coverage Metric for Shared-Memory Concurrent Programs Empirical Software Engineering Journal, 17(3), Omer Subasi, Tayfun Elmas, Serdar Tasiran On Justifying and Verifying Relaxed Detection of Conflicts in Concurrent Programs WoDet 3: Third Workshop on Determinism and Correctness in Parallel Programming Co-located with ASPLOS 12, 17th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems. London, England, UK, March 3-7, Umit Can Bekar, Tayfun Elmas, Semih Okur, Serdar Tasiran KUDA: GPU Accelerated Split Race Checker WoDet 3: Third Workshop on Determinism and Correctness in Parallel Programming Co-located with ASPLOS 12, 17th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems. London, England, UK, March 3-7, Ali Sezgin, Serdar Tasiran, Kıvanc Muslu, Shaz Qadeer Run-Time Verification of Optimistic Concurrency Intl. Conference on Runtime Verification, LNCS Malta, November 1-4, Tayfun Elmas, Shaz Qadeer, Serdar Tasiran Goldilocks: A Race- Aware Runtime Communications of the Association for Computing Machinery (CACM) Research Highlights Section, 53(11):55-92, Ali Sezgin, Serdar Tasiran, Shaz Qadeer Tressa: Claiming the Future. Verified Software: Theories, Tools and Experiments (VSTTE 2010). Edinburgh, Scotland. August 16-19, Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Ömer Subası, Serdar Tasıran Simplifying Linearizability Proofs with Reduction and Abstraction In Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010). Paphos, Cyprus. March 20-28, Alp Arslan Bayrakci, Alper Demir, Serdar Tasiran Fast Monte Carlo Estimation of Timing Yield With Importance Sampling and Transistor-Level Circuit Simulation IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 29(9): , 2010.

5 23. Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Serdar Tasiran An Annotation Assistant for Interactive Debugging of Programs with Common Synchronization Idioms. ACM 2009 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 09). Chicago, Illinois, USA, July 19-20, Tayfun Elmas, Shaz Qadeer, Serdar Tasiran A Calculus of Atomic Actions ACM SIGPLAN-SIGACT 2009 Symposium on Principles of Programming Languages (POPL 09) Savannah, Georgia, USA, January 21-23, Soner Yaldiz, Alper Demir, Serdar Tasiran Stochastic Modeling and Optimization for Energy Management in Multi-Core Systems: A Video Decoding Case Study IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27(7): , Nesra Yannier, Cagatay Basdogan, Serdar Tasiran, Omer Lutfi Sen Using Haptics to Convey Cause and Effect Relations in Climate Visualization IEEE Transactions on Haptics, 1(2): , Tayfun Elmas, Shaz Qadeer, Serdar Tasiran Goldilocks: A Race- and Transaction-Aware Java Runtime ACM SIGPLAN 2007 Conf. on Programming Language Design and Implementation, PLDI '07. June 10-13, Also in ACM SIGPLAN Notices, 42(6), June Serdar Tasiran, Tayfun Elmas Rollback Atomicity 7 th Workshop on Runtime Verification (RV 2007). Vancouver, BC, Canada, March Tayfun Elmas, Shaz Qadeer, Serdar Tasiran Goldilocks: Efficiently computing the happens-before relation using locksets Workshop on Formal Approaches to Testing and Runtime Verification (FATES/RV 2006) Seattle, WA, August Serdar Tasiran, Alper Demir Smart Monte Carlo for Yield Estimation ACM/IEEE Int l Workshop on Timing Issues in the Specification and Synthesis of Digital Systems. San Jose, CA, February Alper Demir, Serdar Tasiran, Stochastic Logical Effort: Designing for Timing Yield on the Back of an Envelope ACM/IEEE Int l Workshop on Timing Issues in the Specification and Synthesis of Digital Systems. San Jose, CA, February Soner Yaldiz, Alper Demir, Serdar Tasiran, Paolo Ienne, Yusuf Leblebici Characterizing and Exploiting Task-Load Variability and Correlation for Energy Management in Multi-Core Systems Proc. IEEE 3 rd Workshop on Embedded Systems for Real-Time Multimedia: ESTIMedia New York, September 22-23, Tayfun Elmas, Serdar Tasiran VyrdMC: Driving Runtime Refinement Checking with Model Checkers 5 th Workshop on Runtime Verification. Edinburgh, Scotland, UK. July 12, 2005.

6 34. Serdar Tasiran, Tayfun Elmas, Guven Bolukbasi, M. Erkan Keremoglu A Novel Test Coverage Metric for Concurrently-Accessed Software Components 5 th International Workshop on Formal Approaches to Testing of Software (FATES 2005). Edinburgh, Scotland, UK, July 11, Tayfun Elmas, Serdar Tasiran, Shaz Qadeer VYRD: VerifYing Concurrent Programs by Runtime Refinement-Violation Detection ACM SIGPLAN 2005 Conf. on Programming Language Design and Implementation, PLDI '05. June 12-15, Also in ACM SIGPLAN Notices, (40)6, June Serdar Tasiran, Yuan Yu, Brannon Batson Linking Simulation with Formal Verification at a Higher Level IEEE Design and Test of Computers, Special Issue on Exploring Synergies for Design Verification. 21(6): , Serdar Tasiran, Shaz Qadeer Runtime Refinement Checking of Concurrent Data Structures RV'04 - Fourth Workshop on Runtime Verification. Barcelona, Spain, April 3, The European Joint Conferences on Theory and Practice of Software (ETAPS '04). 38. Serdar Tasiran, Brannon Batson, Yuan Yu Using a Formal Specification and a Model Checker to Monitor and Direct Simulation: Verifying the Multiprocessing Hardware of the Alpha Microprocessor. IEEE 40th Design Automation Conference, DAC '03. Anaheim, USA, June (Invited talk, International Solid State Circuits Conference, ISSCC 2004, Highlights of DAC ). 39. Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark Tuttle, and Yuan Yu. Checking Cache Coherence Protocols with TLA+ Journal of Formal Methods in System Design. 22(2): , Tamara Munzner, Francois Guimbretiere, Serdar Tasiran, Li Zhang, and Yunhong Zhou TreeJuxtaposer: Scalable Tree Comparison using Focus+Context with Guaranteed Visibility ACM Transactions on Graphics. 22(3): , Thomas A. Henzinger, Shaz Qadeer, Sriram Rajamani, Serdar Tasiran An Assume-Guarantee Rule for Checking Simulation ACM Transactions on Programming Languages and Systems (TOPLAS). 24(1): 51-64, Serdar Tasiran, Yuan Yu, Rajeev Joshi, Brannon Batson, Scott Kreider Using Formal Specifications to Monitor and Guide Simulation: Verifying the Cache Coherence Engine of the Alpha Microprocessor IEEE Workshop on Microprocessor Test and Verification, MTV '02. Austin, TX, Serdar Tasiran, Farzan Fallah, David G. Chinnery, Scott J. Weber, Kurt Keutzer A Functional Validation Technique: Biased Random Simulation Guided By Observability-Based Coverage IEEE Intl Conf. on Computer Design: VLSI in Computers and Processors, ICCD 01. September Serdar Tasiran, Kurt Keutzer Coverage Metrics For Functional Validation Of Hardware Designs IEEE Design and Test of Computers. 18(4), 2001.

7 45. Serdar Tasiran, Farzan Fallah, David G. Chinnery, Scott J. Weber, Kurt Keutzer Coverage-Directed Generation Of Biased Random Vectors For Functional Validation Of Sequential Circuits. IEEE/ACM Workshop on Logic and Synthesis, IWLS 01. June Thomas. A. Henzinger, Shaz Qadeer, Sriram Rajamani, Serdar Tasiran An Assume-Guarantee Rule for Checking Simulation Intl. Conf. on Formal Methods in Computer-Aided Design, FMCAD '98. LNCS Palo Alto, USA, Serdar Tasiran, Sergio Yovine, Robert K. Brayton A Timed Automaton-Based Method for Accurate Computation of Circuit Delay in the Presence of Cross-Talk Intl. Conf. on Formal Methods in Computer-Aided Design, FMCAD '98, LNCS Palo Alto, USA, Rajeev Alur, Thomas A. Henzinger, Fred Y.C. Mang, Shaz Qadeer, Sriram Rajamani, Serdar Tasiran MOCHA: Modularity in Model Checking Intl. Conf. on Computer-Aided Verification, CAV '98. LNCS Vancouver, Canada, Serdar Tasiran, Yuji Kukimoto, Robert K. Brayton Computing Delay with Coupling Using Timed Automata IEEE/ACM Intl. Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, TAU '97. Austin, TX, Serdar Tasiran, Robert K. Brayton STARI: A Case Study in Compositional and Hierarchical Timing Verification Intl. Conf. on Computer-Aided Verification, CAV '97, LNCS Haifa, Israel, Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton Verifying Abstractions of Timed Systems Intl. Conference on Concurrency Theory, CONCUR '96, LNCS Pisa, Italy, Serdar Tasiran, Robert K. Brayton On Iterative Verification with Timed Automata ACM Intl. Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, TAU '95. Seattle, WA, Serdar Tasiran, Ramin Hojati, Robert K. Brayton Language Containment Using Non-deterministic Omega-Automata Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME'95, LNCS 987. Frankfurt, Germany, Adnan Aziz, Serdar Tasiran, Robert K. Brayton BDD Variable Ordering for Interacting Finite State Machines ACM/IEEE Design Automation Conference, DAC 94. San Diego, USA, Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram Krishnan, Rajeev Ranjan, Thomas Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto Sangiovanni-Vincentelli HSIS: A BDD-Based Environment for Formal Verification ACM/IEEE Design Automation Conference, DAC 94. San Diego, USA, 1994.

8 56. Adnan Aziz, Serdar Tasiran, Robert K. Brayton A Communication Complexity Based Approach to BDD Variable Ordering for Systems of Interacting Finite State Machines ACM/IEEE Intl. Workshop on Logic Synthesis, IWLS 93. Tahoe City, USA, M. Selim Unlu, Samuel Strite, A. Levent Demirel, Serdar Tasiran, Arlindo Salvador, Hadis Morkoc Wavelength Selective Optical Logic and Interconnects IEEE Journal on Quantum Electronics, 29(2), M. Selim Unlu, A. Levent Demirel, Samuel Strite, Serdar Tasiran, Arlindo Salvador, and Hadis Morkoc Wavelength Demultiplexing Optical Switch Applied Physics Letters, 60(15), TECHNICAL REPORTS 59. Tayfun Elmas, Semih Okur, Serdar Tasiran Rethinking Runtime Verification for Hundreds of Cores: Challenges and Opportunities EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS , June Tayfun Elmas, Shaz Qadeer, Serdar Tasiran A Calculus of Atomic Actions Microsoft Research Technical Report, MSR-TR , July 18, Serdar Tasiran A Compositional Method for Verifying Software Transactional Memory Implementations Microsoft Research Technical Report, MSR-TR , April 10, Tayfun Elmas, Shaz Qadeer, Serdar Tasiran Precise race detection and efficient model checking using locksets Microsoft Research Technical Report, MSR-TR , March Serdar Tasiran, Andrej Bogdanov, Minwen Ji Detecting concurrency errors in file systems by runtime refinement checking Hewlett-Packard Laboratories, Technical Report, HPL , INVITED PRESENTATIONS Verifiable Concurrent Systems Programming: A Garbage Collector Case Study EC2: CAV 2014 Workshop on Exploiting Concurrency Efficiently and Correctly Simplifying Concurrent Programs Using Reduction and Abstraction: The QED Approach Tool demo: Static proof system for programs running on the total-store order memory model. - Workshop of Concurrent Software - Microsoft Research, Cambridge, UK June Dagstuhl Seminar on the Formal Verification of Distributed Algorithms Schloss Dagstuhl, Germany, April 1-5, Verifying Concurrent Programs with Relaxed Conflict Detection - University of Paris 7, 22 June University of Paris 6, 15 June Fifth Workshop on the Theory of Transactional Memory October 14, 2013, Jerusalem, Israel - in conjunction with DISC IFIP WG 2.3 Working Group on Programming Methodology, Kirkland, WA, 17 July 2012 Microsoft Research Cambridge, UK, 17 August 2012

9 Generalizing Reduction and Abstraction to Simplify Concurrent Programs: The QED Approach - COST Action Meeting: Rich Model Toolkits, Tallinn, Estonia, 31 March, The Chemistry of Concurrent and Distributed Programming Workshop Mysore Park Series. Mysore, India February, Dagstuhl Seminar on Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems Schloss Dagstuhl, Germany. 7 November, 2010 Location Pairs: A Test Coverage Metric for Concurrent Programs Microsoft Research, Redmond, WA, July 2011 Reduction, abstraction, and atomicity: How much can we prove about concurrent programs using them? IFIP WG 2.3: Working Group on Programming Methodology Mtg. 50, Lachen, Switzerland, March 2010 Verifying Optimistic Concurrency: Prophecy Variables and Backwards Reasoning Dagstuhl Seminar on the Design and Validation of Concurrent Systems Schloss Dagstuhl, Germany. 2 September 2, 2009 Computer-Aided Verification for Multi-Core / Concurrent Programming Panel at the CAV 2008 Workshop on Exploiting Concurrency Efficiently and Correctly Princeton, NJ, 8 July, 2008 Verifying Software Transactional Memory Implementations Microsoft Research, Redmond, WA. August 2007, April 2008 Microsoft Research, Bangalore, India, June 2008 Goldilocks: A Race- and Transaction-Aware Runtime for Java Dagstuhl Seminar on Runtime Verification Schloss Dagstuhl, Germany. 3 January, 2007 Using a Formal Specification and a Model Checker to Monitor and Direct Simulation: Verifying the Multiprocessing Hardware of the Alpha Microprocessor International Solid State Circuits Conference, ISSCC 2004, Highlights of DAC Session, San Francisco, CA, January 2004 Simulation Meets Formal Verification Embedded tutorial in the IEEE Intl Conf. on Computer-Aided Design, ICCAD 1999, San Jose, CA, 1999 PROFESSIONAL ACTIVITIES Member of the ACM Europe Council (http://europe.acm.org) Member of the Committee on European Computing Education (http://www.uni-muenster.de/cece/ Member of the IFIP WG2.3: Working Group on Programming Methodology (http://research.microsoft.com/en-us/um/people/leino/ifip-wg2.3/) Guest Editor, Special Issue of the Journal of Logic and Computation (Oxford Journals) on Runtime Verification Program Committee Co-chair, LNCS Volume Editor for Runtime Verification 2007 and 2012 Member of the Technical Program Committees for ASPLOS 2015: Architectural Support for Programming Languages and Operating Systems EuroSys 2015: The European Conference on Computer Systems SEFM 2014: 12 th Intl. Conference on Software Engineering and Formal Methods ftfjp 2013: 13th Workshop on Formal Techniques for Java-like Programs TACAS 2012: Tools and Algorithms for the Construction and Analysis of Systems VSTTE 2010: Verified Software: Theories, Tools and Experiments TRANSACT 2009: 4 th ACM SIGPLAN Workshop on Transactional Computing CAV 2009, CAV 2011: Intl. Conference on Computer-Aided Verification ICCD : IEEE Intl. Conference on Computer Design

10 ICTAC 2008, 2009: Intl. Colloquium on the Theoretical Aspects of Computing SAVBCS 2008: Workshop on Specification and Verification of Component-Based Systems HVC : IBM Verification Conference, Haifa, Israel RV : Intl. Workshop/Conference on Runtime Verification FATES/RV 2006: Workshop on Formal Approaches to Testing and Runtime Verification PADTAD : Workshop on Parallel and Distributed Systems: Testing and Debugging Reviewer for: ACM TOPLAS: Transactions on Programming Languages and Systems IEEE Transactions on Computed-Aided Design, TransCAD Journal of the Association for Computing Machinery, JACM CACM: Communications of the ACM IEEE Design and Test of Computers STTT: Software Tools for Technology Transfer RESEARCH SUPERVISION Post-doctoral researcher: Dr. Ali Sezgin Later positions: Researcher at IST Austria with Prof. Thomas A. Henzinger, now Researcher with Prof. Peter Sewell, University of Cambridge Current PhD students: Burcu Kulahcioglu Ozkan Research area: Detection of determinism violations in asynchronous shared-memory programs Research internships: IMDEA, Madrid, and LIAFA, Univ. Paris 6 Suha Mutluergil Research area: Static verification of programs using eventually-consistent replicated data types Research internships: University of Washington, Seattle Erdal Mutlu Research area: Detection of observable concurrency errors on asynchronous JavaScript web pages Research internships: ARM (HiPEAC), Barcelona Supercomputing Center Hassan Salehe Matar Research area: Using hardware support to accelerate precise race detection Research internship: Intel and SAP, Munich Maryam Dabaghchian Research area: Dynamic verification for geo-replicated databases PhD theses supervised at Koc University: Tayfun Elmas (degree awarded August 2010) Thesis title: Techniques for Runtime Monitoring and Static Verification of Concurrent Software Later positions: Post-doc at UC Berkeley, now at Google Alp Arslan Bayrakci (degree awarded August 2010) Thesis title: Fast And Accurate Statistical Timing Analysis Of Digital Circuits For Timing Yield Estimation Based On Transistor Level Simulations Later position: Assistant Professor at Gebze High Technology Institute, Turkey Master s theses supervised at Koc University: Tayfun Elmas (degree awarded Fall 2005) Thesis title: Runtime Checking of Refinement for Concurrent Software Components Later positions: Post-doc at UC Berkeley, now at Google Soner Yaldiz (degree awarded Fall 2006) Thesis title: Stochastic Application Models for Multiprocessor Energy Minimization Later positions: PhD at CMU, now at Intel, Oregon

11 M. Erkan Keremoglu (degree awarded Fall 2007) Thesis title: The Location-Pairs Coverage Metric for Testing Concurrent Programs Later positions: PhD at Simon Fraser University, now at Microsoft, Redmond Nesra Yannier (degree awarded Fall 2007) Thesis title: Using Haptics to Convey Cause and Effect Relations in Climate Visualization Current position: PhD student at Stanford University Omer Subasi (degree awarded Summer 2012) Thesis title: Techniques for Verifying Transactional Programs and Linearizability Current position: PhD student at Barcelona Supercomputing Center Umit Can Bekar (degree awarded Fall 2013) Thesis title: KUDA: A GPU-CPU Split Race Checker Framework Current position: Yapi Kredi Technologies Ismail Kuru (degree awarded Fall 2015) Thesis title: Static Methods for Checking Correctness of Programs on Relaxed Memory Systems Research internships: Microsoft Research, Cambridge, UK, and University of Washington, Seattle Later positions: PhD student at Georgia Institute of Technology COURSES TAUGHT Graduate courses: COMP 489/589: Software Reliability: Specification, Testing and Verification COMP 456/556: Algorithms and Computational Complexity ECOE 560: Design Methodologies and Tools for Software/Hardware Systems Undergraduate courses: ENGR 100: Introduction to Computer Engineering COMP 131/241: Object-Oriented Programming with Java COMP 132: Advanced Programming COMP 302: Software Engineering EXTERNAL FUNDING FOR RESEARCH EU ITEA3 industry-academia collaboration project (approved for EU funding in ßMarch 2015) ASSUME: Affordable Safe and Secure Mobility Evolution 540,000 Euros for three years, EU Project SyncFree: Large-scale computation without synchronization 90,000 Euros for three years, Koc-Microsoft Research Center for Multicore Software Engineering $250,000 for three years, Sept Sept Turk Telekom Project on Software Engineering Tools for Cloud Computing $120,000 for three years, Sept Sept Intel Project on Power Management for Mobile Platforms $40,000 per year, year-long research internships, pre-release equipment donations COST Action Project Funded by TUBITAK 259,758 TL for three years, Sept Sept TUBA-GEBIP Outstanding Young Researcher Grant 60,000 TL for three years, Microsoft Research unrestricted research gifts, support for visits, travel, internships Over $150,000 since 2003 KARIYER Project funded by TUBITAK Approx. 150,000 TL, ended in 2010

Bob Boothe. Education. Research Interests. Teaching Experience

Bob Boothe. Education. Research Interests. Teaching Experience Bob Boothe Computer Science Dept. University of Southern Maine 96 Falmouth St. P.O. Box 9300 Portland, ME 04103--9300 (207) 780-4789 email: boothe@usm.maine.edu 54 Cottage Park Rd. Portland, ME 04103 (207)

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

Min Si. Argonne National Laboratory Mathematics and Computer Science Division

Min Si. Argonne National Laboratory Mathematics and Computer Science Division Min Si Contact Information Address 9700 South Cass Avenue, Bldg. 240, Lemont, IL 60439, USA Office +1 630-252-4249 Mobile +1 630-880-4388 E-mail msi@anl.gov Homepage http://www.mcs.anl.gov/~minsi/ Current

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

Curriculum Vitae. Zhenchang Xing

Curriculum Vitae. Zhenchang Xing Curriculum Vitae Zhenchang Xing Computing Science Department University of Alberta, Edmonton, Alberta T6G 2E8 Phone: (780) 433 0808 E-mail: xing@cs.ualberta.ca http://www.cs.ualberta.ca/~xing 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

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

Teaching in School of Electronic, Information and Electrical Engineering

Teaching in School of Electronic, Information and Electrical Engineering Introduction to Teaching in School of Electronic, Information and Electrical Engineering Shanghai Jiao Tong University Outline Organization of SEIEE Faculty Enrollments Undergraduate Programs Sample Curricula

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

Department of Political Science Phone: (805) 893-5902 University of California, Santa Barbara Fax: (805) 893-3309

Department of Political Science Phone: (805) 893-5902 University of California, Santa Barbara Fax: (805) 893-3309 NEIL NARANG Department of Political Science Phone: (805) 893-5902 University of California, Santa Barbara Fax: (805) 893-3309 Ellison Hall, Office 3710 Email: narangn@polsci.ucsb.edu Santa Barbara, CA

More information

D6.2 Dissemination & Collaboration Strategy Document Version 1.0

D6.2 Dissemination & Collaboration Strategy Document Version 1.0 D6.2 Dissemination & Collaboration Strategy Document Document Information Contract Number 318693 Project Website www.paradime-project.eu Contractual Deadline Month 4 (01 Jan 2013) Dissemination Level Nature

More information

Center for Mathematics and Computational Science (CWI) Phone: (+31)20-592-4135

Center for Mathematics and Computational Science (CWI) Phone: (+31)20-592-4135 Peter van de Ven Center for Mathematics and Computational Science (CWI) Phone: (+31)20-592-4135 Stochastics department Amsterdam, The Netherlands 2014-present Research interests ven@cwi.nl Applied probability;

More information

Bachelor Degree in Informatics Engineering Master courses

Bachelor Degree in Informatics Engineering Master courses Bachelor Degree in Informatics Engineering Master courses Donostia School of Informatics The University of the Basque Country, UPV/EHU For more information: Universidad del País Vasco / Euskal Herriko

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

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

Carl Burch. 1124 Clifton St mobile 501 499 9892 Conway AR 72034 3911. cburch@cburch.com http://www.cburch.com/ Education May 00

Carl Burch. 1124 Clifton St mobile 501 499 9892 Conway AR 72034 3911. cburch@cburch.com http://www.cburch.com/ Education May 00 Carl Burch 1124 Clifton St mobile 501 499 9892 Conway AR 72034 3911 cburch@cburch.com http://www.cburch.com/ Education May 00 May 98 May 95 Teaching Fall 04 present Fall 00 Spring 04 Summers 97 02 Spring

More information

Computer Science. General Education Students must complete the requirements shown in the General Education Requirements section of this catalog.

Computer Science. General Education Students must complete the requirements shown in the General Education Requirements section of this catalog. Computer Science Dr. Ilhyun Lee Professor Dr. Ilhyun Lee is a Professor of Computer Science. He received his Ph.D. degree from Illinois Institute of Technology, Chicago, Illinois (1996). He was selected

More information

Gerald Roth. Department of Electrical Engineering and Computer Science School of Engineering Vanderbilt University Nashville, TN j.roth@vanderbilt.

Gerald Roth. Department of Electrical Engineering and Computer Science School of Engineering Vanderbilt University Nashville, TN j.roth@vanderbilt. Gerald Roth Department of Electrical Engineering and Computer Science School of Engineering Vanderbilt University Nashville, TN j.roth@vanderbilt.edu Education Ph.D., Computer Science, Rice University,

More information

June Zhang (Zhong-Ju Zhang)

June Zhang (Zhong-Ju Zhang) (Zhong-Ju Zhang) Carnegie Mellon University Dept. Electrical and Computer Engineering, 5000 Forbes Ave. Pittsburgh, PA 15213 Phone: 678-899-2492 E-Mail: junez@andrew.cmu.edu http://users.ece.cmu.edu/~junez

More information

Curriculum Vitae. Shan Shan Huang

Curriculum Vitae. Shan Shan Huang Curriculum Vitae Shan Shan Huang College of Computing Georgia Institute of Technology 266 Ferst Drive Atlanta, GA 30332-0765 Phone: (404)275-3312 Email: ssh@cc.gatech.edu http://www.freeflygeek.com Research

More information

Curriculum Vitae. Jie-Hong Roland Jiang. Formal verification, logic synthesis, quantum computation, gene regulatory network analysis

Curriculum Vitae. Jie-Hong Roland Jiang. Formal verification, logic synthesis, quantum computation, gene regulatory network analysis Curriculum Vitae Jie-Hong Roland Jiang Home Address No. 8-1, Ln. 299, Chungshan Rd. Touliu 640, Yunlin County, Taiwan Voice: +886-5-532-9120 University Address Room 242, EE-II Building Department of Electrical

More information

The Emerging Trends in Electrical and Computer Engineering

The Emerging Trends in Electrical and Computer Engineering 18-200 Fall 2006 The Emerging Trends in Electrical and Computer Engineering Hosting instructor: Prof. Jimmy Zhu; Time: Thursdays 3:30-4:20pm; Location: DH 2210 Date Lecturer Lecture Contents L01 08/31

More information

Summary. Grants. Publications. Peer Esteem Indicators. Teaching Experience. Administrative Experience. Industrial Experience

Summary. Grants. Publications. Peer Esteem Indicators. Teaching Experience. Administrative Experience. Industrial Experience Summary Grants Total amount of 32,535 in two Google Research Awards, for which I wrote proposals as the Principal Researcher. Publications Peer-reviewed journal papers accepted or in print: 3 Peer-reviewed

More information

Doctor of Philosophy in Computer Science

Doctor of Philosophy in Computer Science Doctor of Philosophy in Computer Science Background/Rationale The program aims to develop computer scientists who are armed with methods, tools and techniques from both theoretical and systems aspects

More information

CURRICULUM VITAE. Andrew V. Goldberg. Mail: 978 Lakeview Way, Emerald Hills, CA 94062, USA Phone: +1 650 427-0740 E-mail: avg at acm dot org

CURRICULUM VITAE. Andrew V. Goldberg. Mail: 978 Lakeview Way, Emerald Hills, CA 94062, USA Phone: +1 650 427-0740 E-mail: avg at acm dot org CURRICULUM VITAE Andrew V. Goldberg Contact Information Mail: 978 Lakeview Way, Emerald Hills, CA 94062, USA Phone: +1 650 427-0740 E-mail: avg at acm dot org Education Massachusetts Institute of Technology,

More information

John Noll, Ph.D. Research Associate, ATRIUM Laboratory, Marshall School of Business, University of Southern California,

John Noll, Ph.D. Research Associate, ATRIUM Laboratory, Marshall School of Business, University of Southern California, CURRICULUM VITAE John Noll, Ph.D. Computer Engineering Department, Santa Clara University 500 El Camino Real, Santa Clara, CA 95053-0566 (415) 948-5795 jnoll@cse.scu.edu www.cse.scu.edu/ jnoll Education

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

Automatic Verification by Abstract Interpretation

Automatic Verification by Abstract Interpretation Automatic Verification by Abstract Interpretation (Invited tutorial) Patrick Cousot École normale supérieure, Département d informatique, 45 rue d Ulm, 75230 Paris cedex 05, France Patrick.Cousot@ens.fr

More information

RESEARCH INTERESTS Modeling and Simulation, Complex Systems, Biofabrication, Bioinformatics

RESEARCH INTERESTS Modeling and Simulation, Complex Systems, Biofabrication, Bioinformatics FENG GU Assistant Professor of Computer Science College of Staten Island, City University of New York 2800 Victory Boulevard, Staten Island, NY 10314 Doctoral Faculty of Computer Science Graduate Center

More information

Jennifer M. Logg. 425 Student Services Building #1900 Website: http://www.jennlogg.com Berkeley, CA 94720-1900

Jennifer M. Logg. 425 Student Services Building #1900 Website: http://www.jennlogg.com Berkeley, CA 94720-1900 Logg CV 1 Jennifer M. Logg Haas School of Business Phone: 908.217.9531 Email: jenn_logg@haas.berkeley.edu 425 Student Services Building #1900 Website: http://www.jennlogg.com Berkeley, CA 94720-1900 EDUCATION

More information

Turgut Ozal University. Computer Engineering Department. TR-06010 Ankara, Turkey

Turgut Ozal University. Computer Engineering Department. TR-06010 Ankara, Turkey Dr. YILDIRAY YALMAN Associate Professor CONTACT INFORMATION Turgut Ozal University Computer Engineering Department TR-06010 Ankara, Turkey Phone: +90 (0)312-5515437 E-mail: yyalman@turgutozal.edu.tr RESEARCH

More information

Curriculum Vitae. 1 Person Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German

Curriculum Vitae. 1 Person Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German Curriculum Vitae 1 Person Name Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German 2 Education 1974 Dipl.-Inf. Degree from the University

More information

CURRICULUM VITAE Herbert L. Dershem

CURRICULUM VITAE Herbert L. Dershem CURRICULUM VITAE Visiting Professor of Computer Science United States Air Force Academy USAF Academy, CO 80840 Phone: (719) 472-3590 Education: B.S. University of Dayton, 1965 M.S. (Computer Science) Purdue

More information

The Science Education System in Oxford and the UK. David Andrews

The Science Education System in Oxford and the UK. David Andrews The Science Education System in Oxford and the UK David Andrews 1 Outline of this talk High school education (brief) Undergraduate education Oxford Physics Other sciences at Oxford Other universities Postgraduate

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

Curriculum Vitae of Ola Nils Anders Svensson

Curriculum Vitae of Ola Nils Anders Svensson Curriculum Vitae of Ola Nils Anders Svensson Contact Information Date of Birth Gender Citizenship Languages Research Interests Current Position Positions and Visits EPFL Phone: +41 21 693 1204 1015 Lausanne

More information

Microsoft Research Worldwide Presence

Microsoft Research Worldwide Presence Microsoft Research Worldwide Presence MSR India MSR New England Redmond Redmond, Washington Sept, 1991 San Francisco, California Jun, 1995 Cambridge, United Kingdom July, 1997 Beijing, China Nov, 1998

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

Information Systems. Administered by the Department of Mathematical and Computing Sciences within the College of Arts and Sciences.

Information Systems. Administered by the Department of Mathematical and Computing Sciences within the College of Arts and Sciences. Information Systems Dr. Haesun Lee Professor Dr. Haesun Lee is a Professor of Computer Science. She received her Ph.D. degree from Illinois Institute of Technology, Chicago, Illinois (1997). Her primary

More information

5/03/2014. EDUCATION 2005 Ph.D. in Computers and Information Systems

5/03/2014. EDUCATION 2005 Ph.D. in Computers and Information Systems Hila Etzion Assistant Professor of Technology and Operations Stephen M. Ross School of Business University of Michigan 701 Tappan St. Ann Arbor, MI 48109-1234 (734)-358-1854 E-mail: etzionh@umich.edu EDUCATION

More information

Victoria Kostina Curriculum Vitae - September 6, 2015 Page 1 of 5. Victoria Kostina

Victoria Kostina Curriculum Vitae - September 6, 2015 Page 1 of 5. Victoria Kostina Victoria Kostina Curriculum Vitae - September 6, 2015 Page 1 of 5 Victoria Kostina Department of Electrical Engineering www.caltech.edu/~vkostina California Institute of Technology, CA 91125 vkostina@caltech.edu

More information

2008 2010 NSERC Alexander Graham Bell Canada Graduate Scholarship, Funding from the Canadian federal government to support graduate studies.

2008 2010 NSERC Alexander Graham Bell Canada Graduate Scholarship, Funding from the Canadian federal government to support graduate studies. Nikolai Matni, MC 305-16 (626) 787-5914 nmatni@caltech.edu http://www.cds.caltech.edu/ nmatni Education 2010 2015 Ph.D. in Control and Dynamical Systems,, Pasadena, CA. Thesis: Distributed Optimal Control

More information

MICHAEL ROACH. April 2014

MICHAEL ROACH. April 2014 MICHAEL ROACH April 2014 ADDRESS Cornell University Charles H. Dyson School of Applied Economics and Management Ithaca, NY 14853 michael.roach@cornell.edu ACADEMIC POSITIONS J. Thomas and Nancy W. Clark

More information

CURRICULUM VITAE. August 2008 now: Lecturer in Analysis at the University of Birmingham.

CURRICULUM VITAE. August 2008 now: Lecturer in Analysis at the University of Birmingham. CURRICULUM VITAE Name: Olga Maleva Work address: School of Mathematics, Watson Building, University of Birmingham, Edgbaston, Birmingham, B15 2TT, UK Telephone: +44(0)121 414 6584 Fax: +44(0)121 414 3389

More information

545 Student Services Building #1900 Phone: 510.642.4731

545 Student Services Building #1900 Phone: 510.642.4731 Pnina Feldman Haas School of Business faculty.haas.berkeley.edu/feldman University of California, Berkeley feldman@haas.berkeley.edu 545 Student Services Building #1900 Phone: 510.642.4731 Berkeley, CA

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

Ming-Hsing Chiu. Home: (985)845-2664 340 Chapel Loop Office: (985)549-5313 EDUCATION

Ming-Hsing Chiu. Home: (985)845-2664 340 Chapel Loop Office: (985)549-5313 EDUCATION Ming-Hsing Chiu Home: (985)845-2664 340 Chapel Loop Office: (985)549-5313 Mandeville, LA 70471 e-mail: mchiu@selu.edu EDUCATION Ph.D. in Computer Science, University of Central Florida, May 99. Dissertation

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

Zukang Shen Home Address: Work: 214-480-3198 707 Kindred Lane Cell: 512-619-7927

Zukang Shen Home Address: Work: 214-480-3198 707 Kindred Lane Cell: 512-619-7927 Zukang Shen Home Address: Work: 214-480-3198 707 Kindred Lane Cell: 512-619-7927 Richardson, TX 75080 Email: zukang.shen@ti.com Education: The University of Texas, Austin, TX, USA Jun. 2003 May 2006 Ph.D.,

More information

Schramm postdoctoral fellow Aug 2012 - June 2013 Microsoft Research New England, Cambridge, MA. ykanoria@columbia.edu New York, NY 10027

Schramm postdoctoral fellow Aug 2012 - June 2013 Microsoft Research New England, Cambridge, MA. ykanoria@columbia.edu New York, NY 10027 Yashodhan Kanoria June 2016 Updated 6/22/2016 Employment Assistant Professor, Decision, Risk and Operations Division, Since July 2013 Graduate School of Business, Columbia University, New York, NY. Schramm

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

Randal E. Bryant. Education. Employment

Randal E. Bryant. Education. Employment Randal E. Bryant Education 1974 1981 Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, S.M. (1977), E.E. (1978), PhD (1981). Thesis Supervisor: Prof. Jack

More information

FRANCESCO BELLOCCHIO S CURRICULUM VITAE ET STUDIORUM

FRANCESCO BELLOCCHIO S CURRICULUM VITAE ET STUDIORUM FRANCESCO BELLOCCHIO S CURRICULUM VITAE ET STUDIORUM April 2011 Index Personal details and education 1 Research activities 2 Teaching and tutorial activities 3 Conference organization and review activities

More information

David S. Lee. FIELDS OF INTEREST Labor Economics, Econometrics, Political Economy, Public Policy

David S. Lee. FIELDS OF INTEREST Labor Economics, Econometrics, Political Economy, Public Policy David S. Lee CONTACT INFORMATION Industrial Relations Section Princeton University Firestone Library A-16-J Princeton, NJ 08544-2098 Phone (609) 258-9548 Fax (609) 258-2907 E-mail: davidlee@princeton.edu

More information

RESUME. Amir TOMER. July 24, 2004. Israeli ID #: 0-5183237-6 Born 22 May, 1953, Nahariya, Israel Married with two children.

RESUME. Amir TOMER. July 24, 2004. Israeli ID #: 0-5183237-6 Born 22 May, 1953, Nahariya, Israel Married with two children. RESUME July 24, 2004 Israeli ID #: 0-5183237-6 Born 22 May, 1953, Nahariya, Israel Married with two children. Amir TOMER Academic Degrees 1979 B.Sc. (cum laude) Computer Science, Technion Israel Institute

More information

MEHMET AKTAS. Graduate Teaching Assistant - Course Instructor

MEHMET AKTAS. Graduate Teaching Assistant - Course Instructor MEHMET AKTAS Department of Mathematics Phone: 850-339-6130 Florida State University Email: maktas@math.fsu.edu 32306 EDUCATION Florida State University, Tallahassee, Florida (expected) August 2016 Ph.D.,

More information

Master of Science in Computer Science

Master of Science in Computer Science Master of Science in Computer Science Background/Rationale The MSCS program aims to provide both breadth and depth of knowledge in the concepts and techniques related to the theory, design, implementation,

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

School of Management and Information Systems

School of Management and Information Systems School of Management and Information Systems Business and Management Systems Information Science and Technology 176 Business and Management Systems Business and Management Systems Bachelor of Science Business

More information

CURRICULUM VITAE SERDAR SAYMAN September 2014

CURRICULUM VITAE SERDAR SAYMAN September 2014 CURRICULUM VITAE SERDAR SAYMAN September 2014 Koç University College of Adm. Sci. and Econ. Rumeli Feneri Yolu, Sarıyer İstanbul, 34450, TURKEY Tel : +90 (212) 338 1616 Fax : +90 (212) 338 1653 email:

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

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

Serden Ozcan, Department of Innovation and Organizational Economics, Copenhagen Business School, Denmark

Serden Ozcan, Department of Innovation and Organizational Economics, Copenhagen Business School, Denmark SERDEN OZCAN Department of Innovation and Organizational Economics Copenhagen Business School (CBS) Kilevej 14A, 3 rd Floor, DK-2000 Frederiksberg, Denmark Phone: + 45 3815 2877 Fax: + 45 3815 2540 Email:

More information

BS in Electrical Engineering Sept. 1986 University of Engineering and Technology, Lahore, Pakistan Specific area : Electronics and Communication

BS in Electrical Engineering Sept. 1986 University of Engineering and Technology, Lahore, Pakistan Specific area : Electronics and Communication Name: Dr. Syed Ali Mohsin Home Address: 1- H-Gulberg-3, Lahore - Pakistan Office and Mailing Address: Prof. Dr. Syed Ali Mohsin Room R - 14, Department of Electrical Engineering, The University of Faisalabad,

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

Characterizing Real World Bugs Causing Sequential Consistency Violations

Characterizing Real World Bugs Causing Sequential Consistency Violations Characterizing Real World Bugs Causing Sequential Consistency Violations Mohammad Majharul Islam vjw191@my.utsa.edu University of Texas at San Antonio Abdullah Muzahid abdullah.muzahid@utsa.edu University

More information

Supervisors: Ph.D., Dr.scient. Hans C. Fogedby and Prof. Per Bak Institute of Physics & Astronomy, University of Århus, DK-8000 Århus C, Denmark.

Supervisors: Ph.D., Dr.scient. Hans C. Fogedby and Prof. Per Bak Institute of Physics & Astronomy, University of Århus, DK-8000 Århus C, Denmark. Curriculum vitae Personal Name: Kim Christensen. Sex: Male. Date of birth: 1st December, 1962. Place of birth: Søndre Sogn, Viborg, Denmark. Nationality: Danish. Affiliation: Imperial College London, Blackett

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

Master Degree in Computer Science and Networking

Master Degree in Computer Science and Networking Master Degree in Computer Science and Networking The two-year Master Degree (Laurea Magistrale) in Computer Science and Networking is a jointly Program offered by the University of Pisa Deparment of Computer

More information

Narayana P. Santhanam Department of Electrical Engineering, University of Hawaii, Honolulu HI 96822

Narayana P. Santhanam Department of Electrical Engineering, University of Hawaii, Honolulu HI 96822 Narayana P. Santhanam Department of Electrical Engineering, University of Hawaii, Honolulu HI 96822 Professional experience Assistant Professor, University of Hawaii, 2009-. Postdoctoral researcher, UC

More information

Computer Organization

Computer Organization Computer Organization and Architecture Designing for Performance Ninth Edition William Stallings International Edition contributions by R. Mohan National Institute of Technology, Tiruchirappalli PEARSON

More information

UML-based Test Generation and Execution

UML-based Test Generation and Execution UML-based Test Generation and Execution Jean Hartmann, Marlon Vieira, Herb Foster, Axel Ruder Siemens Corporate Research, Inc. 755 College Road East Princeton NJ 08540, USA jeanhartmann@siemens.com ABSTRACT

More information

2014 - present: Assistant Professor, Foster Faculty Fellow Michael G. Foster School of Business, University of Washington

2014 - present: Assistant Professor, Foster Faculty Fellow Michael G. Foster School of Business, University of Washington Hema Yoganarasimhan Foster School of Business University of Washington Box 353226, Seattle, WA 98195 Email: hemay@uw.edu http://faculty.washington.edu/hemay Research Interests Empirical measurement and

More information

Bloomington, IN, USA Fall 2007-Current. CSSE 371- Software Requirements and Specification

Bloomington, IN, USA Fall 2007-Current. CSSE 371- Software Requirements and Specification Sriram Mohan Comp. Sci. & Software Engineering Phone: 812.877.8819 Rose-Hulman Institute of Tech. Fax: 812.877.6260 5500 Wabash Ave. mohan@rose-hulman.edu Terre Haute IN 47803 http://www.rose-hulman.edu/~mohan/

More information

COMPUTER SCIENCE. FACULTY: Jennifer Bowen, Chair Denise Byrnes, Associate Chair Sofia Visa

COMPUTER SCIENCE. FACULTY: Jennifer Bowen, Chair Denise Byrnes, Associate Chair Sofia Visa FACULTY: Jennifer Bowen, Chair Denise Byrnes, Associate Chair Sofia Visa COMPUTER SCIENCE Computer Science is the study of computer programs, abstract models of computers, and applications of computing.

More information

Full name: Seyed Mohammadali Eslami Mobile: (0791) 241 4956. University of Edinburgh, School of Informatics, Edinburgh, UK

Full name: Seyed Mohammadali Eslami Mobile: (0791) 241 4956. University of Edinburgh, School of Informatics, Edinburgh, UK S. M. Ali Eslami Full name: Seyed Mohammadali Eslami Mobile: (0791) 241 4956 Birth date: 29 September 1987 E-mail: ali@arkitus.com Website: www.arkitus.com Education University of Edinburgh, School of

More information

Muhammed F. Mudawwar

Muhammed F. Mudawwar Muhammed F. Mudawwar Computer Science Department The American University in Cairo 113 Kasr el Aini Street, Cairo, Egypt Office: +20 2 797-5305 Email: mudawwar@aucegypt.edu Web: http://www.cs.aucegypt.edu/~mudawwar

More information

Ornela Dardha Curriculum Vitae

Ornela Dardha Curriculum Vitae Ornela Dardha Curriculum Vitae +44 (0) 141 330 3754 Ornela.Dardha@glasgow.ac.uk Personal Data Name Ornela Dardha Date of birth 03/04/1985 Place of birth Berat, Albania Citizenship Albanian Phone +44 (0)

More information

Object recognition, image segmentation, perceptual grouping and shape abstraction; also shape modeling, indexing and matching.

Object recognition, image segmentation, perceptual grouping and shape abstraction; also shape modeling, indexing and matching. Pablo L. Sala Department of Computer Science, University of Toronto 6 King s College Rd., Toronto, ON, Canada M5S 3G4 Tel: (416) 946-8768, Fax: (416) 978-1455 E-mail: psala@cs.toronto.edu, URL: www.cs.toronto.edu/~psala

More information

Martino Sykora CURRICULUM VITAE ET STUDIORUM

Martino Sykora CURRICULUM VITAE ET STUDIORUM Martino Sykora CURRICULUM VITAE ET STUDIORUM Via L. Pasteur, 15 20127 Milano Italy Mob: +39 338 1983694 Mail: martino.sykora@gmail.com Personal Information Birthdate: June 15th, 1978 Birthplace: Basel,

More information

CONCENTRATIONS: HIGH-PERFORMANCE COMPUTING & BIOINFORMATICS CYBER-SECURITY & NETWORKING

CONCENTRATIONS: HIGH-PERFORMANCE COMPUTING & BIOINFORMATICS CYBER-SECURITY & NETWORKING MAJOR: DEGREE: COMPUTER SCIENCE MASTER OF SCIENCE (M.S.) CONCENTRATIONS: HIGH-PERFORMANCE COMPUTING & BIOINFORMATICS CYBER-SECURITY & NETWORKING The Department of Computer Science offers a Master of Science

More information

Please consult the Department of Engineering about the Computer Engineering Emphasis.

Please consult the Department of Engineering about the Computer Engineering Emphasis. COMPUTER SCIENCE Computer science is a dynamically growing discipline. ABOUT THE PROGRAM The Department of Computer Science is committed to providing students with a program that includes the basic fundamentals

More information

Education Ph.D. in Computer Science September 2011 University of California, Santa Barbara

Education Ph.D. in Computer Science September 2011 University of California, Santa Barbara Mohit Tiwari Electrical and Computer Engineering University of Texas, Austin tiwari@austin.utexas.edu (805) 708-4506 http://users.ece.utexas.edu/ tiwari Research Interests Computer architecture and Secure

More information

Reasons for need for Computer Engineering program From Computer Engineering Program proposal

Reasons for need for Computer Engineering program From Computer Engineering Program proposal Reasons for need for Computer Engineering program From Computer Engineering Program proposal Department of Computer Science School of Electrical Engineering & Computer Science circa 1988 Dedicated to David

More information

https://runtimeverification.com Grigore Rosu Founder, President and CEO Professor of Computer Science, University of Illinois

https://runtimeverification.com Grigore Rosu Founder, President and CEO Professor of Computer Science, University of Illinois https://runtimeverification.com Grigore Rosu Founder, President and CEO Professor of Computer Science, University of Illinois Runtime Verification, Inc. (RV): startup company aimed at bringing the best

More information

Analysis of Internet Topologies

Analysis of Internet Topologies Analysis of Internet Topologies Ljiljana Trajković ljilja@cs.sfu.ca Communication Networks Laboratory http://www.ensc.sfu.ca/cnl School of Engineering Science Simon Fraser University, Vancouver, British

More information

Study Program Handbook Computer Science

Study Program Handbook Computer Science Study Program Handbook Computer Science Bachelor of Science Jacobs University Undergraduate Handbook CS - Matriculation Fall 2015 Page: ii Contents 1 The Computer Science (CS) Study Program 1 1.1 Concept......................................

More information

SECOND YEAR. Major Subject 3 Thesis (EE 300) 3 Thesis (EE 300) 3 TOTAL 3 TOTAL 6. MASTER OF ENGINEERING IN ELECTRICAL ENGINEERING (MEng EE) FIRST YEAR

SECOND YEAR. Major Subject 3 Thesis (EE 300) 3 Thesis (EE 300) 3 TOTAL 3 TOTAL 6. MASTER OF ENGINEERING IN ELECTRICAL ENGINEERING (MEng EE) FIRST YEAR MASTER OF SCIENCE IN ELECTRICAL ENGINEERING (MS EE) FIRST YEAR Elective 3 Elective 3 Elective 3 Seminar Course (EE 296) 1 TOTAL 12 TOTAL 10 SECOND YEAR Major Subject 3 Thesis (EE 300) 3 Thesis (EE 300)

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

CS Master Level Courses and Areas COURSE DESCRIPTIONS. CSCI 521 Real-Time Systems. CSCI 522 High Performance Computing

CS Master Level Courses and Areas COURSE DESCRIPTIONS. CSCI 521 Real-Time Systems. CSCI 522 High Performance Computing CS Master Level Courses and Areas The graduate courses offered may change over time, in response to new developments in computer science and the interests of faculty and students; the list of graduate

More information

COMPUTER ENGINEERING DEGREE FOCUS AREAS GUIDE 2006-2007

COMPUTER ENGINEERING DEGREE FOCUS AREAS GUIDE 2006-2007 COMPUTER ENGINEERING DEGREE FOCUS AREAS GUIDE 2006-2007 UNIVERSITY OF MINNESOTA, MINNEAPOLIS 13 August 2006 COMPUTER ENGINEERING DEGREE FOCUS AREAS GUIDE TABLE OF CONTENTS Revised 13 August 2006 SECTION

More information

Keynote 1. Scale and Programmability in Google s Software Defined Data Center WAN. Amin M. Vahdat University of California San Diego

Keynote 1. Scale and Programmability in Google s Software Defined Data Center WAN. Amin M. Vahdat University of California San Diego Keynote 1 Scale and Programmability in Google s Software Defined Data Center WAN Amin M. Vahdat University of California San Diego We present the design, implementation, and evaluation of B4, a private

More information

A New MSc Curriculum in Computer Science and Mathematics at the University of Zagreb

A New MSc Curriculum in Computer Science and Mathematics at the University of Zagreb A New MSc Curriculum in Computer Science and Mathematics at the University of Zagreb Robert Manger, Goranka Nogo, Mladen Vuković Department of Mathematics, University of Zagreb Bijenička cesta 30, 10000

More information

René F. Kizilcec. Curriculum Vitae

René F. Kizilcec. Curriculum Vitae Department of Communication Stanford University, Stanford, CA 94305 kizilcec@stanford.edu http://rene.kizilcec.com/ 650-798-4606 Education Ph.D., Communication, Stanford University, Stanford, CA, Expected

More information

Welcome to KU Engineering A. Murat Tekalp, Dean

Welcome to KU Engineering A. Murat Tekalp, Dean Welcome to KU Engineering A. Murat Tekalp, Dean http://eng.ku.edu.tr www.facebook.com/kocuniveng 45 Faculty Members Computer Engineering Electrical and Electronics Engineering Mechanical Engineering Industrial

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

Associate Dean since Sept. 2014 Master Program Strategic Management. Assistant Professor since Jun. 2014

Associate Dean since Sept. 2014 Master Program Strategic Management. Assistant Professor since Jun. 2014 Department of Strategic Management, Marketing and Tourism 6020 Innsbruck Austria, Europe Phone: +43(0)512 507 7211 Mobile: +43 (0)660 65 89 901 E-Mail: roland.schroll@uibk.ac.at Last Update: February 2015

More information

Workshop on Post-silicon Debug: Technologies, Methodologies, and Best Practices

Workshop on Post-silicon Debug: Technologies, Methodologies, and Best Practices Wisam Kadry IBM Research, Haifa 7 June 2012 Workshop on Post-silicon Debug: Technologies, Methodologies, and Best Practices DAC 2012, Post-silicon Debug Workshop Thanks to Mr. Amir Nahir IBM Research Haifa,

More information

JENS HENRIK EGGERT CHRISTENSEN RESEARCH ADVISOR, FINANCIAL RESEARCH FEDERAL RESERVE BANK OF SAN FRANCISCO 101 MARKET STREET, SAN FRANCISCO, CA 94105

JENS HENRIK EGGERT CHRISTENSEN RESEARCH ADVISOR, FINANCIAL RESEARCH FEDERAL RESERVE BANK OF SAN FRANCISCO 101 MARKET STREET, SAN FRANCISCO, CA 94105 JENS HENRIK EGGERT CHRISTENSEN RESEARCH ADVISOR, FINANCIAL RESEARCH FEDERAL RESERVE BANK OF SAN FRANCISCO 101 MARKET STREET, SAN FRANCISCO, CA 94105 JENS.CHRISTENSEN@SF.FRB.ORG 415.974.3115 US VISA STATUS:

More information

ALLEN WIRFS-BROCK. Research Fellow

ALLEN WIRFS-BROCK. Research Fellow ALLEN WIRFS-BROCK Summary As a software architect and entrepreneur Allen Wirfs-Brock has made numerous contributions to the industrialization and commercialization of object-oriented technology. He is

More information