Find Academic Supervisors

• Optimal Control
• Aerospace Engineering
• Robotics
• +3 more

Ran Dai is a Professor in the Department of Aeronautics and Astronautics at Purdue University's College of Engineering. His research focuses on optimal control theory, trajectory optimization, and robotics applications, with an emphasis on aerospace systems and energy-efficient solutions. He leads the Autonomous Optimization Lab (AOL) and has contributed extensively to advancements in learning-based control, mixed-integer programming, and deployable space systems. His work spans applications such as spacecraft guidance, unmanned vehicle path planning, and energy management for solar-powered systems. Notable contributions include algorithms for fuel-optimal powered descent, real-time trajectory optimization, and origami-inspired deployable mechanisms. He holds a Ph.D. in Aerospace Engineering and has published over 100 peer-reviewed articles. Research interests include: Optimal control and trajectory optimization Reinforcement learning for decision-making Autonomous systems and robotics Energy-efficient aerospace engineering Recent work emphasizes meta-reinforcement learning frameworks and adaptive optimization engines for complex systems.

Kirsten WinterView profile

Professor

• Formal Verification
• Concurrent Programming
• Computer Security
• +3 more

Dr. Kirsten Winter is an Honorary Senior Fellow at the University of Queensland's School of Electrical Engineering and Computer Science. Her research focuses on formal verification, concurrent programming, and weak memory models. She has contributed significantly to areas such as model checking, railway interlocking systems, and behavior trees. Her work spans theoretical foundations (e.g., linearizability, concurrency semantics) and practical applications in security and embedded systems. Recent projects include the Program Analysis Cell and BASIL: Boogie Analysis for Secure Information-Flow Logics. Winter has collaborated extensively with researchers like Graeme Smith and Robert Colvin. Her most recent publications address speculative execution vulnerabilities and compositional reasoning in weak memory architectures.

Tao HongView profile

Professor

• Energy Forecasting
• Power Systems Operations
• Renewable Integration
• +7 more

Dr. Tao Hong is the Duke Energy Distinguished Professor and NCEMC Faculty Fellow at the Department of Systems Engineering and Engineering Management, University of North Carolina at Charlotte. He directs the Big Data Energy Analytics Laboratory (BigDEAL) and has been a Founding Chair of the IEEE Working Group on Energy Forecasting (2011-2019). Ph.D., Electrical Engineering & Operations Research (2010), NC State University M.S., Operations Research & Industrial Engineering (2008), NC State University B.Eng., Automation (2005), Tsinghua University His research focuses on Energy Forecasting with applications in power systems operations, renewable integration, risk management, and cross-sector forecasting for healthcare, transportation, and sports. He has led major Delivery point level load analysis (2017-present) Short-term probabilistic forecasting (2016) Demand response modeling using smart meter data (2014-2015) Dr. Hong's scientific contributions include 9+ journal articles on energy forecasting methodologies and 3 major forecasting competitions (GEFCom2012-2017, BigDEAL Challenge 2022). His work has been cited in leading journals like International Journal of Forecasting and IEEE Transactions on Smart Grid . Charlotte Business Journal Energy Education Leader of the Year (2017) IEEE PES PSPI Technical Committee Prize Paper Award (2016) As a dedicated educator , Dr. Hong has advised multiple PhD and Master's students including Shreyashi Shukla (2023), Yike Li (2022), and Jordan McCorey (2021). He teaches specialized courses in energy systems planning and computational intelligence.

Daniel WojcikView profile

Professor

• Artistry & Expressive Culture
• Ethnology & Folklore Studies
• Mythology & Religious Culture
• +12 more

Daniel Wojcik is a Professor in the Department of English and Folklore Program at the University of Oregon , where he teaches courses on Apocalypse Now and Then , Folklore and the Supernatural , and Visionary Experiences . Holding a PhD from UCLA , his work bridges art, religion, and cultural theory with particular focus on outsider art , apocalyptic movements , and vernacular spiritualities . Education: PhD, University of California, Los Angeles Key Research Areas: Visionary art and art brut Modern mythologies and alternative religions Apocalyptic beliefs and millenarian movements Urban ethnology and cultural theory Trauma, grief, and creativity Notable Awards: Fulbright Scholar (2023) Fellow of American Folklore Society (2023) Coleman-Guitteau Professorship (2014-2015) His publications analyze intersections of creativity and crisis , including Outsider Art: Visionary Worlds and Trauma (2016) and The End of the World As We Know It (2003). Recent projects document magico-religious re-enchantment in Central/Eastern Europe and UFO cosmologies . As advisor to the Folklore and Public Culture Program , he mentors students in ethnographic research and public folklore applications. Article Trends show consistent exploration of apocalyptic themes (2003-2025), outsider art analysis (2016-2025), and vernacular spirituality (1996-2021). His work connects trauma studies with artistic expression while mapping millenarian belief systems across religious and pop culture contexts. Teaching Legacy includes courses on Folklore theory , Religion and folklore , and Subcultures . He has directed fieldwork projects and public folklore initiatives at the Randall V. Mills Archives and Oregon Folklife Network.

Zeyu DingView profile

Assistant Professor

• Privacy
• Algorithmic Fairness
• Machine Learning
• +5 more

Zeyu Ding is an Assistant Professor in the School of Computing at Binghamton University, with a courtesy appointment in the Department of Mathematics and Statistics. He holds two PhDs: one in Computer Science from Penn State University and another in Mathematics from Binghamton University, along with a BS in Mathematics from Zhejiang University. Research Interests His work focuses on the intersection of privacy, security, machine learning, and algorithmic fairness. He investigates how to protect sensitive personal information through differential privacy mechanisms, formal verification, numerical optimization, and privacy-preserving statistical inference. Article Trends Ding's publications highlight advancements in differential privacy, including the Report Noisy Max with Gap Mechanism and the Permute-and-Flip approach. His research also addresses security challenges like reconstruction attacks and automated verification tools (e.g., Checkdp and DPGen), alongside mathematical explorations of automorphism group schemes and Barsotti-Tate groups. Scientific Awards CCS Outstanding Paper Award, 2018 Caper Bowden PET Award Runner-up, 2019 CCS Best Paper Award Runner-up, 2020 CCS Best Paper Award Runner-up, 2021 Research Award from Penn State University, 2019 Teaching Award from Penn State University, 2021 His research is supported by the NSF grant 2317233, underscoring his contributions to privacy-preserving computational methods.

Melanie VolkamerView profile

Professor

• IT Security
• Privacy Protection
• Human-Centered Security Design
• +5 more

Professor Melanie Volkamer is a leading computer scientist at the Karlsruhe Institute of Technology (KIT), where she heads the SECUSO (Security, Usability, Society) research group within the Institute for Applied Informatics and Formal Description Methods at the Faculty of Business and Economics. She moved her research group from TU Darmstadt to KIT at the beginning of 2018 and has established herself as one of Germany's foremost experts on the human factor in security and privacy. Professor Volkamer's research focuses on human-centered security design, emphasizing that technical security solutions must be developed with user behavior and mental models in mind. She investigates why users often choose less secure passwords, fall for phishing emails, and how they react to security warnings. Her interdisciplinary team combines computer science, mathematics, and psychology to develop security solutions that better protect users against attacks while being usable in real-world contexts. Her publication record shows a strong focus on electronic voting security, email security, and cybersecurity awareness. Recent work includes analyzing the security challenges of online general meetings for listed companies, developing child-friendly authentication systems like KidzPass, and creating effective tools for detecting phishing emails. Her research demonstrates consistent attention to both technical security requirements and human factors in security design. Scientific Awards and Recognition: SECUSO tools recommended by the Federal Office for Information Security NoPhish concept materials included in the Federal Office for Information Security's CyberFibel since January 2021 Development of open source privacy-friendly apps available in the App Store Creation of educational tools like the Phishing Master Shooting Game Professor Volkamer actively advises on cybersecurity policy and regularly contributes to public discourse through media appearances and expert statements. She has supervised student projects that have resulted in practical security tools and has collaborated with government agencies including the Federal Ministry of Education and Research (BMBF) and the EU on security research projects. Her work with the Competence Center for Applied Security Technology (KASTEL) positions her at the forefront of Germany's cybersecurity research efforts. SECUSO, under Volkamer's leadership, develops practical security awareness measures including lectures, videos, flyers, and online tools that help citizens recognize fraudulent messages and better protect themselves online. The research group's work bridges academic research and practical application, making significant contributions to both theoretical understanding and real-world security solutions.

• Compilers
• Automatic Software Verification
• Compiler Optimization
• +7 more

Nuno Pereira Lopes is an Associate Professor at Instituto Superior Técnico , part of Universidade de Lisboa , and a researcher at INESC-ID . He also serves as an advisor at FuriosaAI , focusing on tensor contraction processors for AI workloads. Research Interests : Compilers, formal verification of LLVM optimizations, machine learning frameworks, undefined behavior exploitation, probabilistic model checking, blockchain security, and many-core code generation. Teaching : Compilers and Computer/Informatics Engineering projects. Funding : Supported by Google, Matter Labs, NLnet, Oracle, PRACE, RNCA, and Woven by Toyota. Recent Publications focus on LLVM backend validation , PyTorch pipeline parallelism , C++ dynamic cast optimization , undefined behavior in C/C++ , and AI tensor processors . His work bridges compiler design, formal methods, and AI hardware. Academic Service includes representing Portugal in ISO/IEC JTC 1/SC 22 (C++), organizing FLoC'26 , and serving on program committees for PLDI, EuroLLVM, and CGO.

Benjamin LubinView profile

Associate Clinical Professor

• Mechanism Design
• Combinatorial Auctions
• Spectral Graph Theory
• +4 more

Benjamin Lubin is a Clinical Associate Professor in the Information Systems Department at Boston University's Questrom School of Business. He holds office 621A in the Rafik B. Hariri Building at 595 Commonwealth Avenue, Boston, MA 02215. His academic journey began with a Bachelor's degree in Computer Science from Harvard University in 1999, followed by six years working at BBN Technologies, where he contributed to advanced multi-agent modeling, scheduling, and logistics systems. He later returned to Harvard to complete his Ph.D. at the intersection of computer science, game theory, and economics. Dr. Lubin's research spans three primary areas: (1) mechanism design, particularly combinatorial auctions and exchanges that support efficient reallocation of goods with complex participant preferences; (2) application of spectral graph theory to advance social network analysis; and (3) leveraging network science and machine learning to improve healthcare delivery systems. His work demonstrates a consistent pattern of bridging theoretical computer science with practical economic applications, with recent publications showing increasing focus on healthcare applications while maintaining strong contributions to auction theory and network analysis. His research has been supported by significant funding from NIHCM and the Veterans Administration, and he has received prestigious recognition including the Siebel Fellowship and Yahoo Key Technical Challenge award. Dr. Lubin has mentored numerous graduate students including PhD candidates Vatche Ishakian, Marisabel Guevara, and Sarah Zheng, as well as Master's students Benedikt Buenz and Michael Weiss. Siebel Fellowship Yahoo Key Technical Challenge award As an educator, Dr. Lubin teaches several courses including IS 710 (Core MBA Class on Information Systems), IS 716 (Accelerated Part-Time Evening MBA), IS 717 and IS 756 (MSMBA Intensives), and QD601x (Business Experimentation on edX). His teaching materials include innovative approaches like using adventure games to teach web development and creating practical exercises for understanding analytics in business contexts. He has developed several software tools including JOpt for MIP programming, the Iterative Combinatorial Exchange market software, InvEigen for inverse eigenvector problems, SpectralGOF for network model goodness-of-fit testing, and SATS for spectrum auction instance generation.

Véronique CortierView profile

Researcher

• Formal Verification of Security Systems
• Electronic Voting Protocols
• Cryptographic Protocol Design
• +4 more

Véronique Cortier is a CNRS Research Director at the Lorraine Laboratory for Research in Computer Science and its Applications (Loria) in Nancy, France. She specializes in formal verification of security systems, particularly electronic voting protocols, and has co-authored over 80 publications. Her work bridges symbolic and computational models for cryptographic security. Notable roles include serving as program chair for CSF 2012-2013 and editorial duties for journals like TISSEC/TOPS. She leads the PEPR Cybersecurity Security Verification Protocol (SVP) (2022–2028) and has received grants from ANR, ERC, and PHC Alliance. Her research focuses on ensuring vote secrecy and verifiability in e-voting systems like Belenios , which has been used in 3,500+ elections. She also emphasizes transparency and public engagement through books and talks. 2022 : CNRS Silver Medal 2021 : Swiss Post bug bounty 2015 : Inria-French Académie des sciences Young Researcher Award Current advisees: Léo Louistisserand and Florian Moser.

R.K. ShyamasundarView profile

Professor

• Real-Time Programming
• Reactive Programming
• Logic Programming
• +7 more

R.K. Shyamasundar is a Professor at the Indian Institute of Technology Bombay , with a focus on Real-Time and Reactive Programming, Logic Programming, Pi-Calculus, and Parallel Programs. Research spans formal verification, concurrency, and distributed systems. Key contributions include RT-CDL semantics, Esterel language extensions, and hybrid system controller synthesis. Scientific awards include JC Bose National Fellow, Fellowships at Indian Academy of Sciences and Indian National Science Academy, and Senior Membership in IEEE. His work involves collaborations with institutions like TCS Group and researchers such as Basant Rajan, N. Raja, and Deepak Kapur.

Matthew CollinsonView profile

Senior Lecturer

• Logic
• Theoretical Computer Science
• Information Security
• +12 more

Matthew Collinson is a Senior Lecturer in Computing Science at the University of Aberdeen, where he also serves as Head of Computing Science and Academic Line Manager. He holds an affiliation with the Scottish Informatics and Computer Science Alliance (SICSA) and leads the EPSRC-funded project SSPEDI (Supporting Security Policy with Effective Digital Intervention). Education: BSc Mathematics, University of Edinburgh (1997) MSc Mathematical Logic, University of Manchester (1998) PhD Computer Science, University of Manchester (2003) Research Interests: His research spans theoretical computer science and cybersecurity , focusing on non-classical logics (intuitionistic, modal, substructural), semantics of computation , concurrency theory , and type theory . He applies these foundations to information security , particularly in modelling security policies, access control, and the economics of cybersecurity decisions. His work integrates formal verification , simulation tools (e.g., Gnosis), and game-theoretic models . Publications Trends: Recent publications (2016–2022) emphasize human-centred security , exploring how persuasion and behavioural interventions can reduce cybersecurity vulnerabilities. Earlier works (2008–2015) concentrate on mathematical systems modelling , layered graph logics , and trust domains , bridging high-level policy and low-level system configurations. Projects & Grants: SSPEDI (2017–2020, EPSRC): Human dimensions of cybersecurity policy compliance. ALPUIS (EPSRC consortium): Algebra and logic for security policy and utility. Trust Domains (RCUK/TSB, 2011–2014): Framework for modelling secure information sharing. Seconomics (EU FP7, 2012–2015): Socio-economic impacts of cybersecurity regulation. PhD Supervision: He has successfully supervised PhD students including Kevin McDonald (2014), Barry Taylor (2015), and Robert (Bob) Duncan (2016), whose theses addressed logic-based security architectures, vulnerability analysis, and cloud stewardship respectively. Labs & Teams: His research is conducted within the Computing Science section of the School of Natural and Computing Sciences, leveraging collaborations with National Grid, HP Labs, and other academic partners.

• Combinatorial Optimization
• Integer Programming
• Quadratic Programming
• +4 more

Cédric Soutil is a Researcher at the Conservatoire National des Arts et Métiers (CNAM) , affiliated with the CEDRIC Laboratory. His work spans combinatorial optimization , integer programming , quadratic programming , and algorithm design , with a focus on solving complex optimization problems in scheduling and graph theory. Recent publications highlight his expertise in non-separable and non-convex quadratic integer programming , knapsack problems , and online computation . His research trends emphasize mathematical reformulations , upper bound algorithms , and optimization models for real-world applications like horse race scheduling and hydrogen production . He has collaborated extensively with researchers such as A. Houdayer , D. Quadri , and P. Tolla , contributing to over two decades of academic output in operations research and combinatorial optimization .

Dominique UnruhView profile

Professor

• Quantum Computing
• Quantum Cryptography
• Post-Quantum Cryptography
• +5 more

Dominique Unruh is a Professor at RWTH Aachen University , leading the Chair for Quantum Information Systems . Additionally, they hold a Professorship in Cryptography at the Institute of Computer Science of the University of Tartu , Estonia. Their research spans quantum computing , quantum cryptography , post-quantum cryptography , and formal verification of cryptographic protocols and programs. Research Focus : Quantum programs, zero-knowledge proofs, lattice-based cryptography, and quantum random oracle model. Key Contributions : Advancements in NTRU encryption efficiency, quantum Hoare logic, and rewinding techniques for security proofs. Tools : Active development in the EasyCrypt framework for cryptographic verification. Email : unruh@cs.rwth-aachen.de

• Software Engineering
• Model-Based Software Engineering
• Automated Reasoning
• +5 more

Sebastián Uchitel is a Professor at the Department of Computing, Imperial College London, UK. His research focuses on foundational aspects of Software Engineering, particularly in modeling and analysis for automated reasoning, verification of probabilistic systems, controller synthesis, and adaptive systems. He has led major research projects, including the ERC-funded IDEAS StG project on Partial Behaviour Modelling and the European FP6 SENSORIA project. Research Interests: Model-Based Software Engineering, Controller Synthesis, Probabilistic Systems, Adaptive Systems, Requirements Engineering External Roles: General Chair, International Conference on Software Engineering (2017); Associate Editor, Elsevier Science of Computer Programming; Steering Committee, International Conference on Software Engineering His recent work explores intersections between Software Engineering and AI, including assured adaptive systems and logic-based learning. A Senior Member of IEEE and Distinguished Scientist of ACM , he has received awards like the Houssay Prize (2015) and Philip Leverhulme Prize (2005). Collaborators include institutions in Argentina, Canada, and the UK. Selected Publications: 150+ peer-reviewed works spanning controller synthesis, requirements engineering, and formal methods Students: Supervised 12 PhD students since 2003 Grants: Principal Investigator for 3 major grants (2005-2016) totaling over $3.7M USD, including: 2013-2016: Technology Platform in Software Engineering (ANPCYT, $1.6M) 2009-2014: ERC IDEAS StG on Partial Behaviour Modelling (€1.4M) 2005-2008: FP6 SENSORIA Project (€0.7M)

Roberto GiacobazziView profile

Professor

• Theory of computation
• Programming languages
• Abstract interpretation
• +3 more

Roberto Giacobazzi is a Professor at the University of Arizona specializing in theoretical computer science with a focus on abstract interpretation, program analysis, and verification. His research bridges theoretical foundations with practical applications in software security and verification systems. Dr. Giacobazzi received his Ph.D. from the University of Pisa in Italy in 1993, establishing a long-standing academic career focused on the theoretical underpinnings of program analysis. His educational background forms the foundation for his contributions to abstract interpretation theory. His primary research interests center around abstract interpretation, a theoretical framework for approximating program semantics. This work spans theory of computation , programming languages , program analysis and verification , and logic in computer science . Giacobazzi has made significant contributions to understanding completeness and precision in abstract interpretation, with applications extending to code obfuscation, security analysis, and more recently, AI fairness in legal contexts. His work demonstrates how theoretical computer science concepts can address practical software engineering challenges. An analysis of his recent publications (2022-2025) reveals a consistent research trajectory with increasing sophistication in abstract interpretation theory. His work shows a growing emphasis on completeness properties, precision limitations, and security applications. Notably, his 2024 publication on "Fairness of AI Systems in the Legal Context" indicates an expansion of his theoretical expertise into AI ethics and regulatory compliance, demonstrating the versatility of abstract interpretation frameworks. Dr. Giacobazzi has contributed extensively to major conferences in programming languages and verification, including SAS (Static Analysis Symposium), POPL (Principles of Programming Languages), and VMCAI (Verification, Model Checking, and Abstract Interpretation). His publications reflect deep theoretical insights while maintaining relevance to practical software analysis challenges. His research has significant implications for software security, particularly in code obfuscation techniques based on abstract interpretation. The systematic approach to measuring incompleteness in abstract interpretations has provided new frameworks for understanding and improving program analysis tools. His work continues to influence both academic research and practical applications in program verification and security.