-
network analysis and linguistic modeling under uncertainty, ODIN aims to capture the complex emotional, biased, and uncertain nature of human interaction in digital environments. Main research areas
-
technology markets. This research will build on existing models of markets for technology (e.g. Akcigit et al., 2016), and extend these to incorporate disclosure as a key policy lever. A key goal of the
-
think you would be a good fit for this position. CV Academic record Contact details of two referees. Reference letters are welcome but not essential. A board composed of the two principal researchers
Searches related to model checking
Enter an email to receive alerts for model-checking positions