Find Academic Supervisors

RobbyView profile

Professor

• Formal Methods
• Software Engineering
• Programming Languages
• +3 more

Robby is a Professor in the Department of Computer Science at Kansas State University's College of Engineering, holding the Don and Linda Glaser - Carl and Mary Ice Keystone Research Scholar title. He maintains an active research profile through the SAnToS Lab and has been continuously affiliated with the university since 2004. His educational background includes: Ph.D. in Computer Science from Kansas State University (2004) M.S. in Computer Science from Kansas State University (2000) B.S. in Computer Science from Oklahoma State University (1998) Robby's research centers on formal methods and software engineering , specializing in specification and verification techniques for high-assurance systems. His work develops user-friendly formal languages and cost-efficient verification algorithms that significantly enhance software trustworthiness in safety-critical domains like aerospace and defense systems. This research bridges theoretical foundations with practical industrial applications through tools like the Sireum framework. His publication record (2021-2025) reveals a strong trajectory toward integrated verification ecosystems, particularly the Sireum suite (Logika, Slang) and HAMR toolset for AADL-based development. These works consistently address model-code verification gaps and contract-based testing in cyber-physical systems, demonstrating growing industry adoption through collaborations with organizations like Galois and NASA. Notable recognitions include: NASA Turning Goals into Reality award (2003) NSF CAREER award (2007) ICSE Most Influential Paper award (2000) ACM SIGSOFT Impact award (2010) FMICS Best Tool Paper Award (2024) Robby's research program combines significant funding from sources like the NSF CAREER grant with active industry partnerships. His SAnToS Lab serves as a hub for developing verification methodologies that scale from academic prototypes to real-world deployment in safety-critical systems, emphasizing practical toolchains for assurance engineering. He leads the SAnToS Lab (Software Analysis and Test Organization), which focuses on advancing formal verification techniques for high-integrity software through frameworks like Sireum and HAMR, with applications spanning microkernels, cyber-physical systems, and educational tools.

Seetal PotluriView profile

Assistant Professor

• Trustworthy Machine Learning
• Hardware Security
• FPGA Virtualization
• +2 more

Seetal Potluri is Assistant Professor in the Department of Electrical & Computer Engineering at the University at Albany, SUNY's College of Nanotechnology, Science, and Engineering. He holds a Ph.D. in Electrical Engineering from IIT Madras and researches trustworthy ML systems, FPGA security, and hardware reverse engineering. Research addresses security challenges in hardware-accelerated AI systems, focusing on: 1) Model extraction vulnerabilities in neural network hardware; 2) Secure FPGA virtualization for cloud environments; 3) Side-channel attacks on cryptographic hardware; 4) Explainable ML for hardware security validation. Work bridges machine learning theory with hardware implementation security. Publications demonstrate consistent focus on hardware-level attack vectors (scan-chain exploitation, cache attacks) and defensive strategies (obfuscation, formal verification). Recent work increasingly targets cloud FPGA security and post-quantum cryptography implementations. Research contributions have been recognized with best paper awards at leading hardware security venues. Awards & Honors: Best Paper Recognition Award, IEEE HOST 2022 Runner-up, IEEE TTTC Doctoral Thesis Contest 2015 (Asia) Professional service includes technical program committees for DAC and ICCAD conferences. Teaching and research activities are based in CNSE Downtown 305E, with contact via spotluri@albany.edu or 518-956-8248.

Jose A. Ruiperez ValienteView profile

Associate Professor

• Computational Social Science
• Educational Technology
• Cyberdefence
• +3 more

Jose A. Ruiperez Valiente is an Associate Professor at the Information and Communications Engineering Department of the University of Murcia. His academic journey includes a B.Eng. and M.Eng. in Telecommunications, followed by an M.Sc. and Ph.D. in Telematics from UC3M, with research conducted at IMDEA Networks. He completed research stays at MIT and the University of Edinburgh, and a postdoc at MIT Teaching Systems Lab/Playful Journey Lab. He has held academic appointments at Complutense University of Madrid and industry roles at Multimedia Vocento, Accenture, and ExoClick. Current role: Associate Professor, University of Murcia Previous institutions: UC3M, IMDEA Networks, MIT, University of Edinburgh, Complutense University of Madrid Industry experience: Multimedia Vocento, Accenture, ExoClick His research focuses on computational social science, educational technology, cyberdefence, and data science. Key methodologies include learning analytics, game-based assessment, and serious games for skill evaluation. Recent publications analyze trends in educational technology, develop frameworks for game-based assessments, and explore disinformation detection. His work combines machine learning with educational innovation, particularly in stress detection and competency evaluation through biometric data. Scientific awards include: BBVA Award as Outstanding Young CS Researcher Humboldt Research Fellowship He has co-authored over 100 publications with 2100+ citations and participated in 20+ funded projects like DEFENDER, SEMANTIC, and EU-GUARDIAN, focusing on cybersecurity training and decentralized AI systems.

• Programming Languages
• Semantics
• Type Systems
• +5 more

Nikolaos S. Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), affiliated with the Software Engineering Laboratory and the Division of Computer Science. His research focuses on programming languages, compilers, formal verification, and concurrency. Since October 2021, he has been on leave from NTUA while working as a Software Engineer at Google's V8 JavaScript and WebAssembly engine team. Previously, he served as Director of the Division of Computer Science (2017–2019) and held a sabbatical at Google's Munich compiler group (2015–2016). His academic contributions include pioneering work on Erlang/OTP scalability, concolic testing for functional languages, and static analysis techniques. He has authored numerous publications in top venues like ACM Transactions on Programming Languages and Systems and IEEE conferences. Papaspyrou has supervised over 50 diploma students and multiple PhD candidates, contributing to the education of future researchers and engineers. He actively participates in programming competitions, coaching Greek Olympiad teams, and volunteers in the Hellenic Informatics Society. He teaches advanced courses on programming languages, compilers, and software engineering at NTUA, emphasizing practical applications of theoretical concepts. His educational philosophy integrates problem-solving through programming, as highlighted in his FedCSIS 2013 paper on teaching methodologies.

• Formal Logic
• Cybersecurity
• Social Engineering
• +7 more

Andreas Brännström is a postdoctoral fellow at the Department of Computing Science , Umeå University, Sweden. His research focuses on formal logic-based methods for modeling and verifying manipulation, deception, and influence in communication , with applications in cybersecurity and social engineering. He employs frameworks such as Answer Set Programming, Formal Argumentation, and Description Logic to analyze mental states, belief change, and dialogue strategies in autonomous systems. His work intersects artificial intelligence , computational ethics , and human-agent interaction . Key research themes include: Formal verification of deceptive communication Computational empathy modeling Trust-based argumentation systems Behavior change interventions for autism Human-aware planning in hybrid AI Cross-cultural affective knowledge representation Recent publications analyze manipulation dialogues , critical friend agents , and emotion-aware planning using formal methods. The research contributes to responsible AI and trustworthy human-agent collaboration . Current projects include strategic argumentation frameworks (2020-2024) and collaborative mixed-reality tools for autism support. He is affiliated with the Formal Methods for Trustworthy Hybrid Intelligence research group and contributes to Responsible Artificial Intelligence initiatives.

Vahid RafeView profile

Lecturer

• Search-Based Software Engineering
• Blockchain Technology
• Formal Verification
• +3 more

Dr. Vahid Rafe is Lecturer and co-program lead for Computer Science at Goldsmiths, University of London. His research focuses on search-based software engineering and blockchain technology, with additional expertise in formal verification and model transformation. Research integrates artificial intelligence with software engineering practices including automated testing techniques, bug localization, and formal verification. Recent work applies machine learning to software quality assurance, combinatorial testing optimization, and blockchain security analysis. Publications demonstrate consistent innovation in AI-enhanced software engineering methods, particularly hybrid algorithms for test generation and deep learning approaches for software maintenance. Recent work addresses security vulnerabilities in cryptographic systems.

• Software Engineering
• Web Applications
• Formal Methods
• +3 more

May Haidar is an Assistant Professor in the Department of Electrical Engineering & Computer Science at York University. Her work bridges theoretical and applied domains, focusing on software engineering, web applications, and formal verification techniques. Education: Ph.D. in Computer Science (Université de Montréal, 2008), M.S. (Concordia University), B.S. (American University of Beirut) Current Role: Teaching Object-Oriented Programming, Advanced Programming, and Web Development courses Her research explores formal methods in software engineering, particularly temporal logics and run-time verification for web applications. She has contributed to hybrid analysis techniques for composite web services and anomaly detection frameworks. Publications span formal verification, web application security, and embedded systems design, with a focus on integrating temporal logic extensions into validation processes. While no explicit awards are listed, her work has been presented at global conferences, including events in Dubai, Cambridge, and Las Vegas.

Iacopo ColonnelliView profile

Assistant Professor

• Scientific Workflow Systems
• High-Performance Computing
• Cloud Computing
• +6 more

Iacopo Colonnelli is an Assistant Professor (RTDA) at the University of Turin's Computer Science Department and a member of the Alpha Research Group (Parallel Computing) and CINI HPC Key Technologies and Tools lab. He has established himself as a leading researcher in scientific workflow systems, bridging cloud computing and high-performance computing environments. His research focuses on workflow modeling and management in heterogeneous distributed architectures, with significant contributions through open-source tools including StreamFlow (a container-native workflow management system), Jupyter Workflow, and CAPIO (middleware for I/O streaming). These tools enable hybrid workflows execution on cloud-HPC infrastructures and have gained recognition through multiple European projects and initiatives. Colonnelli's publication record shows consistent output in top venues related to parallel and distributed computing, with recent work focusing on federated learning, confidential computing, and workflow standardization. His most recent publications (2024-2026) demonstrate strong engagement with cutting-edge challenges in cross-facility federated learning, workflow representation languages, and performance evaluation of confidential computing for bioinformatics applications. Scientific Awards: ITADATA 2023 Best PhD Thesis Award for 'Workflow models for heterogeneous distributed systems' StreamFlow selected as one of the three exploitable results of the EUPEX European project (2023) StreamFlow selected as an exploring technology by the EC Innovation Radar initiative (2023) 'Distributed Workflows With Jupyter' selected as Fall 2022 Editor's Choice by Future Generation Computer Systems journal HPC-Europa3 grant recipient for Barcelona Supercomputing Center visit (2019) HiPEAC grant recipient for ACACES 2019 Summer School (2019) As an active contributor to research infrastructure, Colonnelli serves as a member of the CWL Technical Team and founder of the CWL4HPC Working Group. He has organized multiple international conferences including PDP 2025 as program chair and CWLCon 2024. His service extends to numerous program committees for major HPC conferences and journals, demonstrating his standing in the international research community. Colonnelli leads significant contributions to multiple European research projects including Space Center of Excellence, European Pilot, EUPEX, TEXTAROSSA, ACROSS, DeepHealth, and HPC4AI, focusing on advancing HPC and AI technologies for scientific applications.

• Law and emerging technology
• Constitutional and administrative law
• Comparative law
• +4 more

Jason Grant Allen is a Full-time Faculty member at Singapore Management University , currently serving as an Associate Professor of Law and Director of the Centre for Digital Law (since 2024). He holds a PhD in Law from the University of Cambridge (2017), an LLM in International Economic Law from Universität Augsburg (2010), and a dual BA & LLB (Hons) from the University of Tasmania (2007). He is admitted as an Australian Lawyer and Attorney/Counselor-at-Law in New York. PhD in Law, University of Cambridge (2017) Graduate Diploma in Legal Practice, College of Law Australia (2011) LLM in International Economic Law, Universität Augsburg (2010) BA & LLB (Hons), University of Tasmania (2007) Allen specializes in Law and emerging technology , Monetary law , and Digital assets . His research explores intersections between constitutional law, financial systems, and decentralized technologies. Key projects include AI Singapore’s Trustworthy Large Language Models initiative and Singapore MoE’s Responsible AI in Public Administration grant. Recent publications analyze digital economy governance , smart legal contracts , and cryptoasset legal frameworks . His work with the UNIDROIT Project LXXXII on digital assets and the Cambridge Digital Asset Program highlights global impact. AI Singapore Award (SGD 500,000, 2024-2027) Singapore MoE Tier 1 Grant (SGD 250,000, 2023-2025) DFG Grant (EUR 620,000, 2020-2023) ESRC Sub-Grant (GBP 60,000, 2019-2020) Allen actively collaborates with institutions like Cambridge JBS Centre for Alternative Finance and QMUL Centre for Commercial Law Studies , and has held visiting roles at ANU and UNSW. He served as Judicial Assistant to Chancellor Sir Geoffrey Vos (2016-2017).

Selmer BringsjordView profile

Professor

• Artificial Intelligence
• Cognitive Science
• Computational Logic
• +9 more

Selmer Bringsjord is a Professor of Cognitive Science, Computer Science, Logic & Philosophy, and Management & Technology at Rensselaer Polytechnic Institute (RPI). He serves as Director of the Rensselaer AI & Reasoning (RAIR) Lab and Graduate Program Director in Cognitive Science. His research spans AI, cognitive science, formal logic, and ethics, with a focus on machine ethics, computational creativity, and conscious AI. Bringsjord has authored 6 books, over 260 refereed papers, and secured $28M+ in sponsored research. He has supervised 20 PhD and 19 MS students. Notable contributions include founding machine ethics, developing Psychometric AI, and the Λ measure for cognitive consciousness. His work bridges philosophy, computer science, and robotics, with media appearances across global platforms. Education: PhD in Philosophy from Brown University (1987), BA in Philosophy from the University of Pennsylvania (1981). Administrative roles include Department Chair of Cognitive Science (2002–2016) and Director of RAIR Lab since 2002. Awards include patents, grants, and a Best Paper Award at AGI 2024. Teaching spans 40 years in formal logic and AI. Ongoing projects include ethical AI frameworks, AGI, and cognitive consciousness models.

• Automated Deduction
• Automated Reasoning
• Theorem Proving
• +4 more

Christopher Lynch is a Professor in the Department of Computer Science at Clarkson University, part of the Coulter School of Engineering & Applied Sciences. His research focuses on Automated Deduction, including theorem proving, algorithm efficiency, and cryptographic protocol analysis. He has contributed to the development of efficient algorithms and tools for verification in hardware/software systems. His research interests include automated deduction, automated reasoning, and theorem proving, with a particular emphasis on improving algorithm efficiency for verifying specifications in hardware and software. He has developed new algorithms and modified existing ones to enhance their performance. Additionally, his work extends to cryptographic protocol analysis, focusing on symbolic methods and tools like CryptoSolve to ensure system security. His recent articles explore advancements in satisfiability modulo theories (SMT), unification algorithms (e.g., XOR unification and asymmetric unification), and the application of formal methods to cryptographic systems. Key contributions include improving theorem proving efficiency and developing tools for protocol verification. Christopher Lynch has been involved in collaborative research grants, including the "Unification Laboratory" projects aimed at enhancing cryptographic protocol analysis tools. No specific grants or advising details beyond this are provided in the text.

Jason JaskolkaView profile

Associate Professor

• Cyber Security Evaluation
• Security Assurance
• Formal Methods
• +4 more

Jason Jaskolka is an Associate Professor in the Department of Systems and Computer Engineering at Carleton University, part of the Faculty of Engineering and Design. He holds a Ph.D. from McMaster University and is a licensed Professional Engineer in Ontario. His research focuses on cyber security evaluation and assurance, formal methods, and secure software engineering. He leads the Cyber Security Evaluation and Assurance (CyberSEA) Lab, emphasizing security-by-design principles for complex systems like industrial control systems and IoT-enabled healthcare. Education: Ph.D. (Software Engineering, McMaster University, 2015), M.A.Sc. (Software Engineering, McMaster University, 2010), B.Eng. (Software Engineering and Game Design, McMaster University, 2009). Research interests include: Cyber Security Evaluation & Assurance, Data-Driven Security Metrics, Formal Verification of Security Properties, Secure Software Architecture Design, and Industrial Cyber-Physical Systems Security. His work addresses challenges in threat modeling, compliance with security standards, and mitigating implicit system vulnerabilities. Recognition includes the 2021 New Faculty Excellence in Teaching Award for innovative pedagogy. He actively supervises graduate students in funded research positions. Key collaborations include Health Canada's Scientific Advisory Committee on Digital Health Technologies and the U.S. Department of Homeland Security’s Cybersecurity Postdoctoral Fellowship at Stanford University. Labs/Teams: CyberSEA Lab, focusing on developing rigorous security evaluation frameworks and tools for software-dependent systems.

Sheri MarkoseView profile

Professor

• Financial Market Modelling
• Computational Economics
• Systemic Risk Analysis
• +5 more

Professor Sheri Markose is a Professor of Economics at the University of Essex, leading the Centre for Computational Finance and Economic Agents (CCFEA). She specializes in financial market modeling, systemic risk, and agent-based computational economics (ACE). Her research bridges complex adaptive systems theory and practical policy design, with notable contributions to central bank digital currencies (CBDCs), financial stability, and FinTech innovation. She serves on the Bank of England's CBDC Academic Advisory Group and has advised institutions like the Reserve Bank of India and the BIS/BCBS. Education: PhD in Economics from the London School of Economics (LSE). She teaches computational market microstructure for FinTech programs and has pioneered postgraduate curricula in FinTech and algorithmic trading. Her work integrates Gödelian formal mathematics to analyze strategic innovation and market dynamics, recognized by awards such as the 2017 Eubank Prize from Rice University. Key Research Areas: Systemic risk modeling, agent-based simulations, digital financial systems, and cross-border FinTech trends. Grants & Funding: Led the COMISEF project (EU FP6) and advised the Reserve Bank of India on financial network modeling. Publications span over 50 articles, focusing on FinTech ecosystems, systemic risk, and digital economy dynamics. Her recent work explores UK-India FinTech trade, CBDC frameworks, and genomic intelligence applications in complex systems. She is an Associate Editor of Frontiers in Robotics and AI: Computational Intelligence.

Rachida DssouliView profile

Professor

• Software Engineering
• Quality Assurance
• Service Engineering
• +7 more

Rachida Dssouli is a Professor at the Concordia Institute for Information Systems Engineering (Concordia University). Her research focuses on advanced software engineering methodologies, quality assurance systems, and distributed computing frameworks. She specializes in model-based testing, federated learning optimization, and big data quality management. Her work integrates formal verification techniques with modern machine learning approaches to address challenges in edge computing, IoT, and safety-critical systems. Key research areas include: Development of hybrid swarm intelligence algorithms for optimizing large language model deployment in edge-cloud environments Design of reinforcement learning frameworks for robotics motion planning and IoT device scheduling Creation of interpretable machine learning tools for fault detection in software systems Establishment of holistic big data quality frameworks for continuous monitoring and unstructured data analysis Formal verification methods for avionics systems using multi-agent models Her recent work demonstrates trends toward AI-driven solutions for testing methodologies (e.g., SHAP-Driven fault detection) and edge-cloud integration (e.g., MIMO-based computation offloading optimization). The 2025 publications highlight advancements in federated learning and trust-aware IoT scheduling. Earlier works (2018-2020) emphasize foundational contributions to cloud trust models, big data quality metrics, and safety-critical system testing. Her research also addresses emerging technologies for developing countries through frameworks like neurodegenerative disease monitoring systems and mobile application requirements engineering. She has contributed to service-oriented architectures for healthcare systems and cloud-based resource orchestration strategies.

Sergey NadtochiyView profile

Professor

• Financial Mathematics
• Probability Theory
• Partial Differential Equations
• +2 more

Sergey Nadtochiy serves as Professor of Applied Mathematics within the College of Computing at Illinois Institute of Technology. His research bridges theoretical mathematics with financial applications through rigorous probabilistic and analytical frameworks. His academic foundation includes: Ph.D. in Operations Research & Financial Engineering from Princeton University (2009), advised by R. Carmona M.A. in Operations Research & Financial Engineering from Princeton University (2008), advised by R. Carmona Specialist (M.Sc.) in Mathematics, summa cum laude, from Moscow State University (2005), advised by A. Shiryaev Nadtochiy's research program centers on Financial Mathematics, Probability Theory, and Partial Differential Equations with applications to market microstructure, optimal contract design, and systemic risk. His work demonstrates deep integration of Stochastic Control and Game Theory to model complex financial phenomena like price impact and limit order book dynamics, while recent publications extend into mathematical physics through Stefan problem analysis. Analysis of his 15 most recent publications reveals a strategic evolution from pure financial mathematics toward interdisciplinary connections with mathematical physics. The 2022-2024 works show increasing focus on the Stefan problem and diffusion-limited aggregation, while maintaining core expertise in market microstructure through studies on price impact concavity, brokerage contracts, and liquidity effects. His scientific recognition includes: Award for excellence (honorific fellowship) from Moscow State University (2001-2005) SIAG/FME Junior Scientist Prize from SIAM (2012) Charlotte Elizabeth Procter Honorific Fellowship from Princeton University (2008-2009) Gordon Y.S. Wu Honorific Fellowship from Princeton University (2005-2009) Nadtochiy has secured significant research funding as sole Principal Investigator on two NSF awards: a CAREER grant (DMS-1855309, 2017-2022) and earlier grant DMS-1411824 (2014-2017). While no formal student advisees are listed in the source materials, his collaborative publications with researchers like M. Shkolnikov and S. Shreve demonstrate active mentorship within research teams focused on probabilistic methods and financial modeling.