Helmut Prodinger's Home Page

Helmut Prodinger (tugraz.at)

Research interests:

• Analysis of Algorithms
• Concrete Mathematics
• Combinatorics
• Tree enumeration
• Number Theory

Dr. Sartaj Sahni's Website (ufl.edu)

Sartaj Sahni is a Distinguished Professor of Computer and Information Sciences and Engineering at the University of Florida. He is also a member of the European Academy of Sciences, a Fellow of IEEE, ACM, AAAS, and Minnesota Supercomputer Institute, and a Distinguished Alumnus of the Indian Institute of Technology, Kanpur.

Sartaj Sahni 是佛罗里达大学计算机与信息科学工程系的杰出教授、欧洲科学院院士，美国电气和电子工程师协会(IEEE)、美国计算机协会(ACM)、美国科学促进会(AAAS)和明尼苏达超级计算机研究所的成员, 坎普尔印度理工学院(IIT)的杰出校友.

Manuel Bronstein (inria.fr)

Manuel Bronstein 

Projet CAFE 
INRIA Sophia Antipolis  
2004, Route des Lucioles B.P. 93  
F-06902 Sophia Antipolis Cedex  
France  

Fredrik Johansson

https://fredrikj.net/

I'm a researcher in the LFANT team at INRIA Bordeaux and Institut de Mathématiques de Bordeaux (IMB). My research spans computer algebra, symbolic computation, numerical analysis, computational number theory, and mathematical software. I'm especially interested in arbitrary-precision arithmetic, rigorous numerical computing, effective complex analysis, and computation of special functions (including hypergeometric functions, L-functions and modular forms).

Developing mathematical software in C

January 28, 2021

https://fredrikj.net/blog/2021/01/developing-mathematical-software-in-c/

http://staff.ustc.edu.cn/~billzeng/

 曾凡平，男，博士，副教授，ACM会员，中国计算机学会(CCF)高级会员。1988年获哈尔滨工业大学工学学士学位，1991年获中国科学技术大学工学硕士学位。自1991年起，在中国科学技术大学计算机学院任教；1991年—2000年，主要从事专业课教学和软件开发工作；自2001年起，面向国家安全方面的重大需求，主要从事网络与系统安全方面的研究工作，作为课题负责人或主要技术骨干，参加并完成了10余项包括国家自然科学基金、国家863计划和国家科技重点专项在内的网络与系统安全方面的国家级科研项目。近期主要研究物联网的安全。

电子邮件: billzeng@ustc.edu.cn

研究兴趣：物联网、系统安全、网络安全

“没有网络安全，就没有国家安全”。我们将人工智能和大数据等技术应用于软件分析与测试，以解决网络安全问题。研究内容包括物联网、信息系统、网络系统的安全等方面。

1.信息系统安全

  信息系统安全是计算机科学的核心研究内容之一，提高信息系统安全的根本手段在于发现和排除系统中的安全隐患。我们的目标是通过对系统的分析与测试，发现其中可能存在的安全隐患。2009年以来，课题组在该方向发表论文30多篇，发现了10个软件漏洞（已经被国际权威漏洞库SecurityFocus收录，其中5个被CVE收录）。

  自2013年起，主要研究物联网智能设备(Android平台)的安全问题。

2.网络安全

  针对网络安全防护设备各自为政、无法实时阻断高风险入侵的关键问题，研制成功了“基于大数据的网络入侵自动阻断系统”。该系统目前已经投入试运行。

  自2017年起，主要针对物联网应用层和网络层的安全问题进行研究。

Jean-Louis Roch

• Enseignant-chercheur Ensimag / Grenoble-INP - COMUE Université Grenoble-Alpes
• VERIMAG Equipe PACSS team (Proofs and Code analysis for Safety and Security) (CNRS, Université Grenoble-Alpes, Grenoble-INP)
• Contact :
  • Bâtiment IMAG, room 286
    700 avenue Centrale
    Domaine Universitaire de Saint Martin d'Hères
    38401 Saint-Martin d'Hères
    France
  • Phone: +33 [0] 457 422 241 --> Mobile:
  • 

Kenrick Mock

http://www.math.uaa.alaska.edu/~afkjm/

Seok-Hee Hong

http://www.it.usyd.edu.au/~shon4640/

Address: School of Information Technologies, University of Sydney, NSW 2006, Australia.

Roberto Tamassia

Plastech Professor of Computer Science
Brown University

https://cs.brown.edu/~rt/

https://people.eecs.berkeley.edu/~russell/

Stuart Russell

AI 领域的专家

Professor of Computer Science and Smith-Zadeh Professor in Engineering, University of California, Berkeley

Mailing address: Computer Science Division
387 Soda Hall
University of California
Berkeley, CA 94720-1776

Office location: 740 Sutardja Dai Hall
Office hours: by appointment
russell at cs.berkeley.edu