师资雄厚全美前4%,名校博士,业界领袖,著作等身
文章来源:MUM/StudyUSAExpress 点击数:23180 更新时间:2010年10月24日

  • Top 3%    Active and collaborative learning
  • Top 7%    Student-faculty interaction
  • Top 4%    Enriching educational experiences 师资全美前4%
  • Top 8%    Supportive campus environment
  • Top 26%   Level of academic challenge

Computer Science Faculty

Greg Guthrie, Ph.D.

Dean and Professor of Computer Science
B.S., M.S., Ph.D., Purdue University

Former Bell Lab System Architect

Dr. Guthrie’s research interests include: programming languages, teaching of computer science, C++ and Object Oriented programming, Computer systems architecture, and parallel processing.


Keith Levi, Ph.D.

Chair, Associate Professor of Computer Science
B.S., Maharishi International University
M.A., University of Michigan
M.S., University of Michigan
Ph.D.., University of Michigan

Dr. Levi worked for Honeywell Systems and Research Center as a Senior Principle Research Scientist on applications of artificial intelligence and expert systems to human-machine interface problems. He has been a principal or associate investigator on research awards from the Air Force's Wright Research and Development Center, the Office of Naval Research, and the United Nations' Industrial Development Office.

 

 


Mark Rainbow, M.S.E.E.

Associate Chair, Assistant Professor of Computer Science
B.A., Maharishi International University
B.S., University of Iowa
M.S.E.E., University of Texas

Professor Rainbow has more than 20 years programming and software development experience. He also has several years of experience teaching computer languages, operating systems and object-oriented programming.

 


Bruce Lester, Ph.D.

Professor of Computer Science
B.S., M.S., Massachusetts Institute of Technology
Ph.D., Massachusetts Institute of Technology

Dr. Lester was a faculty member at Princeton University for two years, prior to joining MUM where he founded the Computer Science Department and served as Chair for eight years. He is author of the book The Art of Parallel Programming, which has been adopted as a course text by 62 Universities.

 


Paul Corazza, Ph.D.

Associate Professor of Computer Science and Mathematics
B.A., Maharishi International University
M.S., Ph.D., Auburn University

Dr. Corazza’s research interests are logic, set theory, category theory, large cardinals, sets of reals, and the lambda calculus. His research associated with teaching and the software industry are in the areas of algorithm analysis, rules engines, and software engineering.

 


Ziv Soferman

Associate Professor of Computer Science
B.Sc., M.Sc., Hebrew University of Jerusalem
Ph.D., Weizmann Institute of Science (Israel)

 


Ralph Bunker, Ph.D.

Adjunct Assistant Professor of Computer Science
B.S., M.S., University of Rhode Island
Ph.D., University of Massachusetts at Amherst

Dr. Bunker has taught Computer Science for over 20 years at Maharishi University of Management, George Washington University, and the University of Massachusetts at Amherst. He has significant experience in private industry, as well. 


Clyde Ruby, Ph.D.

Assistant Professor of Computer Science
B.A., Pepperdine University
M.A., M.S., Maharishi International University
Ph.D., Iowa State University

Clyde Ruby's research interests include programming language semantics (especially for object-oriented languages), programming methodology, specification (Larch/C++, Java Modeling Language [JML]), and verification.


Sunil Sharma

Assistant Professor of Computer Science
B.Sc., University of Durham
Ph.D., Aberdeen University


Peter Just, M.S.

Assistant Professor of Computer Science
B.S., Technische Fachhochschule, Berlin
M.S., Maharishi International University

Peter Just has over 13 years of professional experience in designing and developing software systems in the telecommunication industry, human resources applications, as well as computer graphics and systems programming.

 


Joe Lerman, M.S.

Instructor of Computer Science
B.S., Boston University
M.S., Maharishi University of Management

“I have taught FOOP (Fundmentals of Object-Oriented Programming), Java, C++, C, assembly language, data structures, systems programming, programming languages, digital logic, and computer architecture.”

 


Payman Salek, M.S.

Instructor of Computer Science
B.A., Tehran Polytechnic
M.S., Maharishi University of Management

 


Solomon Seifu

Instructor of Computer Science
B.Eng., Anna University, Madras (India)
M.Eng., McGill University, Montreal (Canada)
M.B.A., University of Phoenix
M.S., Maharishi University of Management

 


Ali Arsanjani, Ph.D.

Adjunct Assistant Professor of Computer Science and Management
B.A., M.S., Azad University (Iran)
Ph.D., DeMontefort University (U.K.)

“In addition to my faculty position, I am a software architect for IBM. Now CTO of Web service division I use patterns to build stable yet adaptable software edifices that withstand the test of time and clients (:-).”

 


Helmuth Trefftz, Ph.D.

Visiting Associate Professor of Computer Science
B.S. Computer Science, EAFIT University
M.S., Maharishi University of Management
Ph.D., Rutgers University

 

 

Greg Guthrie:毕业于普渡大学,博士学位,现任计算机学院院长,计算机科学系教授。前贝尔实验室构架师。

 

Keith Levi:毕业于密歇根大学,博士学位,现任计算机科学系主任,助理教授。

 

Mark Rainbow:毕业于德克萨斯大学,电子工程学硕士,现任计算机科学系副系主任,助理教授。

 

Bruce Lester:毕业于麻省理工大学,博士学位,现任计算机科学系教授。

 

Ralph Bunker:毕业于麻省理工大学,博士学位,现兼任计算机科学系助理教授。

 

Clyde Ruby:毕业于爱荷华州立大学,博士学位,现任计算机科学系助理教授。

 

Sunil Sharma:毕业于英国阿伯丁大学,博士学位,计算机科学系助理教授。

 

Peter Just:毕业于德国柏林技术高等专业学院和玛赫西管理大学,理科硕士,现任计算机科学系助理教授。

 

Joe Lerman:毕业于波士顿大学和玛赫西管理大学,理科硕士,现任计算机系讲师。

 

Payman Salek:毕业于玛赫西管理大学,理科硕士,现任计算机科学系讲师。

 

Solomon Seifu:毕业于菲尼克斯大学和玛赫西管理大学,工商管理硕士和理科硕士,现任计算机科学系讲师。

 

Ali Arsanjani:毕业于英国德蒙特福德大学,博士学位,现兼任计算机科学系和管理系教授。IBM首席软件构架师。现IBM Web Servie Division CTO.

 

Ziv Soferman:毕业于魏茨曼科学研究所,博士学位,现兼任计算机科学系助理教授。

 

Helmuth Trefftz毕业于罗格斯大学,博士学位,现任计算机科学科学系客座教授。

计算机学院主席的研究成果

Keith Levi — Publications and Presentations

Journal Publications

Levi, K. Expert systems should be more accurate than human experts: Evaluation procedures from human judgment and decision making. IEEE Transactions on Systems, Man, and Cybernetics, Special Issue on Knowledge Engineering, 1989, 19(3), 647 - 657.

Levi, K. A signal detection framework for the evaluation of probabilistic forecasts. Organizational Behavior and Human Decision Processes, 1985, 36, 143-166.

Levi, K. & Arsanjani, A. A goal-driven approach to enterprise component identification and specification. Communications of the ACM 45(10): 45-52 (2002)

Levi, K., Perschbacher, D.L., Miller, C.A., Shalin, V.L., & Druhan, B.B. An explanation–based learning approach to knowledge compilation: a pilot's associate application. IEEE Expert, 1992, 7(3), 44-51.

Levi, K. Shalin, V.L. & Perschbacher, D. (1990) Learning plans for an intelligent assistant by observing user behavior. International Journal of Man-Machine Studies, 33, 489 - 503.

Levi, K., Shalin, V.L., & Scott, P.D. Machine learning: Knowledge acquisition for knowledge–based systems. Scientific Honeyweller, 1988, 9, (1), 130-140.

Miller, C.A. and Levi, K. (1994) Linked-learning for knowledge acquisition: A Pilot's Associate case study. Knowledge Acquisition Journal, 6, 93-114.

Shalin, V.L., Wisniewski, E., Levi, K., & Scott, P.D. A formal analysis of machine learning systems for knowledge acquisition. International Journal of Man-Machine Studies, 1988, 29, 429-446.

Yates, J.F., Lee, J., Levi, K.R., & Curley, S.P. (1990) Measuring and analyzing probability judgment accuracy in medicine. Phillipine Journal of Internal Medicine, 28, 21-32.

Book Chapters

Miller, C.A. and Levi, K. A machine learning approach to knowledge-based software engineering. (1995) In Kodratoff, Y.,and Tecuci, G. (Eds.) Machine Learning and Knowledge Acquisition, Morgan Kaufmann.

Shalin, V.L., Wisniewski, E., Levi, K., & Scott, P.D. (1990) A formal analysis of machine learning systems for knowledge acquisition. In Gaines, B., and Boose, J. (Eds), Machine Learning and Uncertain Reasoning, Academic Press, San Diego.

Conference Proceedings

Levi, K.R. TARGET's Role in Knowledge Acquisition, Engineering, and Validation. (1994) Paper presented at and published in the proceedings of the Third Conference on CLIPS, September 12-14, NASA Johnson Space Center, Houston, Texas, pp. 162-168.

DuBois, D., Shalin, V.L., Levi, K., and Borman, W.C., "Job Knowledge Test Design: A Cognitively-Oriented Approach," Paper presented at and published in the Proceedings of the Society of Industrial/Organizational Psychology, April, 1994.

Levi, K. & Kovach, P. Example-based expert systems: Aids for knowledge acquisition. Proceedings of the Eighth International Honeywell Computer Science Conference, Bloomington, MN, May, 1984.

Levi, K., Moberg, D., Miller, C.A., and Rose, F. Multilevel causal-process modeling: bridging the plan, execution, and device implementation gaps. Paper presented at and published in Proceeding of Applications of Artificial Intelligence 1993: Knowledge-Based Systems in Aerospace and Industry; April 1993, Orlando, Florida.

Levi, K., Perschbacher, D.L., Hoffman, M., Miller, C.A., Shalin, V.L., & Druhan, B.B. (1991) An explanation–based learning system to support Pilot's Associate knowledge engineering. Paper presented at and published in the Conference on Associate Technology: Opportunities and Challenges, George Mason University, June 6 - 7.

Levi, K., Perschbacher, D.L., Shalin, V.L., & North, R. The importance of implicit and explicit knowledge representations for fielding an operational Pilot's Associate. Paper presented at and published in the proceedings of the second tri-national workshop, The Human Electronic Crew: Examining Human-Computer Teamwork, Ingolstadt, Federal Republic of Germany, September, 1990.

Levi, K., Perschbacher, D., & Shalin, V.L. Learning plans and information requirements for pilot aiding. Proceedings of the AAAI-88 Workshop on Integration of Knowledge Acquisition and Performance Systems, August 1988, St. Paul, MN.

Miller, C.A. and Levi, K. Using explanation-based learning for knowledge acquisition: A Pilot's Associate case study. International Joint Conference on Artificial Intelligence, Workshop on Knowledge Acquisition and Machine Learning; August 1993, Chambery, France.

Perschbacher, D.L., Levi, K., Hoffman, M., (1991) Learning Tactical Plans for a Pilot Aid. Paper presented at and published in the proceedings of the National Aerospace and Electronics Conference -- NAECON `91, May 20-24, Dayton, Ohio.

Perschbacher, D.L., Levi, K., & Shalin, V.L. Learning tactical plans for a pilot's assistant. Proceedings of the Sixth International Workshop on Machine Learning, 1989, Ithaca, NY: Morgan Kaufmann, 191-193.

Shalin, V.L., Geddes, N.H., Hoshstrasser, B.H., Miller, C., Levi, K.R., & Perschbacher, D.P. (1990) Towards a Theory of Pilot Information Requirements During Plan Development and Execution. Proceedings of the International Conference on Human Machine Interaction and Artificial Intelligence in Aerospace Systems, Sept. 1990, Toulouse, France.

Shalin, V.L., Levi, K., & Perschbacher, D.L. Identifying knowledge–based deficiencies by observing user behavior. Proceedings of the Sixth International Workshop on Machine Learning, Ithaca, New York, June, 1989: Morgan Kaufmann, 296-301.

Shalin, V.L., Levi, K., & Perschbacher, D.L. (1990) Learning Pilot Tactics for an Intelligent Pilot's Assistant. Proceedings of the International Conference on Human Machine Interaction and Artificial Intelligence in Aerospace Systems, Sept. 1990, Toulouse, France.

Presentations

Levi, K., Yates, J.F., Young, M., & Juni, J. Nuclear ventriculography is no better than clinical history for the prediction of coronary artery disease. Paper presented at the American Federation of Clinical Research Conference, Washington, D.C., 1986.

Levi, K. Symposium on applications of machine learning, (Chair). University of California-Irvine, June 26, 1987. Panel members for this day-long symposium included J. Anderson (Brown University), P. Langley (University of California, Irving), J. Laird (University of Michigan), R. Michalski (George Mason University), and T. Mitchell (Carnegie Mellon University).

Levi, K. Learning plans and information requirements for pilot aiding. Invited address given at the Industry Day Symposium for the European Summer School in Machine Learning, Les Arcs, France, July, 1988.

Levi, K. The learning apprentice paradigm: automated knowledge acquisition by observing expert performance. Presentation to the Minneapolis Special Interest Group in Artificial intelligence, Minneapolis, MN, October, 1988.

Levi, K. Session on Pilot Aiding, (Session organizer). DARPA Workshop on Applications of Machine Learning, Snowbird, Utah, April, 1989. Session presenters included Gerald DeJong (University of Illinois), Norm Geddes (Search Technology), Mark Hoffman (ISX, Inc.), John Laird (University of Michigan), Gurdial Saini (Wright Research and Development Center), and David Wilkins (University of Illinois).

Levi, K. Chaired special session on "Integrating AI Reasoning Systems and Hardware Description Languages" at the Applications of Artificial Intelligence 1993 conference; Orlando, Florida, April, 1993.

Levi, K. Use of inference nets in a cognitive approach to job performance testing. Presentation given to the Office of Naval Research Conference on Cognitive Science and Diagnosis, Northwestern University, September 1994.

Levi, K., and Miller, C.A.. Automated Acquisition of Plans and Information Requirements in an Intelligent Agent Architecture, Ninth International Machine Learning Conference, July, 1992, Aberdeen, Scotland.

Levi, K., Miller, C.A., and Druhan, B. An Explanation–Based Learning Approach to Knowledge Compilation, Ninth International Machine Learning Conference, July, 1992, Aberdeen, Scotland.

Miller, C.A., Levi, K., Perschbacher, D., Shalin, V. & North, R. (1990) New dimensions in representational mismatch (and how machine learning can help with some of them). Presentation at the Fifth AAAI Knowledge Acquisition for Knowledge-Based Systems Workshop. Banff, Alberta, Canada, November.

Perschbacher, D.L., Levi, K., (1991) Properties enabling indexing an EBL macro for a real-time reactive planner. Presentation at the Symposium on Learning Methods for Planning and Scheduling, January 5-6, Palo Alto, California.

Shalin, V.L., Miller, C.A., Geddes, N.D., Hoshstrasser, B.D., Perschbacher, D.L and Levi, K.R. (1990) Automated acquisition of information requirements for an intelligent display. Paper presented at the NASA and Air Force Workshop on Space Operations and Automation Research, Albuquerque, NM.

友情链接 美国大使馆   教育部教育涉外监管信息网   美国国务院留学美国网   美国教育部大学认证网   美国移民局网
©2007-2011 WinWinSolu Technology LLC 版权所有,相关内容为学校官方批准,不得转载,抄袭本站内容者将在中美产权法下被起诉。
部分非法中介,未经授权擅自代理该项目,欺骗学生,双赢保留追究其法律责任的权利。请同学保留证据,电邮双赢。请同学们为得到高质量有保证的服务,务必认准双赢独家EXCLUSIVE授权证书,毕竟这关系到您的一生。所有同学将转至双赢,双赢负责监考和英语面试。非法代理目前没能做成一个学生。
法律声明
StudyUSAExpress美国留学直通车。 总部地址:Missouri, USA, 联系电话:(+001)972-954-5353,Email : RealizeYourDream#StudyUSAExpress.com