Find Academic Supervisors

• Stochastic Simulation
• Optimization
• Machine Learning
• +5 more

Giulia Pedrielli is an Associate Professor at Arizona State University's School of Computing and Augmented Intelligence, with affiliations as a Senior Global Futures Scientist. She holds a Ph.D., M.Sc., and B.S. in Mechanical and Industrial Engineering from Politecnico di Milano, Italy. Her research focuses on stochastic simulation, optimization, and machine learning applications in biomanufacturing, digital twins, and cyber-physical systems. She has contributed to frameworks for pandemic modeling (PySIRTEM), RNA design, and high-dimensional optimization. Pedrielli has collaborated with institutions like NUS and UC Berkeley, and her work spans biomedical engineering, supply chain resilience, and security of critical infrastructure. Recent articles emphasize co-simulation tools, AI-driven logic translation, and falsification methods for CPS security. Her teaching includes advanced stochastic simulation courses and thesis supervision across multiple disciplines. Education: Ph.D. Mechanical Engineering, Politecnico di Milano, Italy M.Sc. Industrial Engineering, Politecnico di Milano, Italy B.S. Industrial Engineering, Politecnico di Milano, Italy Research interests integrate simulation-based optimization with machine learning, particularly in safety-critical systems like healthcare and smart infrastructure. She develops digital twin methodologies for real-time control under uncertainty, leveraging Gaussian processes and Bayesian approaches. Pedrielli's work bridges theoretical advancements (e.g., BASSO optimization algorithm) with practical applications in biomanufacturing and pandemic response.

Stephen ChongView profile

Professor

• Programming Languages
• Information Security
• Language-based Security
• +3 more

Stephen Chong is a Gordon McKay Professor in the Harvard John A. Paulson School of Engineering and Applied Sciences , where he co-directs the Undergraduate Studies in Computer Science program. His research intersects programming languages and information security , focusing on language-based security frameworks. Education : PhD in Computer Science from Cornell University (2008), B.Sc.(Hons) and B.A. from Victoria University of Wellington (New Zealand). Research : Develops tools like Formulog (Datalog + SMT for static analysis) and Accrue (Java interprocedural analysis), emphasizing security guarantees proportional to programmer effort. Grants : Funded by NSF , DARPA , AFOSR , and Google Faculty Research Award . Recent publications focus on neurosymbolic approaches (e.g., Guess & Sketch ), Datalog synthesis (e.g., Making Formulog Fast ), and quantitative robustness in cyber-physical systems. His group has pioneered formal methods for secure assembly transpilation and sensor attack modeling. Awards : NSF CAREER Award AFOSR Young Investigator Award Sloan Research Fellowship Advising : Supervised numerous PhD and senior thesis students, including Aaron Bembenek , Anitha Gollamudi , and Lucas Waye . Mentored projects like AbcDatalog (multi-threaded Datalog engine) and Shill (secure shell scripting). Labs/Teams : Leads the Programming Languages at Harvard group, collaborating with institutions globally. Organized workshops (e.g., NSF Workshop on Formal Methods for Security ) and chaired committees at conferences like CSF , POPL , and PLDI .

Kartik NagarView profile

Assistant Professor

• Automated Formal Verification
• Program Analysis
• Programming Languages
• +4 more

Kartik Nagar is an Assistant Professor at the Department of Computer Science and Engineering, IIT Madras . He specializes in developing verification and analysis techniques to enhance the reliability, security, and efficiency of computer systems, focusing on concurrent and distributed systems, computer architecture, and real-time systems.

• Marine Biogeochemical Modeling
• Ocean Carbon Cycle
• Ocean Deoxygenation
• +9 more

Andreas Oschlies is a Professor of Marine Biogeochemical Modeling at GEOMAR Helmholtz Centre for Ocean Research Kiel, where he leads the Biogeochemical Modeling Research Unit. He has held faculty positions since 2006 at GEOMAR and previously at the National Oceanography Centre Southampton. His research spans ocean carbon and oxygen cycles, climate change impacts, and marine carbon dioxide removal (CDR), with a strong emphasis on Earth system modeling and biogeochemical processes. His primary research interests include marine biogeochemical modeling, ocean deoxygenation, climate engineering, carbon dioxide removal, ocean modeling, and the marine nitrogen cycle. His work integrates numerical modeling, data assimilation, and interdisciplinary policy-relevant science to assess climate intervention strategies and their biogeochemical consequences. The 15 most recent articles highlight a strong focus on marine carbon dioxide removal, particularly ocean alkalinity enhancement and artificial upwelling, as well as ocean deoxygenation, carbon cycle feedbacks, and Earth system modeling. His publications frequently appear in high-impact journals such as Nature Communications , Environmental Research Letters , and Biogeosciences , reflecting a consistent trend toward understanding climate intervention technologies and their environmental trade-offs. Scientific Awards: Georg-Wüst Preis (2011) Andreas Oschlies has played key advisory and leadership roles in national and international scientific initiatives. He has coordinated the DAM Research Mission 'Marine Carbon sinks in Decarbonization Pathways', the Global Ocean Oxygen Decade (GOOD) under the UN Ocean Decade, and the European Marine Board Working Group on Marine Carbon Dioxide Removal. He was coordinator of the DFG SPP 1689 on Climate Engineering and has served on scientific advisory boards for institutions including the Leibniz Institute for Baltic Sea Research and the Institute for Chemistry and Biology of the Sea. He has also co-edited journals such as Ocean Modelling and JAMES , underscoring his influence in the modeling community. He leads a major research unit at GEOMAR focused on developing and applying biogeochemical models to study ocean-climate interactions. His team works on data assimilation, parameter optimization, and the representation of mixing processes in numerical models, contributing to global efforts in climate prediction and carbon cycle assessment.

Nate FosterView profile

Professor

• Programming Languages
• Networking
• Formal Verification
• +3 more

Nate Foster is a Professor of Computer Science at Cornell University and a Visiting Researcher at Jane Street . During the 2023-24 academic year, he served as a Visiting Professor at EPFL in the Data Center Systems Laboratory. His research bridges Programming Languages and Networking , focusing on formal verification, data plane programming, and language design for networked systems. His recent work includes developing symbolic automata for network verification (e.g., Active Learning of Symbolic NetKAT Automata , StacKAT ), creating efficient verifiers like KATch , and advancing type safety in data plane programming (e.g., SafeP4 ). These efforts span formal methods, algorithm optimization, and practical networked systems. Notable scientific awards include: NSF CAREER Award Sloan Research Fellowship ACM SIGCOMM Rising Star Award ACM SIGPLAN Robin Milner Award He actively contributes to PLDI, POPL, OOPSLA, and ICFP, serving as author, editor, and committee member. His GitHub repositories include tools for academic website templates and programming language research codebases.

• Digital Journalism
• Social Media Strategy
• Digital Marketing
• +4 more

Jose Sixto Garcia is a Professor of Communication Sciences at the University of Santiago de Compostela, where he also serves as the Director of the Institute of Social Media (City of Culture of Galicia). His academic career includes a Doctorate in Communication and Journalism (awarded the Extraordinary Doctorate Award), an MBA, and a Master's in Teacher Training. He specializes in digital media, social networks, and journalism innovation, focusing on topics like AI in newsrooms, risk communication, and media convergence. Director: Institute of Social Media (Galicia) Affiliations: IDEGA and Faculty of Communication Sciences His research explores the Fourth Industrial Revolution's impact on journalism, influencer marketing, and transparency in media. He has authored over 20 books, including Marketing and Communication and Fundamentals of Digital Marketing . Garcia has published extensively in peer-reviewed journals and contributes to media outlets like El Correo Gallego . Key Research Areas: Social Media Strategy, Digital Journalism, Media Ethics Notable Work: Co-creation of journalistic content, analysis of YouTube channels in media distribution Awards include the Extraordinary Doctorate Award (2011) and recognition for contributions to media innovation. His work bridges academic research and practical applications, emphasizing digital literacy and ethical communication practices.

Ethan Katz-BassettView profile

Associate Professor

• Networking
• Distributed Systems
• Internet Measurement
• +7 more

Ethan Katz-Bassett is an Associate Professor in the Electrical Engineering Department at Columbia University, with an affiliation in the Computer Science Department. He is also a member of the Computer Engineering Program and the Data Science Institute's Sense, Collect and Move Data Center. Previously, he held the Andrew and Erna Viterbi Early Career Chair at the University of Southern California, where he led a networking and systems research group. His research focuses on improving the reliability and performance of Internet services through measurement-driven system design, with a focus on networks, distributed systems, and cloud infrastructure. Affiliations: Columbia University (Current), University of Southern California (Former) Key Projects: Edge Fabric (Facebook), Sibyl (Route Oracle), PoiRoot (Route Change Analysis), Odin (Microsoft CDN) His research interests include Internet measurement, routing optimization, content delivery networks (CDNs), TCP performance, and mobile web performance. He has pioneered tools like PEERING, a BGP testbed for scalable experiments, and developed systems such as LIFEGUARD for network failure detection. His work often bridges academia and industry, with collaborations at Google, Microsoft, and Facebook. Ethan has received numerous awards, including the SIGCOMM Rising Star Award (2019), IETF Applied Networking Research Prize (2019), and NSF CAREER Award (2014). His funding includes grants from Google, Facebook, Comcast, and the NSF. He holds a Ph.D. from the University of Washington, advised by Tom Anderson and Arvind Krishnamurthy. Grants and Labs: Works with the M-Lab, RIPE Atlas, and SpeedChecker platforms. Current funding includes Google Faculty Awards, an M-Lab grant, and NSF support.

Ashish NandaView profile

Research Fellow

• Cybersecurity
• Authentication Technologies
• Digital Identity
• +5 more

Ashish Nanda is a Research Fellow at the Deakin Cyber Research and Innovation Centre (Deakin Cyber) at Deakin University, Australia, where he contributes expertise to pioneering cybersecurity research. Prior to his current role, he served as a Research Fellow at the Centre for Cyber Resilience and Trust (CREST), Centre for Cyber Security Research and Innovation (CSRI), and the Deakin Blockchain Innovation Lab (DBIL). He has also enriched the academic community as a Lecturer at the University of Technology Sydney. Dr. Nanda's educational background includes: PhD in Computer Science from the University of Technology Sydney Bachelor of Technology in Computer Science & Engineering from Amity University, India His research spans cybersecurity, authentication technologies, digital identity, and usable security. Nanda has contributed to national projects funded by the Cyber Security CRC, focusing on multi-factor authentication, privacy-preserving digital credential wallets, and ambient intelligence-based continuous authentication systems. His work bridges technical security measures with human factors, emphasizing that security solutions must be both robust and user-friendly to achieve widespread adoption. This human-centered approach to security has become increasingly prominent in his recent publications. Dr. Nanda's publication trajectory shows a clear evolution from foundational network security protocols toward increasingly human-centered security approaches. While his earlier research focused on technical aspects of secure routing for wireless mesh networks and IoT infrastructure, his recent work emphasizes usable security, authentication devices, and digital identity systems. This shift reflects the growing recognition in cybersecurity that technical solutions alone are insufficient without considering human factors and user experience. Dr. Nanda has received significant research funding through: Cyber Security Cooperative Research Centre (CRC) Australia's Economic Accelerator program He actively contributes to public discourse through articles in The Conversation and interviews with major media outlets including SBS News, The Guardian, and The Feed. His research collaborations extend across multiple institutions with emphasis on practical applications addressing real-world cybersecurity challenges. Nanda has also co-founded Adroit Explorer Innovation Chambers, a not-for-profit organization dedicated to fostering innovation and exploration in technology.

• Logic in Computer Science
• Coalgebras
• Modal Logics
• +7 more

Corina Cirstea is a Professor in the School of Electronics and Computer Science at the University of Southampton, where she has been a faculty member since 2003. She holds a DPhil in Computation from the University of Oxford and previously served as a Junior Research Fellow at St. John's College, Oxford. She is the Programme Leader for the BEng/MEng in Software Engineering and teaches core modules including Algorithmics, Theory of Computing, and Automated Software Verification. Education: DPhil in Computation, University of Oxford (2000) Junior Research Fellowship, St. John's College, Oxford (1999–2003) Her research focuses on logic and models of computation, particularly coalgebras and their applications in automated verification and synthesis. She explores coalgebraic temporal logics, trace semantics, and formal modeling of real-time and resource-aware systems, primarily using Event-B. Her work bridges theoretical foundations with practical system verification, especially in safety-critical domains. The analysis of her recent publications reveals a strong trend in formal methods, with consistent contributions to real-time system modeling, refinement techniques, and coalgebraic semantics. Her work integrates theoretical depth with engineering applications, particularly in automated verification and system design. Scientific Service and Recognition: Member of the editorial board, Compositionality journal Member of IFIP Working Group 1.3 Member of CALCO Steering Committee Member of CMCS Steering Committee Program Committee member for SEFM 2021, MFPS 2021, HIGHLIGHTS 2021, ICALP 2021, MFCS 2021, ACT 2020, ICE 2020, CMCS 2020, FOSSACS 2020 She advises PhD students including Chenyang Zhu and Eman Alkhammash, and has been involved in multiple research grants focused on formal verification, real-time systems, and software engineering. She collaborates extensively with researchers such as Michael Butler and Ichiro Hasuo. Her work contributes to both foundational theory and practical tooling in formal methods. She is associated with research groups and initiatives in formal methods and theoretical computer science at the University of Southampton, particularly within the broader context of software engineering and system verification.

Martin HirschView profile

Professor

• Systems Engineering
• Digital Twins
• Autonomous Systems
• +3 more

Prof. Dr. Martin Hirsch is an academic researcher active in interdisciplinary domains spanning computer science, systems engineering, and embedded systems. His work focuses on formal methods for autonomous systems, digital twin synthesis, and integrated product line development. Research interests include: Model-based development of safety-critical systems Formal verification techniques Hardware-software co-design methodologies Multi-agent coordination in emergency scenarios Publications demonstrate expertise in system modeling, configuration engineering, and autonomous safety protocols. Collaborations with institutions like Fachhochschule Dortmund and Schloss Dagstuhl indicate strong industry-academia connections.

Rosario GiustolisiView profile

Associate Professor

• Computer Security
• Cryptographic Protocols
• Decision Systems
• +7 more

Dr. Rosario Giustolisi is an Associate Professor in the Department of Computer Science at the IT University of Copenhagen . His research centers on computer security with a focus on cryptographic protocols for decision systems (e.g., voting and exams), automated security analysis, accountability frameworks, and sociotechnical security aspects. Before joining ITU, he held postdoctoral roles at SICS RISE and Lund University, Sweden, and earned his PhD from the University of Luxembourg with work on secure exam protocols, culminating in his book Modelling and Verification of Secure Exams (Springer, 2018). Research Trends: His 15 most recent articles (2016–2025) span cryptographic protocol design, coercion-resistant voting/exams, zk-SNARK applications, differential privacy, automated security analysis, and sociotechnical threat modeling. Key subfields include secure decision systems, privacy-preserving mechanisms, and formal verification. Scientific Awards: Best Paper Award, NordSec 2017 Best Paper Award, SECRYPT 2014 Villum Experiment Grant (Sole PI) 2020 ICT TNG Postdoc Grant (Sole PI) 2016 CSC Best PhD Thesis Award 2016 Acknowledgments from Apple for Security Advisory Professional Service: Organized cybersecurity breakfast talks at ITU and served on conference committees for ACM SAC (Security track), STAST, E-VOTE ID, and NordSec. He also contributed as a journal referee and sub-reviewer for multiple conferences.

• Agent-Based Modeling
• Social Simulation
• Computational Ethics
• +10 more

Nuno David is an Associate Professor at ISCTE - Instituto Universitário de Lisboa, affiliated with the Department of Information Science and Technology within the School of Technologies and Architecture. He is also an Integrated Researcher at DINÂMIA'CET-Iscte, focusing on socioeconomic change and territory. He serves as the Data Protection Officer at Iscte and chairs the Ethics Committee of the School of Technologies and Architecture, while also being a member of the university-wide Ethics Council. PhD in Computing, Faculty of Sciences, University of Lisbon (2005) Master's degree in Agent-Based Social Simulation, University of Lisbon Undergraduate degree in Electrical Engineering – Computer Science, University of Coimbra His research spans agent-based modeling , social simulation , computational ethics , privacy , and the philosophy of computer science , with a focus on the epistemology of computational social science. He investigates how computational methods influence social science theories and methodologies. His recent publications highlight a consistent focus on ethical dimensions of simulation, disaster response modeling (e.g., tsunami evacuation), and digital governance. Articles frequently appear in high-impact journals such as Journal of Artificial Societies and Social Simulation , AI & Society , and Geosciences , reflecting interdisciplinary engagement across computer science, social sciences, and ethics. Member, Ethics Committee, ISCTE (2020–2026) Data Protection Officer, ISCTE (since 2018) Coordinator, multiple ethics and cybersecurity courses in Master’s and Bachelor’s programs Nuno David leads and participates in significant research initiatives, including the Research Data Management Center for SSH (RDMC-SSH) and the Re.Data network , both focused on research data infrastructure. He is also involved in the EU-funded ManagiDiTH master’s program, aimed at digital transformation in healthcare. His work integrates academic research with practical policy and institutional governance, particularly in data protection and research ethics. He has contributed to multiple projects on e-government in developing contexts, especially in Mozambique, and has developed tools for analyzing academic collaboration networks. His teaching includes courses on simulation, programming, and professional ethics in computing.

• Accountable AI Systems
• Internet of Things (IoT)
• Data Provenance
• +12 more

Dr. Milan Markovic is an Interdisciplinary Fellow at the School of Natural and Computing Sciences, University of Aberdeen, where he conducts research at the intersection of computing, sustainability, and societal impact. He is actively involved in teaching, supervising PhD students, and leading interdisciplinary research projects focused on transparency, accountability, and trust in intelligent systems. His research spans several key domains, including accountable AI, data provenance, IoT governance, and sustainable agri-food systems. He investigates how technologies like AI, blockchains, and semantic web can support transparent and ethical digital infrastructures. His work emphasizes real-world applications in healthcare data governance, smart cities, and environmental sustainability. The recent publications highlight a strong trend toward developing tools and frameworks for transparency and accountability, such as the Transparent Emissions Calculation (TEC) Toolkit, Farm Explorer, and semi-automated provenance tracking in Trusted Research Environments. These works integrate knowledge graphs, federated learning, and blockchain to ensure verifiable, auditable, and sustainable digital systems. Dr. Markovic has contributed to numerous collaborative research initiatives, including EATS (Enhancing Agri-Food Transparent Sustainability) and SARA (Semi-Automated Risk Assessment), which aim to improve data governance and sustainability in complex socio-technical systems. He supervises PhD students in computing science and collaborates with interdisciplinary teams across academia and industry. His leadership in projects like RAInS, TrustLens, and PROoFD-IT demonstrates a long-standing commitment to building trustworthy IoT and AI ecosystems. These projects explore user empowerment, data transparency, and compliance in digital systems, particularly in food safety, healthcare, and urban environments. He is affiliated with the Department of Computing Science and contributes to both theoretical and applied research, with a strong emphasis on open, reproducible, and socially responsible computing.

Mitra BaratchiView profile

Associate Professor

• Spatio-Temporal Data Analysis
• Machine Learning
• Mobility Data Modeling
• +5 more

Mitra Baratchi is an Associate Professor at the Leiden Institute of Advanced Computer Science (LIACS) , Leiden University. She leads the Spatio-temporal data Analysis and Reasoning (STAR) research group, co-leads the Automated Design of Algorithms (ADA) group, and founded the Special Interest Group on Spatio-Temporal Data Mining (SIG-SDTM) . PhD from University of Twente (Mobility Data) Master’s/Bachelor’s in Computer Engineering, Iran Research Interests focus on automated pattern extraction from spatio-temporal data across urban, environmental, and industrial domains. Key applications include: Automated Machine Learning (AutoML) for Earth Observations Time-Series Forecasting for public health (e.g., pandemic modeling) Urban Mobility Optimization with ESA, Honda, and municipalities Reliable Vehicular Communication Systems Smart Garments for Health Risk Detection Geocast Protocols for Internet-wide Communication Grant Highlights include €120K NWO-Aspasia, €2.9M Marie Skłodowska-Curie, €350K NWO-KLEIN, and €135K Center for BOLD Cities funding. She has supervised 12 PhD students and 4 current Master’s students since 2011, with notable best paper award at WWIC'16. Teaching includes Machine Learning (2020-present) and Urban Computing (2018-present) at Leiden, plus past courses in Data Visualization, Software Engineering, and Research Methods.

Tillman WeydeView profile

Academic

• Machine Learning
• Signal Processing
• Data Analysis
• +5 more

Dr. Tillman Weyde is a Reader in the Department of Computer Science at City, University of London , where he has been employed since 2021. He leads the Machine Intelligence and Media Informatics Research Group and is a member of the Machine Learning Group . Prior to this, he served as Senior Lecturer (2009–2021) and Lecturer (2005–2009) at City, and worked as a researcher at the University of Osnabrück (2001–2005), coordinating the MUSITECH project. His academic background includes PhD in Music Technology (2002), MSc in Computer Science (1999), and MSc in Mathematics, Music, Philosophy & Pedagogy (1994), all from the University of Osnabrück. Research Focus: Machine learning and signal processing methods for data analysis with applications in finance, audio, NLP, music, health, security, and education. His recent work emphasizes inductive biases in neural networks for rule-learning, extrapolation, generalization, and interpretability. Grants & Projects: Principal Investigator for the AHRC-funded Digital Music Lab (2012–2017) and Integrated Audio-Symbolic Model of Music Similarity (2017–present). Co-investigator in Innovate UK and EPSRC projects on safer gambling ( Advancing Consumer Protection , 2015–2018) and Raven (2012–2021). Collaborations: Affiliated with the Institute of Cognitive Science (Osnabrück), Intelligent Systems Research Laboratory (Reading), and the MPEG Ad-Hoc Group on Symbolic Music Representation. Awards: Co-author of the 2000 Comenius Medal-winning educational software Computer Courses in Music Ear Training and co-editor of the Osnabrück Series on Music and Computation . Publications: Over 150 peer-reviewed works including conference papers, journal articles, and book chapters, focusing on interdisciplinary applications of machine learning in music, health, and finance. Students: Supervised 13 PhD students across topics like grammar bias in neural networks, emotion recognition from audio, extrapolation behavior in neural networks, relation-based patterns, legal text parsing, and more.