章岚，2011年毕业于英国利物浦大学，并获得博士学位（专业方向：计算机科学）。
主要研究方向为人工智能，计算机逻辑，形式化验证（Formal Verification,Theoremproving）。
主讲课程为《电子商务系统分析》、《数据库应用》、《专业外语》等。
请选择您读者所在的图书馆
