هو فلكي وقاضي أندلسي. بالرغم من معرفته المحدودة بكتاب المجسطي لبطليموس، إلا أن كان أول فلكي بعد بطليموس يطرح نظاماً فلكياً غير بطلمياً كبديل لنماذج بطليموس. وثمة مفهوم أصلي آخر لنظامه وهو أنه قدم السبب الفيزيائي للحركات السماوية. سميت على اسمه البركانية الموجودة على سطح القمر.