RESEARCH INTERESTS EDUCATION
|
|
- Linda Walker
- 7 years ago
- Views:
Transcription
1 Subash Shankar Hunter College & Graduate Center, City University of New York (CUNY), Department of Computer Science, 695 Park Ave., New York, NY RESEARCH INTERESTS Formal Methods and Model Checking; Programming Languages and Software Engineering; Embedded Systems Description Languages and Analysis; Applied Logic; EDUCATION 1997 Ph.D, Computer Science, University of Minnesota Thesis on Formal Verification of VHDL Designs Using Temporal Logics. Major contributions include a formal semantics for VHDL in a new logic, and efficient theorem proving strategies for temporal logics. Coursework emphasis in Logic, Artificial Intelligence, Parallel Processing, and Discrete Mathematics MS, Mathematics, University of Minnesota Coursework emphasis in Logic, Probability, and supporting areas MS, Computer Science, Rensselaer Polytechnic Institute Thesis on The Wafer Scale Design of a Parallel Prolog Computer. Coursework emphasis on Computer Architecture, Parallel Algorithms, and Programming Languages BS (Honors), Electrical Engineering, Virginia Tech Coursework emphasis in Electronics, Computer Engineering, and Numerical Analysis. Undergraduate thesis on The Design of a Multi-Valued Arithmetic Logic Unit. ACADEMIC EXPERIENCE Associate Professor, City University of New York (assistant professor until Jan 1, 2004) Member of undergraduate faculty at Hunter College and graduate faculty at Graduate Center. Primary research area in formal methods and software engineering Visiting Professor, University of Tokyo (sabbatical) Recipient of Invitational Fellowship from Japan Society for the Promotion of Science. Research in applying formal methods techniques in software engineering to embedded systems. Postdoctoral Fellow, Carnegie Mellon University Worked in Model Checking group (supervisor: Ed Clarke). Developed tools for model checking VHDL. Also developed model checking techniques for automatic abstraction and compositional reasoning Adjunct Professor, Macalester College Taught Introduction to Computer Science, a one semester course intended for first and second year students in non-technical majors Instructor, University of Minnesota, Compleat Scholar Program Taught The History of Ancient Mathematics for a non-credit program intended for adults not formally enrolled at the university Teacher, Science Museum of Minnesota Taught Introduction to C programming to advanced year old children.
2 INDUSTRIAL EXPERIENCE 1999 Senior Technologist, Verysys Design Automation Implemented Verilog program reduction techniques for model checking, based on postdoctoral research at CMU Research Scientist, Xinotech Research Researched techniques for automated software transformation to support software reengineering. Major research areas included the semantics of programming language constructs and the development of program transformation tools using a custom constraint based programming language Scientist, Secure Computing Corporation Mathematical Methods section Responsible for the formal specification and assurance of secure computer systems. projects included: Major Led project to prove security properties of a family of highly assured multilevel guard and server products. Created approach for producing journal-type proofs, which became the core of proof activities for future assurance efforts. Developed a formal security policy to generate and formally specify security requirements on next generation guard and server products (1900 lines of PVS source). Led development of a system to measure and track the effects of assurance on the design process, and integrated the system into an ISO-9000 environment Research Scientist, Honeywell Systems and Research Center Computer Systems Architecture section Responsible for the study, design, development, and evaluation of parallel and distributed systems. Major projects included: Won 2 highly competitive Initiatives grants to apply temporal logic to formal verification of hardware and network protocols. Work led to the initiation of a dependable computing section thrust. Led the design of an object oriented system to perform modeling, instrumentation, and analysis of physical phenomena for use in developing image and signal processing algorithms. Designed an expert system for intelligent filtering and identification of anomalous behavior from aircraft radar data. Applied instrumentation technologies to evaluate parallel programs on an Intel Hypercube. Initiated design of a system integrating instrumentation and logic techniques for increased robustness. Developed application code for evaluating a distributed Ada compiler.
3 Research Scientist, Honeywell Systems and Research Center Signal Processing Architectures section Responsible for the study, design, and development of parallel architectures and algorithms for image processing and symbolic computing. Major projects included: Won a highly competitive Initiatives grant to develop a novel hierarchical associative memory architecture for high speed Prolog unification. Designed a high performance processing element architecture for a parallel image processing chipset for VHSIC implementation. Also developed microcode for advanced mathematical primitives. Led the development, simulation, and evaluation of a generic conceptual architecture for functional and dataflow languages, using a NEC SX-2 supercomputer. Also applied the simulation to general heterogeneous systems. Performed many evaluations of applications and algorithms to determine their implementation feasibility on various parallel architectures. Developed simulation and analysis tools for graphics processing applications, using VHDL. Developed kernel software for a real-time coarse-grained parallel system.
4 REFEREED PUBLICATIONS Arsene Sabas, Subash Shankar, Virginie Wiels, and Michel Boyer, A Categorical Modeling Approach of Aspect-Oriented Systems, IEEE International Conference on Theoretical Aspects of Software Engineering (TASE), to appear, Arsene Sabas, Subash Shankar, Virginie Wiels, and Michel Boyer, Undesirable Aspect Interactions: A Prevention Policy, IEEE International Conference on Theoretical Aspects of Software Engineering (TASE), to appear, Jinlin Chen, Subash Shankar, Angela Kelly, Serigne Gningue, Rathika Rajaravivarma, and Didier J. Charles, A Two Stage Approach for Contiguous Sequential Pattern Mining, International Transactions on Systems Science and Applications (ITSSA), Vol. 6, No. 2/3, pp , August Jinlin Chen, Subash Shankar, Angela Kelly, Serigne Gningue, and Rathika Rajaravivarma, An Adaptive Bottom Up Clustering approach for Web News Extraction, Eighteenth Wireless and Optical Communications Conference (WOCC), pp. 1 5, Jinlin Chen, Subash Shankar, Angela Kelly, Serigne Gningue, and Rathika Rajaravivarma, A Two Stage Approach for Contiguous Sequential Pattern Mining, IEEE International Conference on Information Reuse and Integration (IRI), pp , Subash Shankar and Masahiro Fujita, Rule-Based Approaches for Equivalence Checking of SpecC Programs, Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEM- OCODE), pp.39-48, Masahiro Fujita, Subash Shankar, and Sasaki Shunsuke, Equivalence Checking: A Rule-Based Approach, Fourth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 197, Subash Shankar and Masahiro Fujita, Bottom-Up Equivalence Checking for SpecC Programs, IEICE Workshop on VLSI Design Technologies (VLD), IEICE Technical Report, Vol. 106, No. 32, pp. 1-6, Subash Shankar, Sinan Asa, Vladimir Sipos, and Xiaowei Xu, Reasoning about Real-Time Statecharts in the Presence of Semantic Variations, Automated Software Engineering (ASE), pp , Subash Shankar, Vladimir Sipos, and Xiaowei Xu, Model Checking Concurrent Real-Time Statecharts, Principles of Software Engineering (PRISE), Subash Shankar and Sinan Asa, Formal Semantics of UML with Real-Time Constructs International Conference on the Unified Modeling Language (UML), pp , Subash Shankar, A Semantic Model of Real-Time UML, 4th International Conference on Formal Engineering Methods (ICFEM), pp , Edmund M. Clarke, Masahiro Fujita, S.P. Rajan, Tom Reps, Subash Shankar, and Tim Teitelbaum, Program Slicing for VHDL, Software Tools for Technology Transfer (STTT), pp , October Subash Shankar, A Technique for Slicing Reactive Programs, Software Engineering Research and Practice (SERP), pp , James R. Slagle and Subash Shankar, Theorem Proving, Encyclopedia of Computer Science, International Thomson Computer Press, pp , Edmund M. Clarke, Masahiro Fujita, S.P. Rajan, Tom Reps, Subash Shankar, and Tim Teitelbaum, Program Slicing of Hardware Description Languages, Conference on Correct Hardware Design and Verification
5 Methods (CHARME), pp , David Deharbe, Subash Shankar, and Edmund M. Clarke, Model Checking VHDL with CV, International Conference on Formal Methods in Computer-Aided Design (FMCAD), pp , David Deharbe, Subash Shankar, and Edmund M. Clarke, Formal Verification of VHDL - The Model Checker CV, Brazilian Symposium on Integrated Circuit Design, pp , Subash Shankar, Formal Verification of VHDL Designs Using Temporal Logics, PhD Thesis, University of Minnesota Department of Computer Science, Subash Shankar and James R. Slagle, A Polymodal Semantics for VHDL, Conference on Correct Hardware Design and Verification Methods (CHARME), pp , Subash Shankar and James R. Slagle, Connection-Based Strategies for Deciding Propositional Temporal Logic, Proceedings of the Fourteenth National Conference on Artificial Intelligence (AAAI), pp , Phillip J. Barry and Subash Shankar, Observations on Recursive Evaluation Algorithms in CAGD, Annals of Numerical Mathematics, Vol. 3, pp. 1-12, Subash Shankar, A Hierarchical Associative Memory Architecture for Logic Programming Unification, International Conference on Logic Programming, pp , OTHER PRESENTATIONS Angela Kelly, Serigne Gningue, Jinlin Chen, Subash Shankar, and Rathika Rajaravivarma, Trends and Outcomes of NSF STEM Education Grants at the City University of New York: Implications for Policy, Practice, and Future Initiatives, Annual Conference of the National Association of Research in Science Teaching, March Subash Shankar, A System for Tracking the Effects of Assurance on Secure System Design, Workshop on Security Metrics, National Information Systems Security Conference, Subash Shankar, Applying Formal Methods for Avionics, Honeywell Formal Methods Symposium, 1992.
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 informationCURRICULUM 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 informationJonathan C. Sevy. Software and Systems Engineering Experience
Jonathan C. Sevy jsevy@cs.drexel.edu http://gicl.cs.drexel.edu/people/sevy Software and Systems Engineering Experience Experienced in all phases of software development, including requirements, architecture
More informationCS 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 informationThe 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 informationHow To Get A Computer Science Degree At Appalachian State
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 informationGraduate Co-op Students Information Manual. Department of Computer Science. Faculty of Science. University of Regina
Graduate Co-op Students Information Manual Department of Computer Science Faculty of Science University of Regina 2014 1 Table of Contents 1. Department Description..3 2. Program Requirements and Procedures
More informationIntroduction to Formal Methods. Các Phương Pháp Hình Thức Cho Phát Triển Phần Mềm
Introduction to Formal Methods Các Phương Pháp Hình Thức Cho Phát Triển Phần Mềm Outline Introduction Formal Specification Formal Verification Model Checking Theorem Proving Introduction Good papers to
More informationOUTILS DE DÉMONSTRATION
OUTILS DE DÉMONSTRATION AUTOMATIQUE ET PREUVE DE CIRCUITS ÉLECTRONIQUES Laurence Pierre Laboratoire TIMA, Grenoble PREAMBLE Design/validation of embedded applications: Design/validation for the system
More informationPage 1 of 5. (Modules, Subjects) SENG DSYS PSYS KMS ADB INS IAT
Page 1 of 5 A. Advanced Mathematics for CS A1. Line and surface integrals 2 2 A2. Scalar and vector potentials 2 2 A3. Orthogonal curvilinear coordinates 2 2 A4. Partial differential equations 2 2 4 A5.
More informationThe Masters of Science in Information Systems & Technology
The Masters of Science in Information Systems & Technology College of Engineering and Computer Science University of Michigan-Dearborn A Rackham School of Graduate Studies Program PH: 313-593-5361; FAX:
More informationM.Tech. Software Systems
M.Tech. Software Systems Input Requirements Employed professionals holding an Integrated First Degree of BITS or its equivalent in relevant disciplines, with minimum one year work experience in relevant
More informationTeaching 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 informationComputer Science. Master of Science
Computer Science Master of Science The Master of Science in Computer Science program at UALR reflects current trends in the computer science discipline and provides students with a solid theoretical and
More informationPlease 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 informationInformation 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 informationComputer Engineering Graduate Handbook. Administered by the Computer Science and the Charles L. Brown Department of Electrical & Computer Engineering
Computer Engineering Graduate Handbook Administered by the Computer Science and the Charles L. Brown Department of Electrical & Computer Engineering This document details the degree requirement and procedures
More informationReasons 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 informationMaster Degree Program in Computer Science (CS)
Master Degree Program in Computer Science (CS) Students holding Bachelor s degree in Computer Science are accepted as graduate students, after meeting the general requirements stated below. Applicants
More informationRESUME. 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 informationEastern Washington University Department of Computer Science. Questionnaire for Prospective Masters in Computer Science Students
Eastern Washington University Department of Computer Science Questionnaire for Prospective Masters in Computer Science Students I. Personal Information Name: Last First M.I. Mailing Address: Permanent
More informationMaster 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 informationMEng, 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 informationMaster of Science in Software Engineering Student Guide
King Fahd University of Petroleum & Minerals College of Computer Sciences and Engineering Information and Computer Science Department Master of Science in Software Engineering Student Guide http://www.ccse.kfupm.edu.sa/swe/
More informationMaster Specialization in Digital Design: Design and Programming of Embedded Systems
Master Specialization in Digital Design: Design and Programming of Embedded Systems Jan Schmidt, Ph.D. Department of Digital Design Faculty of Information Technology Czech Technical University in Prague
More informationSOFTWARE ENGINEERING PROGRAM
SOFTWARE ENGINEERING PROGRAM PROGRAM TITLE DEGREE TITLE Master of Science Program in Software Engineering Master of Science (Software Engineering) M.Sc. (Software Engineering) PROGRAM STRUCTURE Total program
More informationCURRICULUM VITAE. Igor V. Maslov. 1-24-17-6 Sasazuka, Shibuya-ku Phone: +81 (80) 54863304. Web: http://www.columbia.edu/~ivm3/
CURRICULUM VITAE 1 Igor V. Maslov Contact information 1-24-17-6 Sasazuka, Shibuya-ku Phone: +81 (80) 54863304 Tokyo 151-0073 E-mail: ivm3@columbia.edu Japan Web: http://www.columbia.edu/~ivm3/ Education
More informationMEng, 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 informationCourse Syllabus For Operations Management. Management Information Systems
For Operations Management and Management Information Systems Department School Year First Year First Year First Year Second year Second year Second year Third year Third year Third year Third year Third
More informationAgreement on. Dual Degree Program in Computer Science. Shanghai Jiaotong University. Technische Universität Berlin
Agreement on Dual Degree Program in Computer Science between Shanghai Jiaotong University School of Electronic, Information, and Electrical Engineering (EIEE) and Technische Universität Berlin Faculty
More informationDoctor 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 informationCore Courses Seminar (0-2) Non-credit Ph.D. Thesis (0-1) Non-credit Special Studies (8-0) Non-credit. Elective Courses
İZMİR INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF ENGINEERING AND SCIENCES DEPARTMENT OF COMPUTER ENGINEERING JOINT DOCTORAL PROGRAM IN COMPUTER SCIENCE AND ENGINEERING Core Courses CENG 590 CENG 600 CENG
More information2010 Master of Science Computer Science Department, University of Massachusetts Amherst
Scott Niekum Postdoctoral Research Fellow The Robotics Institute, Carnegie Mellon University Contact Information Smith Hall, Room 228 Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213
More informationErik 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 informationSchool of Computer Science
School of Computer Science Computer Science - Honours Level - 2014/15 October 2014 General degree students wishing to enter 3000- level modules and non- graduating students wishing to enter 3000- level
More informationOnline Computer Science Degree Programs. Bachelor s and Associate s Degree Programs for Computer Science
Online Computer Science Degree Programs EDIT Online computer science degree programs are typically offered as blended programs, due to the internship requirements for this field. Blended programs will
More informationHow To Get A Computer Engineering Degree
COMPUTER ENGINEERING GRADUTE PROGRAM FOR MASTER S DEGREE (With Thesis) PREPARATORY PROGRAM* COME 27 Advanced Object Oriented Programming 5 COME 21 Data Structures and Algorithms COME 22 COME 1 COME 1 COME
More informationSECOND 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 informationDesigning Real-Time and Embedded Systems with the COMET/UML method
By Hassan Gomaa, Department of Information and Software Engineering, George Mason University. Designing Real-Time and Embedded Systems with the COMET/UML method Most object-oriented analysis and design
More informationİZMİR INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF ENGINEERING AND SCIENCES DEPARTMENT OF COMPUTER ENGINEERING DOCTORAL PROGRAM IN COMPUTER ENGINEERING
İZMİR INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF ENGINEERING AND SCIENCES DEPARTMENT OF COMPUTER ENGINEERING DOCTORAL PROGRAM IN COMPUTER ENGINEERING Core Courses CENG 590 CENG 600 CENG 8XX Seminar (0-2)
More informationDEGREE PLAN INSTRUCTIONS FOR COMPUTER ENGINEERING
DEGREE PLAN INSTRUCTIONS FOR COMPUTER ENGINEERING Fall 2000 The instructions contained in this packet are to be used as a guide in preparing the Departmental Computer Science Degree Plan Form for the Bachelor's
More informationUNDERGRADUATE DEGREE PROGRAMME IN COMPUTER SCIENCE ENGINEERING SCHOOL OF COMPUTER SCIENCE ENGINEERING, ALBACETE
UNDERGRADUATE DEGREE PROGRAMME IN COMPUTER SCIENCE ENGINEERING SCHOOL OF COMPUTER SCIENCE ENGINEERING, ALBACETE SCHOOL OF COMPUTER SCIENCE, CIUDAD REAL Core Subjects (CS) Compulsory Subjects (CPS) Optional
More informationBachelor 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 informationSarah 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 information2. What are your learning objectives or outcomes associated with each student learning goal?
Graduate Degree Program Assessment Plan Cover Sheet (rev. 07): UNIVERSITY OF ARKANSAS AT LITTLE ROCK Plan No. Degree Program: Master of Science In Computer Science (CPSM) Department College:Department
More informationCore Curriculum to the Course:
Core Curriculum to the Course: Environmental Science Law Economy for Engineering Accounting for Engineering Production System Planning and Analysis Electric Circuits Logic Circuits Methods for Electric
More informationCOMPUTER 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 informationGUJARAT TECHNOLOGICAL UNIVERSITY Computer Engineering (07) BE 1st To 8th Semester Exam Scheme & Subject Code
GUJARAT TECHNOLOGICAL UNIVERSITY Computer Engineering (07) BE 1st To 8th Semester Scheme & EVALUATION SCHEME Continuous (Theory) (E) Evaluation Practical (I) (Practical) (E) Process(M) MAX MIN MAX MIN
More informationMaster of Science (M.S.), Major in Software Engineering
Texas State University 1 Master of Science (M.S.), Major in Software Engineering Admission Policy For information regarding admission application requirements and deadlines, please visit The Graduate College
More informationUsing 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 informationErik 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 informationAC 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 informationResume 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 informationMaster of Computer Science Degree Requirements, Policies, and Procedures
Master of Computer Science Degree Requirements, Policies, and Procedures Summary of Procedures for M.C.S. Students Complete every deficiency course with B or higher within the first two terms File a final
More informationEastern Washington University Department of Computer Science. Questionnaire for Prospective Masters in Computer Science Students
Eastern Washington University Department of Computer Science Questionnaire for Prospective Masters in Computer Science Students I. Personal Information Name: Last First M.I. Mailing Address: Permanent
More informationProfessional Organization Checklist for the Computer Science Curriculum Updates. Association of Computing Machinery Computing Curricula 2008
Professional Organization Checklist for the Computer Science Curriculum Updates Association of Computing Machinery Computing Curricula 2008 The curriculum guidelines can be found in Appendix C of the report
More informationMasters in Information Technology
Computer - Information Technology MSc & MPhil - 2015/6 - July 2015 Masters in Information Technology Programme Requirements Taught Element, and PG Diploma in Information Technology: 120 credits: IS5101
More informationMaster of Science in Computer Science Degree Requirements, Policies, and Procedures
Master of Science in Computer Science Degree Requirements, Policies, and Procedures Summary of Procedures for M.S. Students Complete every deficiency course with a B or higher within the first two terms
More informationRandal 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 informationMasters in Human Computer Interaction
Masters in Human Computer Interaction Programme Requirements Taught Element, and PG Diploma in Human Computer Interaction: 120 credits: IS5101 CS5001 CS5040 CS5041 CS5042 or CS5044 up to 30 credits from
More information21CT, Inc. +1 512 694-8971 6011 W. Courtyard Drive jonathanwilliammugan@gmail.com Austin, Texas 78730 USA
JONATHAN MUGAN Curriculum Vitae 21CT, Inc. +1 512 694-8971 6011 W. Courtyard Drive jonathanwilliammugan@gmail.com Austin, Texas 78730 USA http://www.jonathanmugan.com RESEARCH INTERESTS My research focuses
More informationCurriculum 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 informationMasters in Networks and Distributed Systems
Masters in Networks and Distributed Systems Programme Requirements Taught Element, and PG Diploma in Networks and Distributed Systems: 120 credits: IS5101 CS5001 CS5021 CS4103 or CS5023 in total, up to
More informationMasters in Artificial Intelligence
Masters in Artificial Intelligence Programme Requirements Taught Element, and PG Diploma in Artificial Intelligence: 120 credits: IS5101 CS5001 CS5010 CS5011 CS4402 or CS5012 in total, up to 30 credits
More informationComputational Modeling and Simulation for Learning an Automation Concept in Programming Course
Computational Modeling and Simulation for Learning an Automation Concept in Programming Course Yong Cheon Kim, Dai Young Kwon, and Won Gyu Lee Abstract Computational thinking is a fundamental skill for
More informationMaster's Degree Program in Computer Science
Master's Degree Program in Computer Science 1. Curriculum Title Master of Science (Computer Science) M.Sc. (Computer Science) 2. Degree Title Master of Science (Computer Science) M.Sc. (Computer Science)
More informationGraduate Student Handbook Supplement Department of Computer Science Tufts University Fall 2015
Graduate Student Handbook Supplement Department of Computer Science Tufts University Fall 2015 Details Last Updated: July 13, 2015. If you need any further clarifications please contact the Director of
More informationLONG BEACH CITY COLLEGE MEMORANDUM
LONG BEACH CITY COLLEGE MEMORANDUM DATE: May 5, 2000 TO: Academic Senate Equivalency Committee FROM: John Hugunin Department Head for CBIS SUBJECT: Equivalency statement for Computer Science Instructor
More informationimtech Curriculum Presentation
imtech Curriculum Presentation Effective from Batch 2015 Onwards April, 2015 Course Structure Every course has a fixed number of credits associated with it (e.g., 4 credits) One has to earn 200 credits
More informationThe Department of Electrical and Computer Engineering (ECE) offers the following graduate degree programs:
Note that these pages are extracted from the full Graduate Catalog, please refer to it for complete details. College of 1 ELECTRICAL AND COMPUTER ENGINEERING www.ece.neu.edu SHEILA S. HEMAMI, PHD Professor
More informationEECS PhD Comprehensive Examination Guidelines
EECS PhD Comprehensive Examination Guidelines EECS Graduate and Research Committee Graduate students accepted in the EECS doctoral program may take comprehensive exam as early as the last semester of their
More informationEastern Washington University Department of Computer Science. Questionnaire for Prospective Masters in Computer Science Students
Eastern Washington University Department of Computer Science Questionnaire for Prospective Masters in Computer Science Students I. Personal Information Name: Last First M.I. Mailing Address: Permanent
More informationUSTC Course for students entering Clemson F2013 Equivalent Clemson Course Counts for Clemson MS Core Area. CPSC 822 Case Study in Operating Systems
USTC Course for students entering Clemson F2013 Equivalent Clemson Course Counts for Clemson MS Core Area 398 / SE05117 Advanced Cover software lifecycle: waterfall model, V model, spiral model, RUP and
More informationDatavetenskapligt Program (kandidat) Computer Science Programme (master)
Datavetenskapligt Program (kandidat) Computer Science Programme (master) Wolfgang Ahrendt Director Datavetenskap (BSc), Computer Science (MSc) D&IT Göteborg University, 30/01/2009 Part I D&IT: Computer
More informationB.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 information2015-2016 M.S. IN APPLIED PHYSICS AND COMPUTER SCIENCE
2015-2016 M.S. Dr. David Heddle, Graduate Program Coordinator Luter Hall 309 david.heddle@cnu.edu (757) 594-8434 The Master of Science in Applied Physics and Computer Science is built around a core of
More informationPlease review current Graduate College policies and procedures.
Ph.D. Degree Requirements and Procedures Summary of Procedures for Ph.D. Students Complete every deficiency course with a grade of B or higher within the first two terms File an approved tentative program
More informationCACS Degree Requirements for the MS or PhD in Computer Science of Engineering
CACS Degree Requirements for the MS or PhD in Computer Science of Engineering The Center for Advanced Computer Studies July 30, 2015 1 Requirements for All Degrees The requirements for the graduate programs
More informationTHE Walsh Hadamard transform (WHT) and discrete
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I: REGULAR PAPERS, VOL. 54, NO. 12, DECEMBER 2007 2741 Fast Block Center Weighted Hadamard Transform Moon Ho Lee, Senior Member, IEEE, Xiao-Dong Zhang Abstract
More informationThe Bachelor of Science in Computer Science
The Bachelor of Science in Computer Science Total Course Requirements for the Bachelor's Degree: 120 units See Bachelor's Degree Requirements in the University Catalog for complete details on general degree
More informationBEng in Computer Engineering
(For students admitted in 215-1 under the -year degree) BEng in Computer Engineering School of Engineering - BEng in Computer Engineering In addition to the requirements of their major programs, students
More informationGraduate Option in Electronics Department of Electrical and Computer Engineering University of Puerto Rico at Mayagüez
Introduction Graduate Option in Electronics Department of Electrical and Computer Engineering University of Puerto Rico at Mayagüez This document defines the Electronics Option in the Electrical Engineering
More informationOne LAR Course Credits: 3. Page 4
Course Descriptions Year 1 30 credits Course Title: Calculus I Course Code: COS 101 This course introduces higher mathematics by examining the fundamental principles of calculus-- functions, graphs, limits,
More informationMasters in Advanced Computer Science
Masters in Advanced Computer Science Programme Requirements Taught Element, and PG Diploma in Advanced Computer Science: 120 credits: IS5101 CS5001 up to 30 credits from CS4100 - CS4450, subject to appropriate
More informationAC 2008-1581: A COURSE SEQUENCE FOR INTEGRATING PROBLEM SOLVING AND CRITICAL THINKING IN A HYBRID OUTCOME-BASED IS/IT CURRICULUM
AC 2008-1581: A COURSE SEQUENCE FOR INTEGRATING PROBLEM SOLVING AND CRITICAL THINKING IN A HYBRID OUTCOME-BASED IS/IT CURRICULUM Azzedine Lansari, Zayed University Azzedine Lansari received a Ph.D. from
More informationMasters in Computing and Information Technology
Masters in Computing and Information Technology Programme Requirements Taught Element, and PG Diploma in Computing and Information Technology: 120 credits: IS5101 CS5001 or CS5002 CS5003 up to 30 credits
More informationStudy Plan Masters of Science in Computer Engineering and Networks (Thesis Track)
Plan Number 2009 Study Plan Masters of Science in Computer Engineering and Networks (Thesis Track) I. General Rules and Conditions 1. This plan conforms to the regulations of the general frame of programs
More informationAccelerated Bachelor of Science/Master of Science in Computer Science. Dual Degree Program
Accelerated Bachelor of Science/Master of Science in Computer Science 1 Dual Degree Program Definitions The discussion below uses the following definitions: o BS/MS program: The complete accelerated Bachelor
More informationIBM Announces Eight Universities Contributing to the Watson Computing System's Development
IBM Announces Eight Universities Contributing to the Watson Computing System's Development Press release Related XML feeds Contact(s) information Related resources ARMONK, N.Y. - 11 Feb 2011: IBM (NYSE:
More informationUsing Business Intelligence to Mitigate Graduation Delay Issues
Using Business Intelligence to Mitigate Graduation Delay Issues Khaled Almgren PhD Candidate Department of Computer science and Engineering University of Bridgeport Abstract Graduate master students usually
More informationPhD 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 informationComputer Science. College of Engineering
Computer Science College of Engineering EDUCATION MAKE AN IMPACT As part of Kansas State University s College of Engineering, the Computer Science department is committed to offering high quality degree
More informationMaster of Science (Electrical Engineering) MS(EE)
Master of Science (Electrical Engineering) MS(EE) 1. Mission Statement: The mission of the Electrical Engineering Department is to provide quality education to prepare students who will play a significant
More informationDepartment of Computer Science
The University of Texas at San Antonio 1 Department of Computer Science The Department of Computer Science offers a Bachelor of Science degree in Computer Science and a Minor in Computer Science. Admission
More informationUndergraduate Major in Computer Science and Engineering
University of California, Irvine 2015-2016 1 Undergraduate Major in Computer Science and Engineering On This Page: Overview Admissions Requirements for the B.S. in Computer Science and Engineering Sample
More information350 Serra Mall, Stanford, CA 94305-9515
Meisam Razaviyayn Contact Information Room 260, Packard Building 350 Serra Mall, Stanford, CA 94305-9515 E-mail: meisamr@stanford.edu Research Interests Education Appointments Large scale data driven optimization
More informationModel Checking of Software
Model Checking of Software Patrice Godefroid Bell Laboratories, Lucent Technologies SpecNCheck Page 1 August 2001 A Brief History of Model Checking Prehistory: transformational programs and theorem proving
More informationCOMPUTER SCIENCE PROGRAM
COMPUTER SCIENCE PROGRAM Master of Science in Computer Science (M.S.C.S.) Degree DEGREE INFORMATION CONTACT INFORMATION Program Admission Deadlines: Fall: June 1February 15 Spring: October 15 Summer: No
More informationCSCE Undergraduate Advising Handbook 2014-2015
CSCE Undergraduate Advising Handbook 2014-2015 Departmental Contacts: Department Head Dr. Susan Gauch, sgauch@uark.edu Associate Department Head Dr. Gordon Beavers, gordonb@uark.edu Main Office 479-575-6197
More information