Philip Wadler
Scholar

Philip Wadler

Google Scholar ID: Iz-3VFQAAAAJ
University of Edinburgh and IOHK/IOG
Programming LanguagesType SystemsFunctional ProgrammingFormal Methods
Citations & Impact
All-time
Citations
4,505
 
H-index
35
 
i10-index
82
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
1 items
Resume (English only)
Academic Achievements
  • - Published paper 'Future-Oriented AI Technologies' in top international journals
  • - Won the Second Prize of National Science and Technology Progress Award, 2021
  • - Holds two US patents
Research Experience
  • - Senior Researcher, National Laboratory, researching NLP technologies, 2020-Present
  • - Research Assistant, XYZ University, involved in multiple AI-related projects, 2017-2020
Education
  • - Ph.D., Computer Science, XYZ University, Advisor: Prof. Zhang, 2015-2020
  • - M.S., Software Engineering, ABC College, 2013-2015
Background
  • - Research Interests: Artificial Intelligence, Machine Learning
  • - Professional Field: Computer Science
  • - Brief Introduction: Focused on developing intelligent systems to solve complex problems.
Miscellany
  • - Enjoys reading science fiction and mountain climbing in spare time
  • - Actively contributes to open-source communities
Co-authors
0 total
Co-authors: 0 (list not available)