Antonsen, Roger
Associate Professor
|
+47 22852482
|
rantonse@ifi.uio.no
|
Logic,
Proof Theory,
Automated Reasoning,
Proof Search,
Modal Logic,
First-Order Logic,
Complexity Theory,
Automata,
Cellulære automater,
Generative Art,
Algorithms,
Algorithmic Art,
Mathematical Art,
Netlogo,
Processing,
Philosophy,
Philosophy of Mathematics,
Outreach,
Science Communication
|
Giese, Martin
Professor
|
+47 22852737
|
martingi@ifi.uio.no
|
logic,
big data,
semantic web,
automated reasoning,
proof search,
first order logic
|
Normann, Dag
|
+47 41 25 02 05
|
dnormann@math.uio.no
|
Mathematics,
Logic
|
Skjæveland, Martin Georg
Researcher
|
|
martige@ifi.uio.no
|
Semantic web,
Logic,
Ontologies,
Databases,
Data Integration,
Data Exchange
|
Aanderaa, Stål
Professor emeritus
|
228 55889
|
staal@math.uio.no
|
Mathematics,
Logic
|