Adam James Chlipala

Summary

Adam James Chlipala is a human^[1]. He worked as a computer scientist^[2].

Key Facts

• Adam James Chlipala worked as a computer scientist^[2].
• Adam James Chlipala's education included a stint at University of California, Berkeley^[3].
• Adam James Chlipala's doctoral advisor was George Necula^[4].
• Adam James Chlipala is recorded as male^[5].
• Adam James Chlipala's instance of is recorded as human^[6].
• Adam James Chlipala supervised Gregory Malecha as a doctoral student^[7].
• Adam James Chlipala supervised Muralidaran Vijayaraghavan as a doctoral student^[8].
• Adam James Chlipala supervised Peng Wang as a doctoral student^[9].
• Adam James Chlipala's Mathematics Genealogy Project ID is recorded as 125475^[10].
• Adam James Chlipala's given name is recorded as Adam^[11].
• Adam James Chlipala's zbMATH author ID is recorded as chlipala.adam-j^[12].
• Adam James Chlipala's Academic Tree ID is recorded as 184958^[13].
• Adam James Chlipala's MR Author ID is recorded as 765359^[14].
• Adam James Chlipala's maintained by WikiProject is recorded as WikiProject Mathematics^[15].

Body

Education

Adam James Chlipala was educated at University of California, Berkeley^[3]. His doctoral advisor was George Necula^[4].

Career and Affiliations

Adam James Chlipala worked as a computer scientist^[2]. Doctoral students include Gregory Malecha^[7], Muralidaran Vijayaraghavan^[8], and Peng Wang^[9].

Why It Matters

Adam James Chlipala's notable doctoral advisees include Peng Wang^[16], a computer scientist^[17].

FAQs

What did Adam James Chlipala do for work?

Adam James Chlipala worked as computer scientist^[2].

Where did Adam James Chlipala go to school?

Adam James Chlipala was educated at University of California, Berkeley^[3].