Asia University

::: Asia ModernAsia Modern 亞大世界排名榮譽榜    

|  Home |  繁體版 |  Site Map |    

 | Univ. Strengths | Scenic Campus | About Asia U. | Distinguished Faculty | Admissions | Academics | Administration | Learning Resources | Campus Life | Student Care | Campus Inform.

Invited Talks by President Jeffrey J. P. Tsai

 ■ Invited keynote Speech

  1. Distinguished Speaker, "Knowledge-Based Software Engineering for Communication Software," Advanced Communication Research Laboratory, Kyoto, Japan, Oct., 1994.
  2. Tamkang Chair Distinguished Speaker, "Engineering of Intelligent Systems," Tamkang University, Taiwan, May 1999.
  3. Keynote Speaker, "Engineering of Intelligent Agent Systems," The 11th IEEE International Conference on Tools with Artificial Intelligence, Chicago, ILL., Nov. 1999.
  4. Distinguished Speaker, "Specification and Verification of Agent-Based Systems," University of Texas at Dallas, Nov. 1999.
  5. Distinguished Speaker, "Knowledge-Based Software Systems," University of Wollongong, Australia, August 2000.
  6. Keynote Speaker, "Engineering of Agent-Based Systems," International Computer Symposium, Taiwan, Dec. 2000.
  7. Distinguished Speaker in Software Engineering, "Compositional Approach for Modeling and Verification of Software Systems," Southern Methodist University, March 2001.
  8. Keynote Speaker, "Compositional Modeling and Verification of Software systems," Object-Oriented Software Technology and Applications Workshop, Oct. 2001.
  9. Keynote Speaker, "Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems," The 1st IEEE Int’l Conference on Cognitive Informatics, Calgary, Alberta, Canada, August 19-20, 2002.
  10. Distinguished Speaker, "Transdisciplinary Research and Education in Healthcare, Management, and Information Technology," National Chung Cheng University, Oct. 2002.
  11. Keynote Speaker, "New Areas of Applied Artificial Intelligent Research," The 14th IEEE Int’l Conf. on Tools with Artificial Intelligence, Washington D.C., Nov. 2002.
  12. Keynote Speaker, "Transdisciplinary Research and Education in Healthcare, Management, and Information Technology," Conf. on Sun Yat-sen Philosophy and Modern Society: Managerial Science’s Practice and Application, Dec. 2002.
  13. Keynote Speaker, “Applications of A.I. Research in Bioinformatics,” World Congress on Integrated Design and Process Science, Austin, Texas, Dec. 2003.
  14. Keynote Speaker, “Attacks and Countermeasures in Software System Security,” IEEE Int’l Symposium on E-Commerce for Dynamic E-Business, Beijing, Sept. 2004.
  15. Keynote Speaker, “Intrusion Detection for Sensor Networks,” The 19th IEEE Advanced Information Networking and Application Conference, Taipei, March 29-30, 2005.
  16. Distinguished Speaker, "Transdisciplinary Research and Education in Health Science, Management, and Information Technology," the 9th Conference on Integrated Design and Process Technology, San Diego, CA, June 25-28, 2006.
  17. Distinguished Speaker, “Challenges and Opportunities of Ubiquitous Computing Paradigm,” Forum on Future Computing – Transparent Computing and Active Services, Tsinghua University, Beijing, June 23-25, 2007.
  18. Keynote Speaker, "Opportunities and Challenges of Sensor Networks Computing," National Computer Symposium, Taiwan, Dec. 20-21, 2007.
  19. Keynote Speaker, “A New Frontier: Software Engineering for Cyber Physical Systems,” the 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, June 1-6, Taichung, Taiwan, 2008.
  20. Keynote Speaker, “A New Frontier: Cyber Physical Systems,” the 2009 Joint Conference on Pervasive Computing, December 3-5, 2009, Taipei, Taiwan, 2009.
  21. Distinguished Speaker, “Green Computing,” Annual Conference on Transdisciplinary & Transnational Transcultural, May 23-27, Georgetown, Texas, May 23-27, 2010.

 

■ Invited Talks

  1. "A Requirement Theory of New Software Engineering Paradigms," Switching System Group, Fujitsu Laboratory, Kawasaki, Japan, Oct. 1987.
  2. "A Frame-and-Rule Oriented Requirements Specification Language for New Software Engineering Paradigm," University of Florida, Gainesville, July 1989.
  3. "A Frame-and-Rule Oriented Requirements Specification Language for New Software Engineering Paradigm," Institute of Information Industry, Taiwan, July 1989.
  4. "Reverse Engineering," Institute of Information Industry, Taiwan, July 1989.
  5. "Real-Time Software Testing and Debugging," one-week seminar at National Chiao-Tung University, Taiwan, August 1989.
  6. "A Frame-and-Rule Based System for Software Development Using an Integrated Software Engineering Paradigm," George Mason University, Faifax, VA, Jan. 1990.
  7. "FRORL: A Requirement Language for New Software Engineering Paradigms," Switching System Group, Fujitsu Laboratory, Kawasaki, Japan, March 1990.
  8. "On Real-Time Distributed Monitoring," Tung-Hai University, May 1990.
  9. "Artificial Intelligence and Software Engineering," Academia Sinica, Taiwan, Aug. 1990.
  10. Tutorial on "Artificial Intelligence for Software Engineering," 1990 IEEE Int'l Conference on Tools for A.I., Fairfax, VA, Nov. 1990.
  11. Tutorial on "Artificial Intelligence Technique for Software Engineering,"1991 Int'l Conference on Software Engineering and Knowledge Engineering, Skokie, IL, June 1991.
  12. "A Distributed Cooperative Agents Architecture for Software Development," IJCAI Workshop on Intelligent and Cooperative Information Systems, University of Technology, Sydney, Australia, Aug. 1991.
  13. "A.I./K.E. Techniques for Software Engineering" Fujitsu International Software Symposium, Fujitsu Limited, Kawasaki, Japan, Sept. 1991.
  14. "Artificial Intelligence for Software Engineering," National Taiwan University, Taipei, Taiwan, Sept. 1991.
  15. "On Distributed Real-Time Systems Monitoring, Visualization, and Debugging," Chung-Shan Institute of Science and Technology, Long-Tang, June 1992.
  16. "Visualization and Debugging of Distributed Real-Time Systems," 1992 International Conference on Automation, Robotics, and Computer Vision, Singapore, Sept. 1992.
  17. "Visualization and Debugging of Distributed Real-Time Systems," Hitachi, Japan, March 1993.
  18. "Knowledge-Based Approach to the Specification, Analysis, and Transformation of Real-Time Distributed Systems," Fujitsu Lab, Kawasaki, Japan, April 1993.
  19. "A Requirements Language for Autonomous Decentralized Systems," Hitachi System Plaza, Japan, April 1993.
  20. "Knowledge-Based Software Engineering," USAF Rome Laboratory, Jan. 1994.
  21. "Knowledge-Based Software Design for Real-Time Distributed Systems," University of Toronto, Toronto, Ontario, Jan. 1994.
  22. "Knowledge-Based Approach for the Specification, Analysis, and Transformation of Real-Time Distributed Systems," University of California at Berkeley, CA, Feb. 1994.
  23. "Knowledge-Based Software Requirements Specification Language," State University of New York at Buffalo, Buffalo, New York, May 1994.
  24. "Knowledge-Based Software Engineering for Real-Time Distributed Systems," University of Texas at Austin, June 1994.
  25. Tutorial on "Knowledge-Based Software Development for Real-Time Distributed Systems," International Computer Symposium, National Chiao-Tung University, Hsinchu, Taiwan, Dec. 1994.
  26. "Software Technology in National Information Infrastructure," National Development Symposium, Taipei, Taiwan, June 1995.
  27. "A Specification-Based Software Architecture," Naval Postgraduate School, Monterey, CA, Sept. 1995.
  28. "Research Issues in Software Architecture Design," University of Houston, Houston, Texas, Oct. 1995.
  29. Tutorial on "A Knowledge-based Approach to Software Architecture," the 7th IEEE Tools with Artificial Intelligence Conference, Washington, D.C., Nov. 1995.
  30. "Knowledge-Based Software Architecture," National Central University, May 1997.
  31. "Formal Verification of Software Architecture," University of Southern California, Feb. 1997.
  32. "Compositional Verification," NSF Workshop on Foundation of Software Systems, Tulane University, Dec. 1997.
  33. "E-Commerce," IEEE Knowledge and Data Engineering Exchange Workshop, Nov. 1998.
  34. "Compositional Verification of Software Architecture," NSF/ARO Workshop on Evolutionary Software Construction, Italy, 2000.
  35. "Compositional Approach for Modeling and Verification of Software Systems," University of Toronto, Canada, Dec. 2000.
  36. "Specification and Verification of Software Agents," Academia Sinica, Taipei, Oct. 2000.
  37. "Transdisciplinary Research and Education in Healthcare, Management, and Information Technology," China Medical University Hospital, Dec. 2002
  38. “A Framework for Adaptive Intrusion Detection Systems,” NSF/Industry Software Engineering Research Center, Ball State Univeristy, Muncie, IN, Nov. 16-17, 2005.
  39. “Fuzzy Model Tuning for Intrusion Detection Systems,” The 3rd IFIP International Autonomic and Trusted Computing Conference, Wuhan, China, Sept. 2006.
  40. “Personal Sense of Persistent Fundamental Research Enquiry,” Stanford University, Kozmetsky Global Collaboratory: Tenth Anniversary Celebration, Workshop on KGC Community’s Shared Research Aspirations, Palo Alto, CA, May 12-18, 2007.
  41. “Global Network for Transdisciplinary Collaboration,” 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, June 1-6, Taichung, Taiwan, 2008.
  42. “A Framework of Machine Learning based Intrusion Detection for Wireless Sensor Networks,” The 2nd IEEE International Conference on Sensor Network, Ubiquitous, and Trustworthy Computing (SUTC2008), Taichung, Taiwan, June 11-13, 2008.

 

<back>

 

(2023-10-11 updated)

      Quick links

     ----------------------------------------------------

Campus Life &

 Activities

  COVID-19 Prevention 1  2

  Activities  Nobel Forum

 • AU Hospital  AU Art Museum

  

 

Societies & Internat'l Affairs

 • Int'l Acad. Exchange Center

 • Facebook   IG • YouTube

   Taiwan Education Center

  

 

Learnig & Career Dvlpmnt

   Admissions    Course Select  

   Counseling    Int'l College

   EMI Promotion Office

   

 

University Affairs & Resources

   Student Information System 

   New Comers' Enroll. System

   Library   Campus Portal

   

Campus & Inform. Services

   Visiting Campus   Calendar

   Network Resources

   Emergency Services 


      Distinguished Faculty

     ----------------------------------------------------

   • Features ----------

   • Overview   President  • Vice Presidents

   • Honorary Chair Professors

   • Honorary Professors  • Chair Professors

   • Distinguished Professors

   • Professor Emeritus

   • Visiting & Outstanding Professors

   • Dean, College of Med. & Health Sci.

   • Dean, College of Inform. & Electr. Eng.

   • Dean, College of Management

   • Dean, College of Hum. & Social Sci.

   • Dean, College of Creative Design

   • Dean, College of Nursing

   • Dean, International College

   • Dean, College of Artificial Intelligence

 • Related Links ----------

   • Nobel Laureate Forum

(Taiji Lake in AU campus)